NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes
Contents
Index
Algebra.Integral
Contents
Properties
Synopsis
propDivMod
:: (
Eq
a,
Integral
a) => a -> a ->
Bool
propCanonical
:: (
Eq
a,
Integral
a) => a -> a -> a ->
Bool
propZero
:: (
Eq
a,
Integral
a) => a ->
Bool
Properties
propDivMod
:: (
Eq
a,
Integral
a) => a -> a ->
Bool
propCanonical
:: (
Eq
a,
Integral
a) => a -> a -> a ->
Bool
propZero
:: (
Eq
a,
Integral
a) => a ->
Bool
Produced by
Haddock
version 0.7