type-level-natural-number-1.1: Simple, Haskell 2010-compatible type level natural numbers

Index

EightTypeLevel.NaturalNumber
ElevenTypeLevel.NaturalNumber
FifteenTypeLevel.NaturalNumber
FiveTypeLevel.NaturalNumber
FourTypeLevel.NaturalNumber
FourteenTypeLevel.NaturalNumber
N0TypeLevel.NaturalNumber
n0TypeLevel.NaturalNumber
N1TypeLevel.NaturalNumber
n1TypeLevel.NaturalNumber
N10TypeLevel.NaturalNumber
n10TypeLevel.NaturalNumber
N11TypeLevel.NaturalNumber
n11TypeLevel.NaturalNumber
N12TypeLevel.NaturalNumber
n12TypeLevel.NaturalNumber
N13TypeLevel.NaturalNumber
n13TypeLevel.NaturalNumber
N14TypeLevel.NaturalNumber
n14TypeLevel.NaturalNumber
N15TypeLevel.NaturalNumber
n15TypeLevel.NaturalNumber
N2TypeLevel.NaturalNumber
n2TypeLevel.NaturalNumber
N3TypeLevel.NaturalNumber
n3TypeLevel.NaturalNumber
N4TypeLevel.NaturalNumber
n4TypeLevel.NaturalNumber
N5TypeLevel.NaturalNumber
n5TypeLevel.NaturalNumber
N6TypeLevel.NaturalNumber
n6TypeLevel.NaturalNumber
N7TypeLevel.NaturalNumber
n7TypeLevel.NaturalNumber
N8TypeLevel.NaturalNumber
n8TypeLevel.NaturalNumber
N9TypeLevel.NaturalNumber
n9TypeLevel.NaturalNumber
NaturalNumberTypeLevel.NaturalNumber
naturalNumberAsIntTypeLevel.NaturalNumber
NineTypeLevel.NaturalNumber
OneTypeLevel.NaturalNumber
predecessorOfTypeLevel.NaturalNumber
SevenTypeLevel.NaturalNumber
SixTypeLevel.NaturalNumber
SuccessorToTypeLevel.NaturalNumber
successorToTypeLevel.NaturalNumber
TenTypeLevel.NaturalNumber
ThirteenTypeLevel.NaturalNumber
ThreeTypeLevel.NaturalNumber
TwelveTypeLevel.NaturalNumber
TwoTypeLevel.NaturalNumber
ZeroTypeLevel.NaturalNumber