Data.Ranged.RangedSet

Ranged Set Type

data RSet v

rSetRanges

Ranged Set construction functions and their preconditions

makeRangedSet

unsafeRangedSet

validRangeList

normaliseRangeList

rSingleton

rSetUnfold

Predicates

rSetIsEmpty

rSetIsFull

rSetHas

(-?-)

rSetIsSubset

(-<=-)

rSetIsSubsetStrict

(-<-)

Set Operations

rSetUnion

(-\/-)

rSetIntersection

(-/\-)

rSetDifference

(-!-)

rSetNegation

Useful Sets

rSetEmpty

rSetFull

QuickCheck Properties

Construction

prop_validNormalised

prop_has

prop_unfold

Basic Operations

prop_union

prop_intersection

prop_difference

prop_negation

prop_not_empty

Some Identities and Inequalities

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