numbering-0.2: Combinators for creating bijections from some type to the natural numbers.

Index

checkNuData.Numbering
eitherNuData.Numbering
enumNuData.Numbering
enumNu'Data.Numbering
finiteTypeNuData.Numbering
fromIntData.Numbering
idNuData.Numbering
nbie_fromIntOfIndexData.Numbering
nbie_indexData.Numbering
nbie_toIntOfFromIntOfIndexData.Numbering
nuElementsData.Numbering
nuFromDistinctIntListData.Numbering
nuFromDistinctListData.Numbering
nuFromDistinctUnboxListData.Numbering
nuFromDistinctVectorData.Numbering
nuFromDistinctVectorGData.Numbering
nuFromIntListData.Numbering
nuFromListData.Numbering
nuFromSetData.Numbering
nuFromUnboxListData.Numbering
nuIndicesData.Numbering
nuLengthData.Numbering
NumberingData.Numbering
NumberingBrokenInvariantException 
1 (Type/Class)Data.Numbering
2 (Data Constructor)Data.Numbering
pairNuData.Numbering
prodNuData.Numbering
sumNuData.Numbering
toIntData.Numbering
UnsafeMkNumberingData.Numbering