type-natural-0.0.1.1: Type-level natural and proofs of their properties. (Index - S)

type-natural-0.0.1.1: Type-level natural and proofs of their properties.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
S
T
Z
:
%
All

Index - S

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
sNatToInt	Data.Type.Natural
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