numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellNone
LanguageHaskell98

Algebra.Lattice

Documentation

class C a where Source #

Methods

up :: a -> a -> a infixl 5 Source #

dn :: a -> a -> a infixl 5 Source #

Instances

Instances details
C Bool Source # 
Instance details

Defined in Algebra.Lattice

Methods

up :: Bool -> Bool -> Bool Source #

dn :: Bool -> Bool -> Bool Source #

C Integer Source # 
Instance details

Defined in Algebra.Lattice

(Ord a, C a) => C (T a) Source # 
Instance details

Defined in Algebra.Lattice

Methods

up :: T a -> T a -> T a Source #

dn :: T a -> T a -> T a Source #

(C a, C b) => C (a, b) Source # 
Instance details

Defined in Algebra.Lattice

Methods

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 #