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

Index

AddTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
addNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
AndTypeLevel.Boolean
andTTypeLevel.Boolean
CompareTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
compareNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
D0TypeLevel.Number.Int
D1TypeLevel.Number.Int
DivTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
divNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
DnTypeLevel.Number.Int
FalseTypeLevel.Boolean
getValueTypeLevel.Reify
GreaterTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
GreaterEqTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
ITypeLevel.Number.Nat
IntTTypeLevel.Number.Int
intTTypeLevel.Number.Int
IsEqualTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
IsGreaterTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
IsLesserTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
LesserTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
LesserEqTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
MulTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
mulNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
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.Int, TypeLevel.Number.Nat
negateNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
NextTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
nextNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
NonZeroTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
NormalizedTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
NotTypeLevel.Boolean
notTTypeLevel.Boolean
OTypeLevel.Number.Nat
OrTypeLevel.Boolean
orTTypeLevel.Boolean
PositiveTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
PrevTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
prevNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
ReifyTypeLevel.Reify
SomeIntTypeLevel.Number.Int
SomeNat 
1 (Type/Class)TypeLevel.Number.Nat
2 (Data Constructor)TypeLevel.Number.Nat
SubTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
subNTypeLevel.Number.Classes, TypeLevel.Number.Int, TypeLevel.Number.Nat
toInt 
1 (Function)TypeLevel.Number.Int
2 (Function)TypeLevel.Number.Nat
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