Modulenumeric-prelude-0.4.4Haskell98

Algebra.Lattice

classclass C a where

Instances4C

valuemax :: C a => a -> a -> a

valuemin :: C a => a -> a -> a

valueabs :: (C a, C a) => a -> a

valuepropUpCommutative :: (Eq a, C a) => a -> a -> Bool

valuepropDnCommutative :: (Eq a, C a) => a -> a -> Bool

valuepropUpAssociative :: (Eq a, C a) => a -> a -> a -> Bool

valuepropDnAssociative :: (Eq a, C a) => a -> a -> a -> Bool

valuepropUpDnDistributive :: (Eq a, C a) => a -> a -> a -> Bool

valuepropDnUpDistributive :: (Eq a, C a) => a -> a -> a -> Bool