Type.Compare

Comparison

type family Compare a b :: Ordering

data LargestK

data SmallestK

type family CompareUser a b :: Ordering

type family OrdCase o x y z :: l

type family CompareCase a b x y z :: l

type family a <! b :: Bool

type family a >=! b :: Bool

type family a >! b :: Bool

type family a <=! b :: Bool

type family Max a b :: k

type family Min a b :: k