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

Safe HaskellSafe
LanguageHaskell98

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 # 
(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 TOne Source #

Instances

data T7 Source #

Instances

data T11 Source #

Instances

data T13 Source #

Instances

data T17 Source #

Instances

data T19 Source #

Instances

data T23 Source #

Instances

data T29 Source #

Instances

data T31 Source #

Instances

data T37 Source #

Instances

data T41 Source #

Instances

data T43 Source #

Instances

data T47 Source #

Instances

data T53 Source #

Instances

data T59 Source #

Instances

data T61 Source #

Instances

data T67 Source #

Instances

data T71 Source #

Instances

data T73 Source #

Instances

data T79 Source #

Instances

data T83 Source #

Instances

data T89 Source #

Instances

data T97 Source #

Instances