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) #
Methods (>>=) :: T a a -> (a -> T a b) -> T a b # (>>) :: T a a -> T a b -> T a b # return :: a -> T a a # fail :: String -> T a a #
Functor (T a) #
Methods fmap :: (a -> b) -> T a a -> T a b # (<$) :: a -> T a b -> T a a #
Applicative (T a) #
Methods pure :: a -> T a a # (<>) :: T a (a -> b) -> T a a -> T a b # liftA2 :: (a -> b -> c) -> T a a -> T a b -> T a c # (>) :: T a a -> T a b -> T a b # (<*) :: T a a -> T a b -> T a a #

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] #