Data.Promotion.Prelude.Ord

class POrd kproxy

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