|
Number.ResidueClass.Reader |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
T is a Reader monad but does not need functional dependencies
like that from the Monad Template Library.
| Constructors | | Instances | |
|
|
|
|
fromRepresentative :: C a => a -> T a a | Source |
|
|
|
|
|
|
|
|
getAdd :: C a => T a (a -> a -> a) | Source |
|
|
getSub :: C a => T a (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 |
|
|
|
|
getFieldVars :: C a => T a (a -> a -> a, a -> a) | Source |
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |