Relation.Binary.Comparison

Documentation

class Preord a where

Methods

(≤) :: a -> a -> Bool

(≥) :: a -> a -> Bool

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

(>) :: a -> a -> Bool

Instances

Preord Bool

Methods

(≤) :: Bool -> Bool -> Bool

(≥) :: Bool -> Bool -> Bool

(<) :: Bool -> Bool -> Bool

(>) :: Bool -> Bool -> Bool

Preord Integer

Methods

(≤) :: Integer -> Integer -> Bool

(≥) :: Integer -> Integer -> Bool

(<) :: Integer -> Integer -> Bool

(>) :: Integer -> Integer -> Bool

Preord Natural

Methods

(≤) :: Natural -> Natural -> Bool

(≥) :: Natural -> Natural -> Bool

(<) :: Natural -> Natural -> Bool

(>) :: Natural -> Natural -> Bool

Preord Ordering

Methods

(≤) :: Ordering -> Ordering -> Bool

(≥) :: Ordering -> Ordering -> Bool

(<) :: Ordering -> Ordering -> Bool

(>) :: Ordering -> Ordering -> Bool

Preord ()

Methods

(≤) :: () -> () -> Bool

(≥) :: () -> () -> Bool

(<) :: () -> () -> Bool

(>) :: () -> () -> Bool

Preord a => Preord (Maybe a)

Methods

(≤) :: Maybe a -> Maybe a -> Bool

(≥) :: Maybe a -> Maybe a -> Bool

(<) :: Maybe a -> Maybe a -> Bool

(>) :: Maybe a -> Maybe a -> Bool

(Preord a, Preord b) => Preord (Lexical (Either a b))

Methods

(≤) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(≥) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(<) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(>) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(PartialOrd a, PartialOrd b) => Preord (Lexical (a, b))

Methods

(≤) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(≥) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(<) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(>) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(Preord a, Preord b) => Preord (Either a b)

Methods

(≤) :: Either a b -> Either a b -> Bool

(≥) :: Either a b -> Either a b -> Bool

(<) :: Either a b -> Either a b -> Bool

(>) :: Either a b -> Either a b -> Bool

(Preord a, Preord b) => Preord (a, b)

Methods

(≤) :: (a, b) -> (a, b) -> Bool

(≥) :: (a, b) -> (a, b) -> Bool

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

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

class PartialEq a where

Methods

(≡) :: a -> a -> Bool

(≢) :: a -> a -> Bool

Instances

PartialEq Bool

Methods

(≡) :: Bool -> Bool -> Bool

(≢) :: Bool -> Bool -> Bool

PartialEq Integer

Methods

(≡) :: Integer -> Integer -> Bool

(≢) :: Integer -> Integer -> Bool

PartialEq Natural

Methods

(≡) :: Natural -> Natural -> Bool

(≢) :: Natural -> Natural -> Bool

PartialEq Ordering

Methods

(≡) :: Ordering -> Ordering -> Bool

(≢) :: Ordering -> Ordering -> Bool

PartialEq ()

Methods

(≡) :: () -> () -> Bool

(≢) :: () -> () -> Bool

PartialEq a => PartialEq (Maybe a)

Methods

(≡) :: Maybe a -> Maybe a -> Bool

(≢) :: Maybe a -> Maybe a -> Bool

PartialEq a => PartialEq (Lexical a)

Methods

(≡) :: Lexical a -> Lexical a -> Bool

(≢) :: Lexical a -> Lexical a -> Bool

(PartialEq a, PartialEq b) => PartialEq (Either a b)

Methods

(≡) :: Either a b -> Either a b -> Bool

(≢) :: Either a b -> Either a b -> Bool

(PartialEq a, PartialEq b) => PartialEq (a, b)

Methods

(≡) :: (a, b) -> (a, b) -> Bool

(≢) :: (a, b) -> (a, b) -> Bool

class (Preord a, PartialEq a) => Eq a

Instances

Eq Bool

Eq Integer

Eq Natural

Eq Ordering

Eq ()

Eq a => Eq (Maybe a)

(Eq a, Eq b) => Eq (Lexical (Either a b))

