algebra-4.3: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Order.Class

Documentation

class Order a where Source #

Methods

(<~) :: a -> a -> Bool Source #

(<) :: a -> a -> Bool Source #

(>~) :: a -> a -> Bool Source #

(>) :: a -> a -> Bool Source #

(~~) :: a -> a -> Bool Source #

(/~) :: a -> a -> Bool Source #

order :: a -> a -> Maybe Ordering Source #

comparable :: a -> a -> Bool Source #

Instances

Order Bool Source # 
Order Int Source # 
Order Int8 Source # 
Order Int16 Source # 
Order Int32 Source # 
Order Int64 Source # 
Order Integer Source # 
Order Word Source # 
Order Word8 Source # 
Order Word16 Source # 
Order Word32 Source # 
Order Word64 Source # 
Order () Source # 

Methods

(<~) :: () -> () -> Bool Source #

(<) :: () -> () -> Bool Source #

(>~) :: () -> () -> Bool Source #

(>) :: () -> () -> Bool Source #

(~~) :: () -> () -> Bool Source #

(/~) :: () -> () -> Bool Source #

order :: () -> () -> Maybe Ordering Source #

comparable :: () -> () -> Bool Source #

Order Natural Source # 
Ord a => Order (Set a) Source # 

Methods

(<~) :: Set a -> Set a -> Bool Source #

(<) :: Set a -> Set a -> Bool Source #

(>~) :: Set a -> Set a -> Bool Source #

(>) :: Set a -> Set a -> Bool Source #

(~~) :: Set a -> Set a -> Bool Source #

(/~) :: Set a -> Set a -> Bool Source #

order :: Set a -> Set a -> Maybe Ordering Source #

comparable :: Set a -> Set a -> Bool Source #

(Order a, Order b) => Order (a, b) Source # 

Methods

(<~) :: (a, b) -> (a, b) -> Bool Source #

(<) :: (a, b) -> (a, b) -> Bool Source #

(>~) :: (a, b) -> (a, b) -> Bool Source #

(>) :: (a, b) -> (a, b) -> Bool Source #

(~~) :: (a, b) -> (a, b) -> Bool Source #

(/~) :: (a, b) -> (a, b) -> Bool Source #

order :: (a, b) -> (a, b) -> Maybe Ordering Source #

comparable :: (a, b) -> (a, b) -> Bool Source #

(Order a, Order b, Order c) => Order (a, b, c) Source # 

Methods

(<~) :: (a, b, c) -> (a, b, c) -> Bool Source #

(<) :: (a, b, c) -> (a, b, c) -> Bool Source #

(>~) :: (a, b, c) -> (a, b, c) -> Bool Source #

(>) :: (a, b, c) -> (a, b, c) -> Bool Source #

(~~) :: (a, b, c) -> (a, b, c) -> Bool Source #

(/~) :: (a, b, c) -> (a, b, c) -> Bool Source #

order :: (a, b, c) -> (a, b, c) -> Maybe Ordering Source #

comparable :: (a, b, c) -> (a, b, c) -> Bool Source #

(Order a, Order b, Order c, Order d) => Order (a, b, c, d) Source # 

Methods

(<~) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(<) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(>~) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(>) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(~~) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(/~) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

order :: (a, b, c, d) -> (a, b, c, d) -> Maybe Ordering Source #

comparable :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #

(Order a, Order b, Order c, Order d, Order e) => Order (a, b, c, d, e) Source # 

Methods

(<~) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(<) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(>~) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(>) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(~~) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

(/~) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

order :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe Ordering Source #

comparable :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

orderOrd :: Ord a => a -> a -> Maybe Ordering Source #