Safe Haskell	Safe
Language	Haskell98

Math.Common.IntegerAsType

Documentation

class IntegerAsType a where Source #

Minimal complete definition

value

Methods

value :: a -> Integer Source #

Instances

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

data TMinus1 Source #

Instances

IntegerAsType TMinus1 Source #
Methods value :: TMinus1 -> Integer Source #

data TZero Source #

Instances

IntegerAsType TZero Source #
Methods value :: TZero -> Integer Source #

data TOne Source #

Instances

IntegerAsType TOne Source #
Methods value :: TOne -> Integer Source #

data T2 Source #

Instances

IntegerAsType T2 Source #
Methods value :: T2 -> Integer Source #
PolynomialAsType F2 ConwayF32 Source #
Methods pvalue :: (F2, ConwayF32) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF16 Source #
Methods pvalue :: (F2, ConwayF16) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF8 Source #
Methods pvalue :: (F2, ConwayF8) -> UPoly F2 Source #
PolynomialAsType F2 ConwayF4 Source #
Methods pvalue :: (F2, ConwayF4) -> UPoly F2 Source #

data T3 Source #

Instances

IntegerAsType T3 Source #
Methods value :: T3 -> Integer Source #
PolynomialAsType F3 ConwayF27 Source #
Methods pvalue :: (F3, ConwayF27) -> UPoly F3 Source #
PolynomialAsType F3 ConwayF9 Source #
Methods pvalue :: (F3, ConwayF9) -> UPoly F3 Source #

data T5 Source #

Instances

IntegerAsType T5 Source #
Methods value :: T5 -> Integer Source #
PolynomialAsType F5 ConwayF25 Source #
Methods pvalue :: (F5, ConwayF25) -> UPoly F5 Source #

data T7 Source #

Instances

IntegerAsType T7 Source #
Methods value :: T7 -> Integer Source #

data T11 Source #

Instances

IntegerAsType T11 Source #
Methods value :: T11 -> Integer Source #

data T13 Source #

Instances

IntegerAsType T13 Source #
Methods value :: T13 -> Integer Source #

data T17 Source #

Instances

IntegerAsType T17 Source #
Methods value :: T17 -> Integer Source #

data T19 Source #

Instances

IntegerAsType T19 Source #
Methods value :: T19 -> Integer Source #

data T23 Source #

Instances

IntegerAsType T23 Source #
Methods value :: T23 -> Integer Source #

data T29 Source #

Instances

IntegerAsType T29 Source #
Methods value :: T29 -> Integer Source #

data T31 Source #

Instances

IntegerAsType T31 Source #
Methods value :: T31 -> Integer Source #

data T37 Source #

Instances

IntegerAsType T37 Source #
Methods value :: T37 -> Integer Source #

data T41 Source #

Instances

IntegerAsType T41 Source #
Methods value :: T41 -> Integer Source #

data T43 Source #

Instances

IntegerAsType T43 Source #
Methods value :: T43 -> Integer Source #

data T47 Source #

Instances

IntegerAsType T47 Source #
Methods value :: T47 -> Integer Source #

data T53 Source #

Instances

IntegerAsType T53 Source #
Methods value :: T53 -> Integer Source #

data T59 Source #

Instances

IntegerAsType T59 Source #
Methods value :: T59 -> Integer Source #

data T61 Source #

Instances

IntegerAsType T61 Source #
Methods value :: T61 -> Integer Source #

data T67 Source #

Instances

IntegerAsType T67 Source #
Methods value :: T67 -> Integer Source #

data T71 Source #

Instances

IntegerAsType T71 Source #
Methods value :: T71 -> Integer Source #

data T73 Source #

Instances

IntegerAsType T73 Source #
Methods value :: T73 -> Integer Source #

data T79 Source #

Instances

IntegerAsType T79 Source #
Methods value :: T79 -> Integer Source #

data T83 Source #

Instances

IntegerAsType T83 Source #
Methods value :: T83 -> Integer Source #

data T89 Source #

Instances

IntegerAsType T89 Source #
Methods value :: T89 -> Integer Source #

data T97 Source #

Instances

IntegerAsType T97 Source #
Methods value :: T97 -> Integer Source #