numeric-prelude-0.4: An experimental alternative hierarchy of numeric type classes

Safe HaskellNone

Number.ResidueClass.Reader

Synopsis

Documentation

newtype T a b Source

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) 

concrete :: a -> T a b -> bSource

fromRepresentative :: C a => a -> T a aSource

getZero :: C a => T a aSource

getOne :: C a => T a aSource

fromInteger :: C a => Integer -> T a aSource

getAdd :: C a => T a (a -> a -> a)Source

getSub :: C a => T a (a -> a -> a)Source

getNeg :: C a => T a (a -> a)Source

getAdditiveVars :: C a => T a (a, a -> a -> a, a -> a -> a, a -> a)Source

getMul :: C a => T a (a -> a -> a)Source

getRingVars :: C a => T a (a, a -> a -> a)Source

getDivide :: C a => T a (a -> a -> a)Source

getRecip :: C a => T a (a -> a)Source

getFieldVars :: C a => T a (a -> a -> a, a -> a)Source

monadExample :: C a => T a [a]Source