úÎ?      Safe-Infered Invariant: For all i in [ 0 ..   - 1 ],  ( i) == i. This implies that for all a of the form  i (with i in [ 0 ..   - 1 ]),  ( a) = a. The behaviour of fromInt' for out-of-bounds indices and that of toInt; for elements not occuring in the numbering is undefined.  enumNu a b% creates a numbering of the elements [a .. b] (inclusively). enumNu' i j% creates a numbering of the elements [toEnum i .. toEnum j] (inclusively). Creates a numbering for an 4-like type, given numberings for the summand types. UCreates a numbering for an pair-like type, given numberings for the component types. (Uses a  because Data.Set doesn'(t expose the necessary index-based API) KThe distinctness precondition is checked (we have to create a map anyway). +Allows customization of the map type used. See . @Uniquifies the input first (resulting in an unspecified order). @Uniquifies the input first (resulting in an unspecified order). @Uniquifies the input first (resulting in an unspecified order). Identity numbering    equivalent ! equivalent " equivalent # equivalent $ equivalent (,) equivalent % equivalent & equivalent ' equivalent The   ()    ()*      !"#$ % & '()(*"#+"#,"#-./0 numbering-0.2Data.Numbering!NumberingBrokenInvariantException nbie_indexnbie_fromIntOfIndexnbie_toIntOfFromIntOfIndex NumberingUnsafeMkNumberingtoIntfromIntnuLengthenumNuenumNu'sumNueitherNuprodNupairNu nuIndices nuElementscheckNu nuFromSetnuFromDistinctVectornuFromDistinctVectorGnuFromDistinctListnuFromDistinctUnboxListnuFromDistinctIntList nuFromListnuFromUnboxList nuFromIntList finiteTypeNuidNubase Data.EitherEithercontainers-0.4.2.1Data.MapMapLeftRighteither Data.Tuplefstsndempty insertWithKeylookup,$fExceptionNumberingBrokenInvariantException$fShowNumbering