NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Number.ResidueClass.Reader
Synopsis
newtype T a b = Cons {
toFunc :: (a -> b)
}
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]
Documentation
newtype T a b
T is a Reader monad but does not need functional dependencies like that from the Monad Template Library.
Constructors
Cons
toFunc :: (a -> b)
show/hide Instances
Monad (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]
Produced by Haddock version 0.7