| addLCToLC | Data.Cardinality |
| addPCToLC | Data.Cardinality |
| almostStrictCompare2LCs | Data.Cardinality |
| BoundaryPreciseCardinality | Data.Cardinality |
| CardinalityConstraint | Data.CardinalityRange |
| cardinalityConstraintOf | Data.CardinalityRange |
| cardinalityConstraintOfT | Data.CardinalityRange |
| CardinalityRange | Data.CardinalityRange |
| cardinalityRange | Data.CardinalityRange |
| CardinalityRange_From | Data.CardinalityRange |
| CardinalityRange_To | Data.CardinalityRange |
| CardinalityRefinementState | Data.Cardinality |
| cardOf | Data.Cardinality |
| cardOfT | Data.Cardinality |
| cardOf_EmptySet | Data.Cardinality |
| cardOf_Identity1 | Data.Cardinality |
| cardOf_List | Data.Cardinality |
| cardOf_Map | Data.Cardinality |
| cardOf_Maybe | Data.Cardinality |
| cardOf_NeverEmptyList | Data.Cardinality |
| cardOf_Unity | Data.Cardinality |
| cFitsIn | Data.CardinalityRange |
| cFitsInCC | Data.CardinalityRange |
| cFitsInCR | Data.CardinalityRange |
| cFitsInCR_Proto | Data.CardinalityRange |
| cFitsInT | Data.CardinalityRange |
| compare2CRs | Data.CardinalityRange |
| Compare2CRsError | Data.CardinalityRange |
| compare2Refinements | Data.Cardinality |
| ContinueCounting_DoWe | Data.Cardinality |
| ContinueRefiningCardinalityUntil | Data.Cardinality |
| cr0 | Data.CardinalityRange |
| cr0_1 | Data.CardinalityRange |
| cr0_Inf | Data.CardinalityRange |
| cr1 | Data.CardinalityRange |
| cr1_Inf | Data.CardinalityRange |
| cr2Tuple | Data.CardinalityRange |
| crFitsInCR | Data.CardinalityRange |
| crNoConstraint | Data.CardinalityRange |
| crsRefinementStep | Data.Cardinality |
| crX | Data.CardinalityRange |
| crXY | Data.CardinalityRange |
| CurrentNotFinalPreciseCardinality | Data.Cardinality |
| EmptySet | |
| 1 (Type/Class) | Data.EmptySet |
| 2 (Data Constructor) | Data.EmptySet |
| equalize2Refinements | Data.Cardinality |
| EqualSets | Data.Intersectable |
| First | Data.CardinalityRange |
| FirstInSecond | Data.Intersectable |
| FirstOrSecond | Data.CardinalityRange |
| fitsIn | Data.CardinalityRange |
| fitsInCC | Data.CardinalityRange |
| fitsInCC_T | Data.CardinalityRange |
| fitsInCR | Data.CardinalityRange |
| fitsInCR_T | Data.CardinalityRange |
| fitsInT | Data.CardinalityRange |
| HasCard | Data.Cardinality |
| HasCardConstr | Data.CardinalityRange |
| HasCardConstrT | Data.CardinalityRange |
| HasCardT | Data.Cardinality |
| HasCardUCT | Data.CardinalityRange |
| HasCardUCT_T | Data.CardinalityRange |
| infiniteC | Data.Cardinality |
| Intersectable | Data.Intersectable |
| Intersection | Data.Intersectable |
| LazyCardinality | Data.Cardinality |
| lazyCompare2LCs | Data.Cardinality |
| lazyIsZeroLC | Data.Cardinality |
| lazyVerfyCR | Data.CardinalityRange |
| length2 | Data.Cardinality |
| list2nel | Data.NeverEmptyList |
| LowerBoundaryAfterHigher | Data.CardinalityRange |
| NEL | Data.NeverEmptyList |
| nel2List | Data.NeverEmptyList |
| nelSingleton | Data.NeverEmptyList |
| NeverEmptyList | Data.NeverEmptyList |
| NoIntersection | Data.Intersectable |
| preciseC | Data.Cardinality |
| PreciseCardinality | Data.Cardinality |
| refinableC | Data.Cardinality |
| refineCRS_Till | Data.Cardinality |
| refineCRS_TillEnd | Data.Cardinality |
| refineCRS_TillOneAbove | Data.Cardinality |
| refineCRS_TillOneBelow | Data.Cardinality |
| refinementState | Data.Cardinality |
| refinementStep | Data.Cardinality |
| refineTill | Data.Cardinality |
| refineTillEnd | Data.Cardinality |
| refineTillOneAbove | Data.Cardinality |
| refineTillOneBelow | Data.Cardinality |
| sContTrans | Data.CardinalityRange |
| sContTransT | Data.CardinalityRange |
| Second | Data.CardinalityRange |
| SecondInFirst | Data.Intersectable |
| setFits | Data.Intersectable |
| SetsFit | Data.Intersectable |
| showLazy | Data.Cardinality |
| showStrict | Data.Cardinality |
| sumLCs | Data.Cardinality |
| TransformError_Details | Data.CardinalityRange |
| TransformError_FromTypeName | Data.CardinalityRange |
| TransformError_ToTypeName | Data.CardinalityRange |
| uContError | Data.CardinalityRange |
| uContErrorT | Data.CardinalityRange |
| uContTrans | Data.CardinalityRange |
| uContTransT | Data.CardinalityRange |