algebra-0.3.0: Constructive abstract algebra

Numeric.Order.Class

Documentation

class Order a whereSource

Methods

(<~) :: a -> a -> BoolSource

(<) :: a -> a -> BoolSource

(>~) :: a -> a -> BoolSource

(>) :: a -> a -> BoolSource

(~~) :: a -> a -> BoolSource

(/~) :: a -> a -> BoolSource

order :: a -> a -> Maybe OrderingSource

comparable :: a -> a -> BoolSource

Instances

Order Bool 
Order Int 
Order Int8 
Order Int16 
Order Int32 
Order Int64 
Order Integer 
Order Word 
Order Word8 
Order Word16 
Order Word32 
Order Word64 
Order () 
Order Natural 
(Order a, Order b) => Order (a, b) 
(Order a, Order b, Order c) => Order (a, b, c) 
(Order a, Order b, Order c, Order d) => Order (a, b, c, d) 
(Order a, Order b, Order c, Order d, Order e) => Order (a, b, c, d, e) 

orderOrd :: Ord a => a -> a -> Maybe OrderingSource