NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Number.ResidueClass.Func
Synopsis
newtype T a = Cons (a -> a)
concrete :: a -> T a -> a
fromRepresentative :: C a => a -> T a
lift0 :: (a -> a) -> T a
lift1 :: (a -> a -> a) -> T a -> T a
lift2 :: (a -> a -> a -> a) -> T a -> T a -> T a
zero :: C a => T a
one :: C a => T a
fromInteger :: C a => Integer -> T a
equal :: Eq a => a -> T a -> T a -> Bool
legacyInstance :: a
Documentation
newtype T a
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
Cons (a -> a)
show/hide Instances
C a => C (T a)
C a => C (T a)
C a => C (T a)
Eq (T a)
(Num a, C a) => Num (T a)
Show (T a)
concrete :: a -> T a -> a
fromRepresentative :: C a => a -> T a
lift0 :: (a -> a) -> T a
lift1 :: (a -> a -> a) -> T a -> T a
lift2 :: (a -> a -> a -> a) -> T a -> T a -> T a
zero :: C a => T a
one :: C a => T a
fromInteger :: C a => Integer -> T a
equal :: Eq a => a -> T a -> T a -> Bool
legacyInstance :: a
Produced by Haddock version 0.7