Number.ResidueClass.Reader

Synopsis

newtype T a b = Cons {

toFunc :: a -> b

}

concrete :: a -> T a b -> b

fromRepresentative :: C a => a -> T a a

getZero :: C a => T a a

getOne :: C a => T a a

fromInteger :: C a => Integer -> T a a

getAdd :: C a => T a (a -> a -> a)

getSub :: C a => T a (a -> a -> a)

getNeg :: C a => T a (a -> a)

getAdditiveVars :: C a => T a (a, a -> a -> a, a -> a -> a, a -> a)

getMul :: C a => T a (a -> a -> a)

getRingVars :: C a => T a (a, a -> a -> a)

getDivide :: C a => T a (a -> a -> a)

getRecip :: C a => T a (a -> a)

getFieldVars :: C a => T a (a -> a -> a, a -> a)

monadExample :: C a => T a [a]

runExample :: [Integer]

Documentation

newtype T a b

Source

T is a Reader monad but does not need functional dependencies like that from the Monad Template Library.

Constructors

Cons

toFunc :: a -> b

Instances

Monad (T a)

concrete :: a -> T a b -> b

Source

fromRepresentative :: C a => a -> T a a

Source

getZero :: C a => T a a

Source

getOne :: C a => T a a

Source

fromInteger :: C a => Integer -> T a a

Source

getAdd :: C a => T a (a -> a -> a)

Source

getSub :: C a => T a (a -> a -> a)

Source

getNeg :: C a => T a (a -> a)

Source

getAdditiveVars :: C a => T a (a, a -> a -> a, a -> a -> a, a -> a)

Source

getMul :: C a => T a (a -> a -> a)

Source

getRingVars :: C a => T a (a, a -> a -> a)

Source

getDivide :: C a => T a (a -> a -> a)

Source

getRecip :: C a => T a (a -> a)

Source

getFieldVars :: C a => T a (a -> a -> a, a -> a)

Source

monadExample :: C a => T a [a]

Source

runExample :: [Integer]

Source

Produced by Haddock version 2.6.0