HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe Haskell | Safe
Language | Haskell98

Math.Common.IntegerAsType

# Documentation

class IntegerAsType a where Source

Methods

value :: a -> Integer Source

Instances

IntegerAsType T97 Source |
IntegerAsType T89 Source |
IntegerAsType T83 Source |
IntegerAsType T79 Source |
IntegerAsType T73 Source |
IntegerAsType T71 Source |
IntegerAsType T67 Source |
IntegerAsType T61 Source |
IntegerAsType T59 Source |
IntegerAsType T53 Source |
IntegerAsType T47 Source |
IntegerAsType T43 Source |
IntegerAsType T41 Source |
IntegerAsType T37 Source |
IntegerAsType T31 Source |
IntegerAsType T29 Source |
IntegerAsType T23 Source |
IntegerAsType T19 Source |
IntegerAsType T17 Source |
IntegerAsType T13 Source |
IntegerAsType T11 Source |
IntegerAsType T7 Source |
IntegerAsType T5 Source |
IntegerAsType T3 Source |
IntegerAsType T2 Source |
IntegerAsType TOne Source |
IntegerAsType TZero Source |
IntegerAsType TMinus1 Source |
(IntegerAsType a, IntegerAsType b) => IntegerAsType (M a b) Source |

data M a b Source

Constructors

M a b |

Instances

(IntegerAsType a, IntegerAsType b) => IntegerAsType (M a b) Source |

data TMinus1 Source

Instances

IntegerAsType TMinus1 Source |

data TZero Source

Instances

IntegerAsType TZero Source |

data TOne Source

Instances

IntegerAsType TOne Source |

data T2 Source

Instances

IntegerAsType T2 Source |
PolynomialAsType F2 ConwayF32 Source |
PolynomialAsType F2 ConwayF16 Source |
PolynomialAsType F2 ConwayF8 Source |
PolynomialAsType F2 ConwayF4 Source |

data T3 Source

Instances

IntegerAsType T3 Source |
PolynomialAsType F3 ConwayF27 Source |
PolynomialAsType F3 ConwayF9 Source |

data T5 Source

Instances

IntegerAsType T5 Source |
PolynomialAsType F5 ConwayF25 Source |

data T7 Source

Instances

IntegerAsType T7 Source |

data T11 Source

Instances

IntegerAsType T11 Source |

data T13 Source

Instances

IntegerAsType T13 Source |

data T17 Source

Instances

IntegerAsType T17 Source |

data T19 Source

Instances

IntegerAsType T19 Source |

data T23 Source

Instances

IntegerAsType T23 Source |

data T29 Source

Instances

IntegerAsType T29 Source |

data T31 Source

Instances

IntegerAsType T31 Source |

data T37 Source

Instances

IntegerAsType T37 Source |

data T41 Source

Instances

IntegerAsType T41 Source |

data T43 Source

Instances

IntegerAsType T43 Source |

data T47 Source

Instances

IntegerAsType T47 Source |

data T53 Source

Instances

IntegerAsType T53 Source |

data T59 Source

Instances

IntegerAsType T59 Source |

data T61 Source

Instances

IntegerAsType T61 Source |

data T67 Source

Instances

IntegerAsType T67 Source |

data T71 Source

Instances

IntegerAsType T71 Source |

data T73 Source

Instances

IntegerAsType T73 Source |

data T79 Source

Instances

IntegerAsType T79 Source |

data T83 Source

Instances

IntegerAsType T83 Source |

data T89 Source

Instances

IntegerAsType T89 Source |

data T97 Source

Instances

IntegerAsType T97 Source |