numeric-prelude-0.1.2: An experimental alternative hierarchy of numeric type classes Source code Contents Index

Algebra.Lattice

Documentation

class C a where Source

Methods up :: a -> a -> a Source dn :: a -> a -> a Source Instances C Bool C Integer (Ord a, C a) => C (T a) (C a, C b) => C ((,) a b)

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

Produced by Haddock version 2.4.2