Modulenumeric-prelude-0.4.4Haskell98

Number.ResidueClass.Func

1 type
12 values

Packagenumeric-prelude-0.4.4
Exports13
LanguageHaskell98
LicenceBSD-3-Clause
SourceFunc.hs

newtypenewtype 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)

Instances7Eq, Num, Show, C, …

Eq (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
Integral a => Num (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
Show (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func
C a => C (T a)Defined in numeric-prelude-0.4.4 · Number.ResidueClass.Func

valueconcrete :: a -> T a -> a

valuefromRepresentative :: C a => a -> T a

valuelift0 :: (a -> a) -> T a

valuelift1 :: (a -> a -> a) -> T a -> T a

valuelift2 :: (a -> a -> a -> a) -> T a -> T a -> T a

valuezero :: C a => T a

valueone :: C a => T a

valuefromInteger :: C a => Integer -> T a

valueequal :: Eq a => a -> T a -> T a -> Bool

valuenotImplemented :: String -> a

valuelift98_1 :: (T a -> T a -> T a) -> T a -> T a

valuelift98_2 :: (T a -> T a -> T a -> T a) -> T a -> T a -> T a