Data.Ranged.Ranges
data Range v
emptyRange
fullRange
rangeIsEmpty
rangeIsFull
rangeOverlap
rangeEncloses
rangeSingletonValue
rangeHas
rangeListHas
singletonRange
rangeIntersection
rangeUnion
rangeDifference
prop_unionRange
prop_unionRangeLength
prop_intersectionRange
prop_differenceRange
prop_intersectionOverlap
prop_enclosureUnion
prop_singletonRangeHas
prop_singletonRangeHasOnly
prop_singletonRangeConverse
prop_emptyNonSingleton
prop_fullNonSingleton
prop_nonSingleton
prop_intSingleton