numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classes
Source code
Contents
Index
Algebra.Lattice
Documentation
class
C
a
where
Source
Methods
up
:: a -> a -> a
Source
dn
:: a -> a -> a
Source
Instances
C
Bool
C
Integer
(
Ord
a,
C
a) =>
C
(
T
a)
(
C
a,
C
b) =>
C
(a, b)
max
::
C
a => a -> a -> a
Source
min
::
C
a => a -> a -> a
Source
abs
:: (
C
a,
C
a) => a -> a
Source
propUpCommutative
:: (
Eq
a,
C
a) => a -> a ->
Bool
Source
propDnCommutative
:: (
Eq
a,
C
a) => a -> a ->
Bool
Source
propUpAssociative
:: (
Eq
a,
C
a) => a -> a -> a ->
Bool
Source
propDnAssociative
:: (
Eq
a,
C
a) => a -> a -> a ->
Bool
Source
propUpDnDistributive
:: (
Eq
a,
C
a) => a -> a -> a ->
Bool
Source
propDnUpDistributive
:: (
Eq
a,
C
a) => a -> a -> a ->
Bool
Source
Produced by
Haddock
version 2.6.0