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)

Defined in Number.ResidueClass.Reader

Methods

(>>=) :: T a a0 -> (a0 -> T a b) -> T a b

(>>) :: T a a0 -> T a b -> T a b

return :: a0 -> T a a0

Functor (T a)

Defined in Number.ResidueClass.Reader

Methods

fmap :: (a0 -> b) -> T a a0 -> T a b

(<$) :: a0 -> T a b -> T a a0

Applicative (T a)

Defined in Number.ResidueClass.Reader

Methods

pure :: a0 -> T a a0

(<*>) :: T a (a0 -> b) -> T a a0 -> T a b

liftA2 :: (a0 -> b -> c) -> T a a0 -> T a b -> T a c

(*>) :: T a a0 -> T a b -> T a b

(<*) :: T a a0 -> T a b -> T a a0

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]