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

Safe HaskellSafe
LanguageHaskell98

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

(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

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 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 #