type-level-numbers-0.1.1.2: Type level numbers implemented using type families.

Index

Add | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
addN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
And | TypeLevel.Boolean
andT | TypeLevel.Boolean
Compare | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
compareN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
D0 | TypeLevel.Number.Int
D1 | TypeLevel.Number.Int
Div | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
divN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Dn | TypeLevel.Number.Int
False | TypeLevel.Boolean
getValue | TypeLevel.Reify
Greater | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
GreaterEq | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
I | TypeLevel.Number.Nat
IntT | TypeLevel.Number.Int
intT | TypeLevel.Number.Int
IsEqual | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
IsGreater | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
IsLesser | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Lesser | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
LesserEq | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Mul | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
mulN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
N0 | TypeLevel.Number.Nat.Num
n0 | TypeLevel.Number.Nat.Num
N1 | TypeLevel.Number.Nat.Num
n1 | TypeLevel.Number.Nat.Num
N2 | TypeLevel.Number.Nat.Num
n2 | TypeLevel.Number.Nat.Num
N3 | TypeLevel.Number.Nat.Num
n3 | TypeLevel.Number.Nat.Num
N4 | TypeLevel.Number.Nat.Num
n4 | TypeLevel.Number.Nat.Num
N5 | TypeLevel.Number.Nat.Num
n5 | TypeLevel.Number.Nat.Num
N6 | TypeLevel.Number.Nat.Num
n6 | TypeLevel.Number.Nat.Num
N7 | TypeLevel.Number.Nat.Num
n7 | TypeLevel.Number.Nat.Num
N8 | TypeLevel.Number.Nat.Num
n8 | TypeLevel.Number.Nat.Num
N9 | TypeLevel.Number.Nat.Num
n9 | TypeLevel.Number.Nat.Num
Nat | TypeLevel.Number.Nat
nat | TypeLevel.Number.Nat
natT | TypeLevel.Number.Nat
Negate | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
negateN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Next | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
nextN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
NonZero | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Normalized | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Not | TypeLevel.Boolean
notT | TypeLevel.Boolean
O | TypeLevel.Number.Nat
Or | TypeLevel.Boolean
orT | TypeLevel.Boolean
Positive | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Prev | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
prevN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
Reify | TypeLevel.Reify
SomeInt | TypeLevel.Number.Int
SomeNat |
1 (Type/Class) | TypeLevel.Number.Nat
2 (Data Constructor) | TypeLevel.Number.Nat
Sub | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
subN | TypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
toInt |
1 (Function) | TypeLevel.Number.Nat
2 (Function) | TypeLevel.Number.Int
True | TypeLevel.Boolean
withInt | TypeLevel.Number.Int
withNat | TypeLevel.Number.Nat
Witness |
1 (Type/Class) | TypeLevel.Reify
2 (Data Constructor) | TypeLevel.Reify
witness | TypeLevel.Reify
Xor | TypeLevel.Boolean
xorT | TypeLevel.Boolean
Z | TypeLevel.Number.Nat
ZZ | TypeLevel.Number.Int