(PartialOrd a, PartialOrd b, Eq a, Eq b) => Eq (Lexical (a, b))

class (Preord a, PartialEq a) => PartialOrd a where

Methods

tryCompare :: a -> a -> Maybe Ordering

Instances

PartialOrd Bool

Methods

tryCompare :: Bool -> Bool -> Maybe Ordering

PartialOrd Integer

Methods

tryCompare :: Integer -> Integer -> Maybe Ordering

PartialOrd Natural

Methods

tryCompare :: Natural -> Natural -> Maybe Ordering

PartialOrd Ordering

Methods

tryCompare :: Ordering -> Ordering -> Maybe Ordering

PartialOrd ()

Methods

tryCompare :: () -> () -> Maybe Ordering

PartialOrd a => PartialOrd (Maybe a)

Methods

tryCompare :: Maybe a -> Maybe a -> Maybe Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (Lexical (Either a b))

Methods

tryCompare :: Lexical (Either a b) -> Lexical (Either a b) -> Maybe Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (Lexical (a, b))

Methods

tryCompare :: Lexical (a, b) -> Lexical (a, b) -> Maybe Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (Either a b)

Methods

tryCompare :: Either a b -> Either a b -> Maybe Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (a, b)

Methods

tryCompare :: (a, b) -> (a, b) -> Maybe Ordering

class (PartialOrd a, Eq a) => Ord a where

Methods

compare :: a -> a -> Ordering

Instances

Ord Bool

Methods

compare :: Bool -> Bool -> Ordering

Ord Integer

Methods

compare :: Integer -> Integer -> Ordering

Ord Natural

Methods

compare :: Natural -> Natural -> Ordering

Ord Ordering

Methods

compare :: Ordering -> Ordering -> Ordering

Ord ()

Methods

compare :: () -> () -> Ordering

(Ord a, Ord b) => Ord (Lexical (Either a b))

Methods

compare :: Lexical (Either a b) -> Lexical (Either a b) -> Ordering

(Ord a, Ord b) => Ord (Lexical (a, b))

Methods

compare :: Lexical (a, b) -> Lexical (a, b) -> Ordering

newtype Lexical a

Constructors

Lexical a

Instances

Semigroup a => Semigroup (Lexical a)

Methods

(<>) :: Lexical a -> Lexical a -> Lexical a

sconcat :: NonEmpty (Lexical a) -> Lexical a

stimes :: Integral b => b -> Lexical a -> Lexical a

Monoid a => Monoid (Lexical a)

Methods

mempty :: Lexical a

mappend :: Lexical a -> Lexical a -> Lexical a

mconcat :: [Lexical a] -> Lexical a

Group a => Group (Lexical a)

Methods

invert :: Lexical a -> Lexical a

(Ord a, Ord b) => Ord (Lexical (Either a b))

Methods

compare :: Lexical (Either a b) -> Lexical (Either a b) -> Ordering

(Ord a, Ord b) => Ord (Lexical (a, b))

Methods

compare :: Lexical (a, b) -> Lexical (a, b) -> Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (Lexical (Either a b))

Methods

tryCompare :: Lexical (Either a b) -> Lexical (Either a b) -> Maybe Ordering

(PartialOrd a, PartialOrd b) => PartialOrd (Lexical (a, b))

Methods

tryCompare :: Lexical (a, b) -> Lexical (a, b) -> Maybe Ordering

(Eq a, Eq b) => Eq (Lexical (Either a b))

(PartialOrd a, PartialOrd b, Eq a, Eq b) => Eq (Lexical (a, b))

PartialEq a => PartialEq (Lexical a)

Methods

(≡) :: Lexical a -> Lexical a -> Bool

(≢) :: Lexical a -> Lexical a -> Bool

(Preord a, Preord b) => Preord (Lexical (Either a b))

Methods

(≤) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(≥) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(<) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(>) :: Lexical (Either a b) -> Lexical (Either a b) -> Bool

(PartialOrd a, PartialOrd b) => Preord (Lexical (a, b))

Methods

(≤) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(≥) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(<) :: Lexical (a, b) -> Lexical (a, b) -> Bool

(>) :: Lexical (a, b) -> Lexical (a, b) -> Bool