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