Safe Haskell	None
Language	Haskell98

Number.ResidueClass.Reader

Synopsis

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) #
Instance details 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 # fail :: String -> T a a0 #
Functor (T a) #
Instance details 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) #
Instance details 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 #

getZero :: C a => T a a #

getOne :: C a => 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] #