Type.Data.Ord

type family Compare x y

compare

data LT

data EQ

data GT

type family IsLT c

isLT

type family IsEQ c

isEQ

type family IsGT c

isGT

class x :<: y

lt

type family LTT x y

class x :<=: y

le

type family LET x y

class x :==: y

eq

type family EQT x y

class x :/=: y

ne

type family NET x y

class x :>=: y

ge

type family GET x y

class x :>: y

gt

type family GTT x y

type family Min x y

min

type family Max x y

max