numeric-prelude-0.1.1: An experimental alternative hierarchy of numeric type classes Source code Contents Index

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) 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 -> a Source

fromRepresentative :: C a => a -> T a Source

lift0 :: (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

zero :: C a => T a Source

one :: C a => T a Source

fromInteger :: C a => Integer -> T a Source

equal :: Eq a => a -> T a -> T a -> Bool Source

legacyInstance :: a Source

Produced by Haddock version 2.4.2