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

Index - S

S 
1 (Data Constructor)Data.Type.Natural
2 (Type/Class)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
sEightData.Type.Natural
sEighteenData.Type.Natural
sElevenData.Type.Natural
SevenData.Type.Natural
sevenData.Type.Natural
SevenSym0Data.Type.Natural
SeventeenData.Type.Natural
seventeenData.Type.Natural
SeventeenSym0Data.Type.Natural
sFifteenData.Type.Natural
sFiveData.Type.Natural
sFlipOrderingData.Type.Natural.Class.Order, Data.Type.Natural.Class
sFourData.Type.Natural
sFourteenData.Type.Natural
sFromPeanoData.Type.Natural.Builtin
SingData.Type.Natural
singData.Type.Natural
singByProxyData.Type.Natural
singByProxy#Data.Type.Natural
singFun1Data.Type.Natural
singFun2Data.Type.Natural
singFun3Data.Type.Natural
singFun4Data.Type.Natural
singFun5Data.Type.Natural
singFun6Data.Type.Natural
singFun7Data.Type.Natural
singFun8Data.Type.Natural
SingFunction1Data.Type.Natural
SingFunction2Data.Type.Natural
SingFunction3Data.Type.Natural
SingFunction4Data.Type.Natural
SingFunction5Data.Type.Natural
SingFunction6Data.Type.Natural
SingFunction7Data.Type.Natural
SingFunction8Data.Type.Natural
SingIData.Type.Natural
SingInstance 
1 (Data Constructor)Data.Type.Natural
2 (Type/Class)Data.Type.Natural
singInstanceData.Type.Natural
SingKindData.Type.Natural
singThatData.Type.Natural
SixData.Type.Natural
sixData.Type.Natural
SixSym0Data.Type.Natural
SixteenData.Type.Natural
sixteenData.Type.Natural
SixteenSym0Data.Type.Natural
SLambdaData.Type.Natural
sLeqCongData.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqCongLData.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqCongRData.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqReflexiveData.Type.Natural
sMaxData.Type.Natural
sMinData.Type.Natural
sN0Data.Type.Natural
sN1Data.Type.Natural
sN10Data.Type.Natural
sN11Data.Type.Natural
sN12Data.Type.Natural
sN13Data.Type.Natural
sN14Data.Type.Natural
sN15Data.Type.Natural
sN16Data.Type.Natural
sN17Data.Type.Natural
sN18Data.Type.Natural
sN19Data.Type.Natural
sN2Data.Type.Natural
sN20Data.Type.Natural
sN3Data.Type.Natural
sN4Data.Type.Natural
sN5Data.Type.Natural
sN6Data.Type.Natural
sN7Data.Type.Natural
sN8Data.Type.Natural
sN9Data.Type.Natural
SNatData.Type.Natural
snat 
1 (Function)Data.Type.Natural
2 (Function)Data.Type.Natural.Builtin
sNatToIntData.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
snEqZAbsurdData.Type.Natural
sNineData.Type.Natural
sNineteenData.Type.Natural
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
sPred'Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
SSData.Type.Natural
sSevenData.Type.Natural
sSeventeenData.Type.Natural
sSixData.Type.Natural
sSixteenData.Type.Natural
SSym0Data.Type.Natural
SSym1Data.Type.Natural
sTenData.Type.Natural
sThirteenData.Type.Natural
sThreeData.Type.Natural
sToPeanoData.Type.Natural.Builtin
sTwelveData.Type.Natural
sTwentyData.Type.Natural
sTwoData.Type.Natural
SuccData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
succAndPlusOneLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succAndPlusOneRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succCongData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
succInjData.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
succLeqAbsurdData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqAbsurd'Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
SuccLeqSuccData.Type.Natural
succLeqToLTData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqZeroAbsurdData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqZeroAbsurd'Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLneqSuccData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succNonCyclicData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succOneCongData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succPredData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
SZData.Type.Natural
sZero 
1 (Function)Data.Type.Natural
2 (Function)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class