|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.
|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.6.0|