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

Safe Haskell | Safe-Inferred

Math.Common.IntegerAsType

# Documentation

class IntegerAsType a where Source

Methods

value :: a -> Integer Source

Instances

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

data M a b Source

Constructors

M a b |

Instances

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

data TMinus1 Source

Instances

IntegerAsType TMinus1 |

data TZero Source

Instances

IntegerAsType TZero |

data TOne Source

Instances

IntegerAsType TOne |

data T2 Source

Instances

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

data T3 Source

Instances

IntegerAsType T3 |
PolynomialAsType F3 ConwayF27 |
PolynomialAsType F3 ConwayF9 |

data T5 Source

Instances

IntegerAsType T5 |
PolynomialAsType F5 ConwayF25 |

data T7 Source

Instances

IntegerAsType T7 |

data T11 Source

Instances

IntegerAsType T11 |

data T13 Source

Instances

IntegerAsType T13 |

data T17 Source

Instances

IntegerAsType T17 |

data T19 Source

Instances

IntegerAsType T19 |

data T23 Source

Instances

IntegerAsType T23 |

data T29 Source

Instances

IntegerAsType T29 |

data T31 Source

Instances

IntegerAsType T31 |

data T37 Source

Instances

IntegerAsType T37 |

data T41 Source

Instances

IntegerAsType T41 |

data T43 Source

Instances

IntegerAsType T43 |

data T47 Source

Instances

IntegerAsType T47 |

data T53 Source

Instances

IntegerAsType T53 |

data T59 Source

Instances

IntegerAsType T59 |

data T61 Source

Instances

IntegerAsType T61 |

data T67 Source

Instances

IntegerAsType T67 |

data T71 Source

Instances

IntegerAsType T71 |

data T73 Source

Instances

IntegerAsType T73 |

data T79 Source

Instances

IntegerAsType T79 |

data T83 Source

Instances

IntegerAsType T83 |

data T89 Source

Instances

IntegerAsType T89 |

data T97 Source

Instances

IntegerAsType T97 |