fin-0.0.2: Nat and Fin: peano naturals and finite numbers

Index

absurdData.Fin
appendData.Fin
boringData.Fin
cata 
1 (Function)Data.Nat, Data.Type.Nat
2 (Function)Data.Fin
EnumData.Fin.Enum
EnumSizeData.Fin.Enum
EqNatData.Type.Nat
eqNatData.Type.Nat
explicitShow 
1 (Function)Data.Nat, Data.Type.Nat
2 (Function)Data.Fin
explicitShowsPrec 
1 (Function)Data.Nat, Data.Type.Nat
2 (Function)Data.Fin
FinData.Fin
fin0Data.Fin
fin1Data.Fin
fin2Data.Fin
fin3Data.Fin
fin4Data.Fin
fin5Data.Fin
fin6Data.Fin
fin7Data.Fin
fin8Data.Fin
fin9Data.Fin
fromData.Fin.Enum
FromGHCData.Type.Nat
fromNatData.Fin
fromNaturalData.Nat, Data.Type.Nat
GEnumSizeData.Fin.Enum
GFromData.Fin.Enum
gfromData.Fin.Enum
GToData.Fin.Enum
gtoData.Fin.Enum
inductionData.Type.Nat
induction1Data.Type.Nat
InlineInductionData.Type.Nat
inlineInductionData.Type.Nat
inlineInduction1Data.Type.Nat
inlineUniverseData.Fin
inlineUniverse1Data.Fin
inverseData.Fin
MultData.Type.Nat
NatData.Nat, Data.Type.Nat
Nat0Data.Type.Nat
nat0Data.Nat, Data.Type.Nat
Nat1Data.Type.Nat
nat1Data.Nat, Data.Type.Nat
Nat2Data.Type.Nat
nat2Data.Nat, Data.Type.Nat
Nat3Data.Type.Nat
nat3Data.Nat, Data.Type.Nat
Nat4Data.Type.Nat
nat4Data.Nat, Data.Type.Nat
Nat5Data.Type.Nat
nat5Data.Nat, Data.Type.Nat
Nat6Data.Type.Nat
nat6Data.Nat, Data.Type.Nat
Nat7Data.Type.Nat
nat7Data.Nat, Data.Type.Nat
Nat8Data.Type.Nat
nat8Data.Nat, Data.Type.Nat
Nat9Data.Type.Nat
nat9Data.Nat, Data.Type.Nat
PlusData.Type.Nat
proofMultNOneData.Type.Nat
proofMultNZeroData.Type.Nat
proofMultOneNData.Type.Nat
proofMultZeroNData.Type.Nat
proofPlusNZeroData.Type.Nat
proofPlusZeroNData.Type.Nat
reflectData.Type.Nat
reflectToNumData.Type.Nat
reifyData.Type.Nat
S 
1 (Data Constructor)Data.Nat, Data.Type.Nat
2 (Data Constructor)Data.Fin
SNatData.Type.Nat
snatData.Type.Nat
SNatIData.Type.Nat
snatToNatData.Type.Nat
snatToNaturalData.Type.Nat
splitData.Fin
SSData.Type.Nat
SZData.Type.Nat
toData.Fin.Enum
ToGHCData.Type.Nat
toIntegerData.Fin
toNatData.Fin
toNatural 
1 (Function)Data.Nat, Data.Type.Nat
2 (Function)Data.Fin
unfoldedFixData.Type.Nat
universeData.Fin
universe1Data.Fin
weakenLeftData.Fin
weakenRightData.Fin
Z 
1 (Data Constructor)Data.Nat, Data.Type.Nat
2 (Data Constructor)Data.Fin