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

Index - M

MaxData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
maxData.Type.Natural
maxCommData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
maxLeastData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
maxLeqLData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
maxLeqRData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
MaxSym0Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
MaxSym1Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
MaxSym2Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
maxZeroLData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
maxZeroRData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
MinData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
minData.Type.Natural
minCommData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minLargestData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minLeqLData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minLeqRData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minPlusTruncMinusData.Type.Natural.Class.Order, Data.Type.Natural.Class
MinSym0Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
MinSym1Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
MinSym2Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
minusCongData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
minusCongLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
minusCongRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
minusNilpotentData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
minusPlusData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minusSuccData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minusZeroData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
minZeroLData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
minZeroRData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
mkOrdinalQQData.Type.Ordinal
mkSNatQQData.Type.Natural.Class
multAssocData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multCommData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multCongData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural
multCongLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural
multCongRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural
multEqCancelLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multEqCancelRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multEqSuccElimLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multEqSuccElimRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multOneLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multOneRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multPlusDistribData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multSuccLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multSuccRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multZeroLData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
multZeroRData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin