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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |