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
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
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