numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
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 Source
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
Eq (T a)
(Num a, C a) => Num (T a)
Show (T a)
C a => C (T a)
C a => C (T a)
C a => C (T a)
concrete :: a -> T a -> aSource
fromRepresentative :: C a => a -> T aSource
lift0 :: (a -> a) -> T aSource
lift1 :: (a -> a -> a) -> T a -> T aSource
lift2 :: (a -> a -> a -> a) -> T a -> T a -> T aSource
zero :: C a => T aSource
one :: C a => T aSource
fromInteger :: C a => Integer -> T aSource
equal :: Eq a => a -> T a -> T a -> BoolSource
legacyInstance :: aSource
Produced by Haddock version 2.6.0