HaskellForMaths-0.4.9: 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 # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T97 -> Integer Source #
IntegerAsType T89 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T89 -> Integer Source #
IntegerAsType T83 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T83 -> Integer Source #
IntegerAsType T79 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T79 -> Integer Source #
IntegerAsType T73 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T73 -> Integer Source #
IntegerAsType T71 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T71 -> Integer Source #
IntegerAsType T67 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T67 -> Integer Source #
IntegerAsType T61 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T61 -> Integer Source #
IntegerAsType T59 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T59 -> Integer Source #
IntegerAsType T53 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T53 -> Integer Source #
IntegerAsType T47 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T47 -> Integer Source #
IntegerAsType T43 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T43 -> Integer Source #
IntegerAsType T41 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T41 -> Integer Source #
IntegerAsType T37 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T37 -> Integer Source #
IntegerAsType T31 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T31 -> Integer Source #
IntegerAsType T29 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T29 -> Integer Source #
IntegerAsType T23 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T23 -> Integer Source #
IntegerAsType T19 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T19 -> Integer Source #
IntegerAsType T17 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T17 -> Integer Source #
IntegerAsType T13 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T13 -> Integer Source #
IntegerAsType T11 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T11 -> Integer Source #
IntegerAsType T7 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T7 -> Integer Source #
IntegerAsType T5 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T5 -> Integer Source #
IntegerAsType T3 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T3 -> Integer Source #
IntegerAsType T2 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T2 -> Integer Source #
IntegerAsType TOne Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TOne -> Integer Source #
IntegerAsType TZero Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TZero -> Integer Source #
IntegerAsType TMinus1 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TMinus1 -> Integer Source #
(IntegerAsType a, IntegerAsType b) => IntegerAsType (M a b) Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: M a b -> Integer Source #

data M a b Source #

Constructors

M a b |

Instances

(IntegerAsType a, IntegerAsType b) => IntegerAsType (M a b) Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: M a b -> Integer Source #

data TMinus1 Source #

Instances

IntegerAsType TMinus1 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TMinus1 -> Integer Source #

data TZero Source #

Instances

IntegerAsType TZero Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TZero -> Integer Source #

data TOne Source #

Instances

IntegerAsType TOne Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: TOne -> Integer Source #

data T2 Source #

Instances

IntegerAsType T2 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T2 -> Integer Source #
PolynomialAsType F2 ConwayF32 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F2, ConwayF32) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF16 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F2, ConwayF16) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF8 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F2, ConwayF8) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF4 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F2, ConwayF4) -> UPoly F2 Source #

data T3 Source #

Instances

IntegerAsType T3 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T3 -> Integer Source #
PolynomialAsType F3 ConwayF27 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F3, ConwayF27) -> UPoly F3 Source #
PolynomialAsType F3 ConwayF9 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F3, ConwayF9) -> UPoly F3 Source #

data T5 Source #

Instances

IntegerAsType T5 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T5 -> Integer Source #
PolynomialAsType F5 ConwayF25 Source # |
Instance details Defined in Math.Algebra.Field.Extension Methods pvalue :: (F5, ConwayF25) -> UPoly F5 Source #

data T7 Source #

Instances

IntegerAsType T7 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T7 -> Integer Source #

data T11 Source #

Instances

IntegerAsType T11 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T11 -> Integer Source #

data T13 Source #

Instances

IntegerAsType T13 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T13 -> Integer Source #

data T17 Source #

Instances

IntegerAsType T17 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T17 -> Integer Source #

data T19 Source #

Instances

IntegerAsType T19 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T19 -> Integer Source #

data T23 Source #

Instances

IntegerAsType T23 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T23 -> Integer Source #

data T29 Source #

Instances

IntegerAsType T29 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T29 -> Integer Source #

data T31 Source #

Instances

IntegerAsType T31 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T31 -> Integer Source #

data T37 Source #

Instances

IntegerAsType T37 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T37 -> Integer Source #

data T41 Source #

Instances

IntegerAsType T41 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T41 -> Integer Source #

data T43 Source #

Instances

IntegerAsType T43 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T43 -> Integer Source #

data T47 Source #

Instances

IntegerAsType T47 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T47 -> Integer Source #

data T53 Source #

Instances

IntegerAsType T53 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T53 -> Integer Source #

data T59 Source #

Instances

IntegerAsType T59 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T59 -> Integer Source #

data T61 Source #

Instances

IntegerAsType T61 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T61 -> Integer Source #

data T67 Source #

Instances

IntegerAsType T67 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T67 -> Integer Source #

data T71 Source #

Instances

IntegerAsType T71 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T71 -> Integer Source #

data T73 Source #

Instances

IntegerAsType T73 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T73 -> Integer Source #

data T79 Source #

Instances

IntegerAsType T79 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T79 -> Integer Source #

data T83 Source #

Instances

IntegerAsType T83 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T83 -> Integer Source #

data T89 Source #

Instances

IntegerAsType T89 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T89 -> Integer Source #

data T97 Source #

Instances

IntegerAsType T97 Source # |
Instance details Defined in Math.Common.IntegerAsType Methods value :: T97 -> Integer Source #