Contents
Index
type-natural-0.2.0.0: Type-level natural and proofs of their properties.
Index
%*
Data.Type.Natural
%+
Data.Type.Natural
%-
Data.Type.Natural
%/=%
Data.Type.Natural
%:&&
Data.Type.Natural
%:*
Data.Type.Natural
%:+
Data.Type.Natural
%:++
Data.Type.Natural
%:-
Data.Type.Natural
%:/=
Data.Type.Natural
%:<<=
Data.Type.Natural
%:==
Data.Type.Natural
%:||
Data.Type.Natural
%==%
Data.Type.Natural
:&&
Data.Type.Natural
:&&:
Data.Type.Natural
:*
Data.Type.Natural
:*:
Data.Type.Natural
:+
Data.Type.Natural
:++
Data.Type.Natural
:+:
Data.Type.Natural
:-
Data.Type.Natural
:-:
Data.Type.Natural
:/=
Data.Type.Natural
:/=:
Data.Type.Natural
:<<=
Data.Type.Natural
:<=
Data.Type.Natural
:==
Data.Type.Natural
:==:
Data.Type.Natural
:||
Data.Type.Natural
:||:
Data.Type.Natural
@+
Data.Type.Ordinal
Any
Data.Type.Natural
boolToClassLeq
Data.Type.Natural
boolToPropLeq
Data.Type.Natural
bugInGHC
Data.Type.Natural
cases
Data.Type.Natural
CastedOrdinal
1 (Type/Class)
Data.Type.Ordinal
2 (Data Constructor)
Data.Type.Ordinal
Demote
Data.Type.Natural
DemoteRep
Data.Type.Natural
Eight
Data.Type.Natural
eight
Data.Type.Natural
Eighteen
Data.Type.Natural
eighteen
Data.Type.Natural
Eleven
Data.Type.Natural
eleven
Data.Type.Natural
enumOrdinal
Data.Type.Ordinal
eqPreservesS
Data.Type.Natural
eqSuccMinus
Data.Type.Natural
Fifteen
Data.Type.Natural
fifteen
Data.Type.Natural
Five
Data.Type.Natural
five
Data.Type.Natural
Four
Data.Type.Natural
four
Data.Type.Natural
Fourteen
Data.Type.Natural
fourteen
Data.Type.Natural
fromSing
Data.Type.Natural
genPromotions
Data.Type.Natural
genSingletons
Data.Type.Natural
Head
Data.Type.Natural
If
Data.Type.Natural
inclusion
Data.Type.Ordinal
inclusion'
Data.Type.Ordinal
intToNat
Data.Type.Natural
KindIs
Data.Type.Natural
KindOf
Data.Type.Natural
KindParam
Data.Type.Natural
Leq
Data.Type.Natural
leqAnitsymmetric
Data.Type.Natural
LeqInstance
Data.Type.Natural
leqLhs
Data.Type.Natural
leqRefl
Data.Type.Natural
leqRhs
Data.Type.Natural
leqSucc
Data.Type.Natural
leqTrans
Data.Type.Natural
LeqTrueInstance
Data.Type.Natural
Max
Data.Type.Natural
max
Data.Type.Natural
maxComm
Data.Type.Natural
maxLeqL
Data.Type.Natural
maxLeqR
Data.Type.Natural
maxZL
Data.Type.Natural
maxZR
Data.Type.Natural
Min
Data.Type.Natural
min
Data.Type.Natural
minComm
Data.Type.Natural
minLeqL
Data.Type.Natural
minLeqR
Data.Type.Natural
minusCongEq
Data.Type.Natural
minusNilpotent
Data.Type.Natural
multAssociative
Data.Type.Natural
multComm
Data.Type.Natural
multCongL
Data.Type.Natural
multCongR
Data.Type.Natural
multOneL
Data.Type.Natural
multOneR
Data.Type.Natural
multPlusDistr
Data.Type.Natural
multZL
Data.Type.Natural
multZR
Data.Type.Natural
N0
Data.Type.Natural
n0
Data.Type.Natural
N1
Data.Type.Natural
n1
Data.Type.Natural
N10
Data.Type.Natural
n10
Data.Type.Natural
N11
Data.Type.Natural
n11
Data.Type.Natural
N12
Data.Type.Natural
n12
Data.Type.Natural
N13
Data.Type.Natural
n13
Data.Type.Natural
N14
Data.Type.Natural
n14
Data.Type.Natural
N15
Data.Type.Natural
n15
Data.Type.Natural
N16
Data.Type.Natural
n16
Data.Type.Natural
N17
Data.Type.Natural
n17
Data.Type.Natural
N18
Data.Type.Natural
n18
Data.Type.Natural
N19
Data.Type.Natural
n19
Data.Type.Natural
N2
Data.Type.Natural
n2
Data.Type.Natural
N20
Data.Type.Natural
n20
Data.Type.Natural
N3
Data.Type.Natural
n3
Data.Type.Natural
N4
Data.Type.Natural
n4
Data.Type.Natural
N5
Data.Type.Natural
n5
Data.Type.Natural
N6
Data.Type.Natural
n6
Data.Type.Natural
N7
Data.Type.Natural
n7
Data.Type.Natural
N8
Data.Type.Natural
n8
Data.Type.Natural
N9
Data.Type.Natural
n9
Data.Type.Natural
Nat
Data.Type.Natural
nat
Data.Type.Natural
natToInt
Data.Type.Natural
Nine
Data.Type.Natural
nine
Data.Type.Natural
Nineteen
Data.Type.Natural
nineteen
Data.Type.Natural
Not
Data.Type.Natural
od
Data.Type.Ordinal
One
Data.Type.Natural
one
Data.Type.Natural
Ordinal
Data.Type.Ordinal
ordToInt
Data.Type.Ordinal
ordToSNat
Data.Type.Ordinal
ordToSNat'
Data.Type.Ordinal
OS
Data.Type.Ordinal
OZ
Data.Type.Ordinal
plusAssociative
Data.Type.Natural
plusCommutative
Data.Type.Natural
plusCongL
Data.Type.Natural
plusCongR
Data.Type.Natural
plusLeqL
Data.Type.Natural
plusLeqR
Data.Type.Natural
plusMinusEqL
Data.Type.Natural
plusMinusEqR
Data.Type.Natural
plusMonotone
Data.Type.Natural
plusMultDistr
Data.Type.Natural
plusSR
Data.Type.Natural
plusZL
Data.Type.Natural
plusZR
Data.Type.Natural
promote
Data.Type.Natural
promoteEqInstance
Data.Type.Natural
promoteEqInstances
Data.Type.Natural
propToBoolLeq
Data.Type.Natural
propToClassLeq
Data.Type.Natural
S
Data.Type.Natural
sAndPlusOne
Data.Type.Natural
SBool
Data.Type.Natural
SCons
Data.Type.Natural
sCons
Data.Type.Natural
sEight
Data.Type.Natural
sEighteen
Data.Type.Natural
SEither
Data.Type.Natural
sEleven
Data.Type.Natural
SEq
Data.Type.Natural
Seven
Data.Type.Natural
seven
Data.Type.Natural
Seventeen
Data.Type.Natural
seventeen
Data.Type.Natural
SFalse
Data.Type.Natural
sFalse
Data.Type.Natural
sFifteen
Data.Type.Natural
sFive
Data.Type.Natural
sFour
Data.Type.Natural
sFourteen
Data.Type.Natural
sIf
Data.Type.Natural
Sing
Data.Type.Natural
sing
Data.Type.Natural
SingE
Data.Type.Natural
singEqInstance
Data.Type.Natural
singEqInstances
Data.Type.Natural
SingI
Data.Type.Natural
SingInstance
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
singInstance
Data.Type.Natural
SingKind
Data.Type.Natural
singletons
Data.Type.Natural
SingRep
Data.Type.Natural
Six
Data.Type.Natural
six
Data.Type.Natural
Sixteen
Data.Type.Natural
sixteen
Data.Type.Natural
SJust
Data.Type.Natural
sJust
Data.Type.Natural
SLeft
Data.Type.Natural
sLeft
Data.Type.Natural
SList
Data.Type.Natural
sMax
Data.Type.Natural
SMaybe
Data.Type.Natural
sMin
Data.Type.Natural
sN0
Data.Type.Natural
sN1
Data.Type.Natural
sN10
Data.Type.Natural
sN11
Data.Type.Natural
sN12
Data.Type.Natural
sN13
Data.Type.Natural
sN14
Data.Type.Natural
sN15
Data.Type.Natural
sN16
Data.Type.Natural
sN17
Data.Type.Natural
sN18
Data.Type.Natural
sN19
Data.Type.Natural
sN2
Data.Type.Natural
sN20
Data.Type.Natural
sN3
Data.Type.Natural
sN4
Data.Type.Natural
sN5
Data.Type.Natural
sN6
Data.Type.Natural
sN7
Data.Type.Natural
sN8
Data.Type.Natural
sN9
Data.Type.Natural
SNat
Data.Type.Natural
snat
Data.Type.Natural
sNatToInt
Data.Type.Natural
sNatToOrd
Data.Type.Ordinal
sNatToOrd'
Data.Type.Ordinal
SNil
Data.Type.Natural
sNil
Data.Type.Natural
sNine
Data.Type.Natural
sNineteen
Data.Type.Natural
sNot
Data.Type.Natural
SNothing
Data.Type.Natural
sNothing
Data.Type.Natural
sOne
Data.Type.Natural
SRight
Data.Type.Natural
sRight
Data.Type.Natural
SS
Data.Type.Natural
sS
Data.Type.Natural
sSeven
Data.Type.Natural
sSeventeen
Data.Type.Natural
sSix
Data.Type.Natural
sSixteen
Data.Type.Natural
sTen
Data.Type.Natural
sThirteen
Data.Type.Natural
sThree
Data.Type.Natural
STrue
Data.Type.Natural
sTrue
Data.Type.Natural
STuple0
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple0
Data.Type.Natural
STuple2
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple2
Data.Type.Natural
STuple3
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple3
Data.Type.Natural
STuple4
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple4
Data.Type.Natural
STuple5
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple5
Data.Type.Natural
STuple6
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple6
Data.Type.Natural
STuple7
1 (Data Constructor)
Data.Type.Natural
2 (Type/Class)
Data.Type.Natural
sTuple7
Data.Type.Natural
sTwelve
Data.Type.Natural
sTwenty
Data.Type.Natural
sTwo
Data.Type.Natural
succCongEq
Data.Type.Natural
SuccLeqSucc
Data.Type.Natural
succPlusL
Data.Type.Natural
succPlusR
Data.Type.Natural
SZ
Data.Type.Natural
sZ
Data.Type.Natural
sZero
Data.Type.Natural
Tail
Data.Type.Natural
Ten
Data.Type.Natural
ten
Data.Type.Natural
Thirteen
Data.Type.Natural
thirteen
Data.Type.Natural
Three
Data.Type.Natural
three
Data.Type.Natural
Twelve
Data.Type.Natural
twelve
Data.Type.Natural
Twenty
Data.Type.Natural
twenty
Data.Type.Natural
Two
Data.Type.Natural
two
Data.Type.Natural
unsafeFromInt
Data.Type.Ordinal
Z
Data.Type.Natural
zAbsorbsMinL
Data.Type.Natural
zAbsorbsMinR
Data.Type.Natural
Zero
Data.Type.Natural
zero
Data.Type.Natural
ZeroLeq
Data.Type.Natural