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