Data.IntervalSet

IntervalSet type

data IntervalSet r

type EndPoint r

Construction

whole

empty

singleton

Query

null

member

notMember

isSubsetOf

isProperSubsetOf

span

Construction

complement

insert

delete

Combine

union

unions

intersection

intersections

difference

Conversion

List

fromList

toList

Ordered list

toAscList

toDescList

fromAscList