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

Index

AddTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
addNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
AndTypeLevel.Boolean
andTTypeLevel.Boolean
CompareTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
compareNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
D0TypeLevel.Number.Int
D1TypeLevel.Number.Int
DivTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
divNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
DnTypeLevel.Number.Int
FalseTypeLevel.Boolean
getValueTypeLevel.Reify
GreaterTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
GreaterEqTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
ITypeLevel.Number.Nat
IntTTypeLevel.Number.Int
intTTypeLevel.Number.Int
IsEqualTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
IsGreaterTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
IsLesserTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
LesserTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
LesserEqTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
MulTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
mulNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
N0TypeLevel.Number.Nat.Num
n0TypeLevel.Number.Nat.Num
N1TypeLevel.Number.Nat.Num
n1TypeLevel.Number.Nat.Num
N2TypeLevel.Number.Nat.Num
n2TypeLevel.Number.Nat.Num
N3TypeLevel.Number.Nat.Num
n3TypeLevel.Number.Nat.Num
N4TypeLevel.Number.Nat.Num
n4TypeLevel.Number.Nat.Num
N5TypeLevel.Number.Nat.Num
n5TypeLevel.Number.Nat.Num
N6TypeLevel.Number.Nat.Num
n6TypeLevel.Number.Nat.Num
N7TypeLevel.Number.Nat.Num
n7TypeLevel.Number.Nat.Num
N8TypeLevel.Number.Nat.Num
n8TypeLevel.Number.Nat.Num
N9TypeLevel.Number.Nat.Num
n9TypeLevel.Number.Nat.Num
NatTypeLevel.Number.Nat
natTypeLevel.Number.Nat
natTTypeLevel.Number.Nat
NegateTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
negateNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
NextTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
nextNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
NonZeroTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
NormalizedTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
NotTypeLevel.Boolean
notTTypeLevel.Boolean
OTypeLevel.Number.Nat
OrTypeLevel.Boolean
orTTypeLevel.Boolean
PositiveTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
PrevTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
prevNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
ReifyTypeLevel.Reify
SomeIntTypeLevel.Number.Int
SomeNat 
1 (Type/Class)TypeLevel.Number.Nat
2 (Data Constructor)TypeLevel.Number.Nat
SubTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
subNTypeLevel.Number.Classes, TypeLevel.Number.Nat, TypeLevel.Number.Int
toInt 
1 (Function)TypeLevel.Number.Nat
2 (Function)TypeLevel.Number.Int
TrueTypeLevel.Boolean
withIntTypeLevel.Number.Int
withNatTypeLevel.Number.Nat
Witness 
1 (Type/Class)TypeLevel.Reify
2 (Data Constructor)TypeLevel.Reify
witnessTypeLevel.Reify
XorTypeLevel.Boolean
xorTTypeLevel.Boolean
ZTypeLevel.Number.Nat
ZZTypeLevel.Number.Int