This is an old revision of the document!

Basic type classes

Eq

source: class Eq a
main functions
- (==) :: a -> a -> Bool infix 4, true if equal otherwise false
- (/=) :: a -> a -> Bool infix 4, false if equal otherwise true
Minimal complete definition: either == or /=.

source: class Eq a => Ord a
main functions
- compare :: a -> a -> Ordering, LT if first parameter is less then second parameter, and EQ if first parameter is equal second parameter, and GT if first parameter is greater then second parameter
- (<) :: a -> a -> Bool infix 4, true if first parameter is less than second parameter otherwise false
- (<=) :: a -> a -> Bool infix 4, true if first parameter is equal or less than second parameter otherwise false
- (>) :: a -> a -> Bool infix 4, true if first parameter is greater than second parameter otherwise false
- (>=) :: a -> a -> Bool infix 4, true if first parameter is equal or greater than second parameter otherwise false
- max :: a -> a -> a the greater or equal value of both parameters
- min :: a -> a -> a the smaller or equal value of both parameters
Minimal complete definition: either compare or <=. Using compare can be more efficient for complex types.