Algebra.Lattice

Documentation

class C a where

Methods

up :: a -> a -> a infixl 5

dn :: a -> a -> a infixl 5

Instances

C Bool

Defined in Algebra.Lattice

Methods

up :: Bool -> Bool -> Bool

dn :: Bool -> Bool -> Bool

C Integer

Defined in Algebra.Lattice

Methods

up :: Integer -> Integer -> Integer

dn :: Integer -> Integer -> Integer

(Ord a, C a) => C (T a)

Defined in Algebra.Lattice

Methods

up :: T a -> T a -> T a

dn :: T a -> T a -> T a

(C a, C b) => C (a, b)

Defined in Algebra.Lattice

Methods

up :: (a, b) -> (a, b) -> (a, b)

dn :: (a, b) -> (a, b) -> (a, b)

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