Data.Singletons.Prelude.Ord

class POrd kproxy

class SOrd a

thenCmp

type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...

sThenCmp

data family Sing (a :: k)

Defunctionalization symbols

data ThenCmpSym0 l

data ThenCmpSym1 l l

type ThenCmpSym2 t t

type LTSym0

type EQSym0

type GTSym0

data CompareSym0 l

data CompareSym1 l l

type CompareSym2 t t

data (:<$) l

data l :<$$ l

type t :<$$$ t

data (:<=$) l

data l :<=$$ l

type t :<=$$$ t

data (:>$) l

data l :>$$ l

type t :>$$$ t

data (:>=$) l

data l :>=$$ l

type t :>=$$$ t

data MaxSym0 l

data MaxSym1 l l

type MaxSym2 t t

data MinSym0 l

data MinSym1 l l

type MinSym2 t t