Data.Ranged.RangedSet
data RSet v
rSetRanges
makeRangedSet
unsafeRangedSet
validRangeList
normaliseRangeList
rSingleton
rSetUnfold
rSetIsEmpty
rSetIsFull
(-?-)
rSetHas
(-<=-)
rSetIsSubset
(-<-)
rSetIsSubsetStrict
(-\/-)
rSetUnion
(-/\-)
rSetIntersection
(-!-)
rSetDifference
rSetNegation
rSetEmpty
rSetFull
prop_validNormalised
prop_has
prop_unfold
prop_union
prop_intersection
prop_difference
prop_negation
prop_not_empty
prop_empty
prop_full
prop_empty_intersection
prop_full_union
prop_union_superset
prop_intersection_subset
prop_diff_intersect
prop_subset
prop_strict_subset
prop_union_strict_superset
prop_intersection_commutes
prop_union_commutes
prop_intersection_associates
prop_union_associates
prop_de_morgan_intersection
prop_de_morgan_union