Ranged-sets-0.3.0: Ranged sets for Haskell

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