Algebra.Lattice
class C a where Source #
Methods
up :: a -> a -> a infixl 5 Source #
dn :: a -> a -> a infixl 5 Source #
Defined in Algebra.Lattice
up :: Bool -> Bool -> Bool Source #
dn :: Bool -> Bool -> Bool Source #
up :: Integer -> Integer -> Integer Source #
dn :: Integer -> Integer -> Integer Source #
up :: T a -> T a -> T a Source #
dn :: T a -> T a -> T a Source #
up :: (a, b) -> (a, b) -> (a, b) Source #
dn :: (a, b) -> (a, b) -> (a, b) Source #
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 #