numeric-prelude-0.2: An experimental alternative hierarchy of numeric type classes

Algebra.Lattice

Documentation

class C a whereSource

Methods

up :: a -> a -> aSource

dn :: a -> a -> aSource

Instances

C Bool 
C Integer 
(Ord a, C a) => C (T a) 
(C a, C b) => C (a, b) 

max :: C a => a -> a -> aSource

min :: C a => a -> a -> aSource

abs :: (C a, C a) => a -> aSource

propUpCommutative :: (Eq a, C a) => a -> a -> BoolSource

propDnCommutative :: (Eq a, C a) => a -> a -> BoolSource

propUpAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource

propDnAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource

propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource

propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource