Number.ResidueClass.Reader

Documentation

newtype T a b

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

Constructors

Cons

Fields

toFunc :: a -> b

Instances

Monad (T a)

Functor (T a)

Applicative (T a)

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]