type-level-numbers-0.1.1.1: Type level numbers implemented using type families. (Index)

type-level-numbers-0.1.1.1: 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