Index
| -!- | Data.Ranged.RangedSet, Data.Ranged |
| -/\- | Data.Ranged.RangedSet, Data.Ranged |
| -<- | Data.Ranged.RangedSet, Data.Ranged |
| -<=- | Data.Ranged.RangedSet, Data.Ranged |
| -?- | Data.Ranged.RangedSet, Data.Ranged |
| -\/- | Data.Ranged.RangedSet, Data.Ranged |
| />/ | Data.Ranged.Boundaries, Data.Ranged |
| above | Data.Ranged.Boundaries, Data.Ranged |
| adjacent | Data.Ranged.Boundaries, Data.Ranged |
| adjacentBelow | Data.Ranged.Boundaries, Data.Ranged |
| Boundary | Data.Ranged.Boundaries, Data.Ranged |
| BoundaryAbove | Data.Ranged.Boundaries, Data.Ranged |
| BoundaryAboveAll | Data.Ranged.Boundaries, Data.Ranged |
| BoundaryBelow | Data.Ranged.Boundaries, Data.Ranged |
| BoundaryBelowAll | Data.Ranged.Boundaries, Data.Ranged |
| boundedAdjacent | Data.Ranged.Boundaries, Data.Ranged |
| boundedBelow | Data.Ranged.Boundaries, Data.Ranged |
| DiscreteOrdered | Data.Ranged.Boundaries, Data.Ranged |
| emptyRange | Data.Ranged.Ranges, Data.Ranged |
| enumAdjacent | Data.Ranged.Boundaries, Data.Ranged |
| fullRange | Data.Ranged.Ranges, Data.Ranged |
| makeRangedSet | Data.Ranged.RangedSet, Data.Ranged |
| normaliseRangeList | Data.Ranged.RangedSet, Data.Ranged |
| prop_de_morgan_intersection | Data.Ranged.RangedSet, Data.Ranged |
| prop_de_morgan_union | Data.Ranged.RangedSet, Data.Ranged |
| prop_difference | Data.Ranged.RangedSet, Data.Ranged |
| prop_differenceRange | Data.Ranged.Ranges, Data.Ranged |
| prop_diff_intersect | Data.Ranged.RangedSet, Data.Ranged |
| prop_empty | Data.Ranged.RangedSet, Data.Ranged |
| prop_emptyNonSingleton | Data.Ranged.Ranges, Data.Ranged |
| prop_empty_intersection | Data.Ranged.RangedSet, Data.Ranged |
| prop_enclosureUnion | Data.Ranged.Ranges, Data.Ranged |
| prop_full | Data.Ranged.RangedSet, Data.Ranged |
| prop_fullNonSingleton | Data.Ranged.Ranges, Data.Ranged |
| prop_full_union | Data.Ranged.RangedSet, Data.Ranged |
| prop_has | Data.Ranged.RangedSet, Data.Ranged |
| prop_intersection | Data.Ranged.RangedSet, Data.Ranged |
| prop_intersectionOverlap | Data.Ranged.Ranges, Data.Ranged |
| prop_intersectionRange | Data.Ranged.Ranges, Data.Ranged |
| prop_intersection_associates | Data.Ranged.RangedSet, Data.Ranged |
| prop_intersection_commutes | Data.Ranged.RangedSet, Data.Ranged |
| prop_intersection_subset | Data.Ranged.RangedSet, Data.Ranged |
| prop_intSingleton | Data.Ranged.Ranges, Data.Ranged |
| prop_negation | Data.Ranged.RangedSet, Data.Ranged |
| prop_nonSingleton | Data.Ranged.Ranges, Data.Ranged |
| prop_not_empty | Data.Ranged.RangedSet, Data.Ranged |
| prop_singletonRangeConverse | Data.Ranged.Ranges, Data.Ranged |
| prop_singletonRangeHas | Data.Ranged.Ranges, Data.Ranged |
| prop_singletonRangeHasOnly | Data.Ranged.Ranges, Data.Ranged |
| prop_strict_subset | Data.Ranged.RangedSet, Data.Ranged |
| prop_subset | Data.Ranged.RangedSet, Data.Ranged |
| prop_unfold | Data.Ranged.RangedSet, Data.Ranged |
| prop_union | Data.Ranged.RangedSet, Data.Ranged |
| prop_unionRange | Data.Ranged.Ranges, Data.Ranged |
| prop_unionRangeLength | Data.Ranged.Ranges, Data.Ranged |
| prop_union_associates | Data.Ranged.RangedSet, Data.Ranged |
| prop_union_commutes | Data.Ranged.RangedSet, Data.Ranged |
| prop_union_strict_superset | Data.Ranged.RangedSet, Data.Ranged |
| prop_union_superset | Data.Ranged.RangedSet, Data.Ranged |
| prop_validNormalised | Data.Ranged.RangedSet, Data.Ranged |
| Range | |
| 1 (Type/Class) | Data.Ranged.Ranges, Data.Ranged |
| 2 (Data Constructor) | Data.Ranged.Ranges, Data.Ranged |
| rangeDifference | Data.Ranged.Ranges, Data.Ranged |
| rangeEncloses | Data.Ranged.Ranges, Data.Ranged |
| rangeHas | Data.Ranged.Ranges, Data.Ranged |
| rangeIntersection | Data.Ranged.Ranges, Data.Ranged |
| rangeIsEmpty | Data.Ranged.Ranges, Data.Ranged |
| rangeIsFull | Data.Ranged.Ranges, Data.Ranged |
| rangeListHas | Data.Ranged.Ranges, Data.Ranged |
| rangeLower | Data.Ranged.Ranges, Data.Ranged |
| rangeOverlap | Data.Ranged.Ranges, Data.Ranged |
| rangeSingletonValue | Data.Ranged.Ranges, Data.Ranged |
| rangeUnion | Data.Ranged.Ranges, Data.Ranged |
| rangeUpper | Data.Ranged.Ranges, Data.Ranged |
| RSet | Data.Ranged.RangedSet, Data.Ranged |
| rSetDifference | Data.Ranged.RangedSet, Data.Ranged |
| rSetEmpty | Data.Ranged.RangedSet, Data.Ranged |
| rSetFull | Data.Ranged.RangedSet, Data.Ranged |
| rSetHas | Data.Ranged.RangedSet, Data.Ranged |
| rSetIntersection | Data.Ranged.RangedSet, Data.Ranged |
| rSetIsEmpty | Data.Ranged.RangedSet, Data.Ranged |
| rSetIsFull | Data.Ranged.RangedSet, Data.Ranged |
| rSetIsSubset | Data.Ranged.RangedSet, Data.Ranged |
| rSetIsSubsetStrict | Data.Ranged.RangedSet, Data.Ranged |
| rSetNegation | Data.Ranged.RangedSet, Data.Ranged |
| rSetRanges | Data.Ranged.RangedSet, Data.Ranged |
| rSetUnfold | Data.Ranged.RangedSet, Data.Ranged |
| rSetUnion | Data.Ranged.RangedSet, Data.Ranged |
| rSingleton | Data.Ranged.RangedSet, Data.Ranged |
| singletonRange | Data.Ranged.Ranges, Data.Ranged |
| unsafeRangedSet | Data.Ranged.RangedSet, Data.Ranged |
| validRangeList | Data.Ranged.RangedSet, Data.Ranged |