License	BSD-style (see the LICENSE file in the distribution)
Maintainer	libraries@haskell.org
Stability	experimental
Portability	not portable
Safe Haskell	Safe
Language	Haskell2010

Data.Type.Ord

Description

Basic operations on type-level Orderings.

Since: base-4.16.0.0

Synopsis

type family Compare a b
data OrderingI a b where
- LTI :: Compare a b ~ 'LT => OrderingI a b
- EQI :: Compare a a ~ 'EQ => OrderingI a a
- GTI :: Compare a b ~ 'GT => OrderingI a b
type (<=) x y = (x <=? y) ~ 'True
type (<=?) m n = OrdCond (Compare m n) 'True 'True 'False
type (>=) x y = (x >=? y) ~ 'True
type (>=?) m n = OrdCond (Compare m n) 'False 'True 'True
type (>) x y = (x >? y) ~ 'True
type (>?) m n = OrdCond (Compare m n) 'False 'False 'True
type (<) x y = (x >? y) ~ 'True
type (<?) m n = OrdCond (Compare m n) 'True 'False 'False
type Max m n = OrdCond (Compare m n) n n m
type Min m n = OrdCond (Compare m n) m m n
type family OrdCond o lt eq gt where ...

Documentation

type family Compare a b Source #

Compare branches on the kind of its arguments to either compare by Symbol or Nat. @since 4.16.0.0

Instances details

type Compare (a :: Natural) (b :: Natural) Source #
Instance details Defined in Data.Type.Ord type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type Compare (a :: Char) (b :: Char) Source #
Instance details Defined in Data.Type.Ord type Compare (a :: Char) (b :: Char) = CmpChar a b
type Compare (a :: Symbol) (b :: Symbol) Source #
Instance details Defined in Data.Type.Ord type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b

data OrderingI a b where Source #

Ordering data type for type literals that provides proof of their ordering. @since 4.16.0.0

Constructors

LTI :: Compare a b ~ 'LT => OrderingI a b
EQI :: Compare a a ~ 'EQ => OrderingI a a
GTI :: Compare a b ~ 'GT => OrderingI a b

Instances details

Show (OrderingI a b) Source #
Instance details Defined in Data.Type.Ord Methods showsPrec :: Int -> OrderingI a b -> ShowS Source # show :: OrderingI a b -> String Source # showList :: [OrderingI a b] -> ShowS Source #
Eq (OrderingI a b) Source #
Instance details Defined in Data.Type.Ord Methods (==) :: OrderingI a b -> OrderingI a b -> Bool Source # (/=) :: OrderingI a b -> OrderingI a b -> Bool Source #