Data.TypeLevel.Num.Ops

Successor/Predecessor

class Succ x y
class Pred x y

Addition/Subtraction

class Add x y z
class Sub x y z

Multiplication/Division

class Mul x y z
class Div x y z
class Mod x y r
class DivMod x y q r
class IsDivBy d x

Special efficiency cases

class Mul10 x q
class Div10 x q
class DivMod10 x i l

Exponientiation/Logarithm

class ExpBase b e r
class LogBase b x e
class LogBaseF b x e f
class IsPowOf b x

Special efficiency cases

class Exp10 x y
class Log10 x y

Comparison assertions

General comparison assertion

class Trich x y r

Type-level values denoting comparison results

data LT
data EQ
data GT

Abbreviated comparison assertions

class x :==: y
class x :>: y
class x :<: y
class x :>=: y
class x :<=: y

Maximum/Minimum

class Max x y z
class Min x y z

Greatest Common Divisor

class GCD x y gcd