Types.Data.Ord

Type-level numerical operations using type families.

Documentation

type family Compare x y

compareT :: x -> y -> Compare x y

data LT

data EQ

data GT

type family IsLT c

isLTT :: c -> IsLT c

type family IsEQ c

isEQT :: c -> IsEQ c

type family IsGT c

isGTT :: c -> IsGT c

type family x :<: y

ltT :: x -> y -> x :<: y

class LTT x y

Instances

~ * (:<: x y) True => LTT x y

type family x :<=: y

leT :: x -> y -> x :<=: y

class LET x y

Instances

~ * (:<=: x y) True => LET x y

type family x :==: y

eqT :: x -> y -> x :==: y

class EQT x y

Instances

~ * (:==: x y) True => EQT x y

type family x :>=: y

geT :: x -> y -> x :>=: y

class GET x y

Instances

~ * (:>=: x y) True => GET x y

type family x :>: y

gtT :: x -> y -> x :>: y

class GTT x y

Instances

~ * (:>: x y) True => GTT x y

type family Min x y

minT :: x -> y -> Min x y

type family Max x y

maxT :: x -> y -> Max x y