Data.IntervalMap.Strict

Strictness properties

IntervalMap type

data IntervalMap r a

type EndPoint r

Operators

(!)

(\\)

Query

null

member

notMember

lookup

findWithDefault

span

Construction

whole

empty

singleton

Insertion

insert

insertWith

Delete/Update

delete

adjust

update

alter

Combine

union

unionWith

unions

unionsWith

intersection

intersectionWith

difference

Traversal

map

mapKeysMonotonic

Conversion

elems

keys

assocs

keysSet

List

fromList

fromListWith

toList

Ordered List

toAscList

toDescList

Filter

filter

split

Submap

isSubmapOf

isSubmapOfBy

isProperSubmapOf

isProperSubmapOfBy