TypeLevel.Number.Classes

Comparison of numbers

type family Compare n m :: *

compareN

Data labels for types comparison

data IsLesser

data IsEqual

data IsGreater

Specialized type classes

class Lesser n m

class LesserEq n m

class Greater n m

class GreaterEq n m

Special traits

class Positive n

class NonZero n

Arithmetic operations on numbers

type family Next n :: *

nextN

type family Prev n :: *

prevN

type family Negate n :: *

negateN

type family Add n m :: *

addN

type family Sub n m :: *

subN

type family Mul n m :: *

mulN

type family Div n m :: *

divN

Special classes

type family Normalized n :: *