numeric-prelude-0.0.4: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Algebra.Lattice
Documentation
class C a whereSource
Methods
up :: a -> a -> aSource
dn :: a -> a -> aSource
show/hide Instances
C Bool
C Integer
(Ord a, C a) => C (T a)
(C a, C b) => C (a, b)
max :: C a => a -> a -> aSource
min :: C a => a -> a -> aSource
abs :: (C a, C a) => a -> aSource
propUpCommutative :: (Eq a, C a) => a -> a -> BoolSource
propDnCommutative :: (Eq a, C a) => a -> a -> BoolSource
propUpAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource
propDnAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource
propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource
propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource
Produced by Haddock version 2.6.0