algebra-4.3.1: Constructive abstract algebra

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

 Source # Methods(<~) :: Bool -> Bool -> Bool Source #(<) :: Bool -> Bool -> Bool Source #(>~) :: Bool -> Bool -> Bool Source #(>) :: Bool -> Bool -> Bool Source #(~~) :: Bool -> Bool -> Bool Source #(/~) :: Bool -> Bool -> Bool Source # Source # Methods(<~) :: Int -> Int -> Bool Source #(<) :: Int -> Int -> Bool Source #(>~) :: Int -> Int -> Bool Source #(>) :: Int -> Int -> Bool Source #(~~) :: Int -> Int -> Bool Source #(/~) :: Int -> Int -> Bool Source # Source # Methods(<~) :: Int8 -> Int8 -> Bool Source #(<) :: Int8 -> Int8 -> Bool Source #(>~) :: Int8 -> Int8 -> Bool Source #(>) :: Int8 -> Int8 -> Bool Source #(~~) :: Int8 -> Int8 -> Bool Source #(/~) :: Int8 -> Int8 -> Bool Source # Source # Methods(<) :: Int16 -> Int16 -> Bool Source #(>) :: Int16 -> Int16 -> Bool Source # Source # Methods(<) :: Int32 -> Int32 -> Bool Source #(>) :: Int32 -> Int32 -> Bool Source # Source # Methods(<) :: Int64 -> Int64 -> Bool Source #(>) :: Int64 -> Int64 -> Bool Source # Source # Methods Source # Methods Source # Methods(<~) :: Word -> Word -> Bool Source #(<) :: Word -> Word -> Bool Source #(>~) :: Word -> Word -> Bool Source #(>) :: Word -> Word -> Bool Source #(~~) :: Word -> Word -> Bool Source #(/~) :: Word -> Word -> Bool Source # Source # Methods(<) :: Word8 -> Word8 -> Bool Source #(>) :: Word8 -> Word8 -> Bool Source # Source # Methods Source # Methods Source # Methods Order () Source # Methods(<~) :: () -> () -> Bool Source #(<) :: () -> () -> Bool Source #(>~) :: () -> () -> Bool Source #(>) :: () -> () -> Bool Source #(~~) :: () -> () -> Bool Source #(/~) :: () -> () -> Bool Source #order :: () -> () -> Maybe Ordering Source #comparable :: () -> () -> Bool 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 #