Modulenumeric-prelude-0.4.4Haskell98

Number.ResidueClass.Reader

Synopsis

newtypenewtype T a b

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

Instances3Monad, Functor, Applicative

Monad (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Reader
Functor (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Reader
Applicative (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Reader

valueconcrete :: a -> T a b -> b

valuefromRepresentative :: C a => a -> T a a

valuegetZero :: C a => T a a

valuegetOne :: C a => T a a

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

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

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

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

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

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

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

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

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

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

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

valuerunExample :: [Integer]