|
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Here a residue class is a representative
and the modulus is an argument.
You cannot show a value of type T,
you can only show it with respect to a concrete modulus.
Values cannot be compared,
because the comparison result depends on the modulus.
| Constructors | | Instances | |
|
|
|
|
fromRepresentative :: C a => a -> T a | Source |
|
|
|
|
lift1 :: (a -> a -> a) -> T a -> T a | Source |
|
|
lift2 :: (a -> a -> a -> a) -> T a -> T a -> T a | Source |
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |