Types.Data.Ord

type family Compare x y

compareT

data LT

data EQ

data GT

type family IsLT c

isLTT

type family IsEQ c

isEQT

type family IsGT c

isGTT

type family x :<: y

ltT

type family x :<=: y

leT

type family x :==: y

eqT

type family x :>=: y

geT

type family x :>: y

gtT

type family Min x y

minT

type family Max x y

maxT