NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.Lattice
Documentation
class C a where
Methods
up :: a -> a -> a
dn :: a -> a -> a
show/hide Instances
C Bool
C Integer
(C a, C b) => C (a, b)
(Ord a, C a) => C (T a)
max :: C a => a -> a -> a
min :: C a => a -> a -> a
abs :: (C a, C a) => a -> a
propUpCommutative :: (Eq a, C a) => a -> a -> Bool
propDnCommutative :: (Eq a, C a) => a -> a -> Bool
propUpAssociative :: (Eq a, C a) => a -> a -> a -> Bool
propDnAssociative :: (Eq a, C a) => a -> a -> a -> Bool
propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> Bool
propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> Bool
Produced by Haddock version 0.7