S | |
1 (Data Constructor) | Data.Type.Natural |
2 (Type/Class) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
sAbs | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
SameKind | Data.Type.Natural |
sCompare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
sComparing | Data.Type.Natural.Builtin |
sEight | Data.Type.Natural |
sEighteen | Data.Type.Natural |
sEleven | Data.Type.Natural |
SEQ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
SEq | Data.Type.Natural.Builtin |
Seven | Data.Type.Natural |
seven | Data.Type.Natural |
SevenSym0 | Data.Type.Natural |
Seventeen | Data.Type.Natural |
seventeen | Data.Type.Natural |
SeventeenSym0 | Data.Type.Natural |
sFifteen | Data.Type.Natural |
sFive | Data.Type.Natural |
sFlipOrdering | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
sFour | Data.Type.Natural |
sFourteen | Data.Type.Natural |
sFromInteger | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
sFromPeano | Data.Type.Natural.Builtin |
SGT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
Signum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
SignumSym0 | Data.Type.Natural.Builtin |
SignumSym1 | Data.Type.Natural.Builtin |
Sing | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
sing | Data.Type.Natural |
singByProxy | Data.Type.Natural |
singByProxy# | Data.Type.Natural |
singFun1 | Data.Type.Natural |
singFun2 | Data.Type.Natural |
singFun3 | Data.Type.Natural |
singFun4 | Data.Type.Natural |
singFun5 | Data.Type.Natural |
singFun6 | Data.Type.Natural |
singFun7 | Data.Type.Natural |
singFun8 | Data.Type.Natural |
SingFunction1 | Data.Type.Natural |
SingFunction2 | Data.Type.Natural |
SingFunction3 | Data.Type.Natural |
SingFunction4 | Data.Type.Natural |
SingFunction5 | Data.Type.Natural |
SingFunction6 | Data.Type.Natural |
SingFunction7 | Data.Type.Natural |
SingFunction8 | 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 |
singThat | Data.Type.Natural |
Six | Data.Type.Natural |
six | Data.Type.Natural |
SixSym0 | Data.Type.Natural |
Sixteen | Data.Type.Natural |
sixteen | Data.Type.Natural |
SixteenSym0 | Data.Type.Natural |
SLambda | Data.Type.Natural |
sLeqCong | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
sLeqCongL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
sLeqCongR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
sLeqReflexive | Data.Type.Natural |
SLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
sMax | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
sMin | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
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 | |
1 (Function) | Data.Type.Natural |
2 (Function) | Data.Type.Natural.Builtin |
sNatToInt | Data.Type.Natural |
sNatToOrd | |
1 (Function) | Data.Type.Ordinal |
2 (Function) | Data.Type.Ordinal.Builtin |
3 (Function) | Data.Type.Ordinal.Peano |
sNatToOrd' | |
1 (Function) | Data.Type.Ordinal |
2 (Function) | Data.Type.Ordinal.Builtin |
3 (Function) | Data.Type.Ordinal.Peano |
sNegate | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
snEqZAbsurd | Data.Type.Natural |
sNine | Data.Type.Natural |
sNineteen | Data.Type.Natural |
SNum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
SomeSing | |
1 (Data Constructor) | Data.Type.Natural |
2 (Type/Class) | Data.Type.Natural |
sOne | |
1 (Function) | Data.Type.Natural |
2 (Function) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
SOrd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
sPred' | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
SS | Data.Type.Natural |
sSeven | Data.Type.Natural |
sSeventeen | Data.Type.Natural |
sSignum | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
sSix | Data.Type.Natural |
sSixteen | Data.Type.Natural |
sSubtract | Data.Type.Natural.Builtin |
SSym0 | Data.Type.Natural |
SSym1 | Data.Type.Natural |
sTen | Data.Type.Natural |
sThenCmp | Data.Type.Natural.Builtin |
sThirteen | Data.Type.Natural |
sThree | Data.Type.Natural |
sToPeano | Data.Type.Natural.Builtin |
sTwelve | Data.Type.Natural |
sTwenty | Data.Type.Natural |
sTwo | Data.Type.Natural |
Subtract | Data.Type.Natural.Builtin |
SubtractSym0 | Data.Type.Natural.Builtin |
SubtractSym1 | Data.Type.Natural.Builtin |
SubtractSym2 | Data.Type.Natural.Builtin |
Succ | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
succAndPlusOneL | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succAndPlusOneR | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |
succInj | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succInj' | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succLeqAbsurd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
succLeqAbsurd' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
SuccLeqSucc | Data.Type.Natural |
succLeqToLT | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
succLeqZeroAbsurd | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
succLeqZeroAbsurd' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
succLneqSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
succNonCyclic | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succOneCong | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
succPred | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
SZ | Data.Type.Natural |
sZero | |
1 (Function) | Data.Type.Natural |
2 (Function) | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class |