map -package:basement -package:Stream -package:containers package:data-interval
Map a function over all values in the map.
mapMonotonic f i is the image of i under f,
where f must be a strict monotone function.
mapMonotonic f i is the image of i under f,
where f must be a strict monotone function, preserving
negative and positive infinities.
mapKeysMonotonic f s is the map obtained by applying
f to each key of
s.
f must be strictly
monotonic. That is, for any values
x and
y, if
x <
y then
f x <
f y.
A Map from non-empty, disjoint intervals over k to values a.
Unlike
IntervalSet,
IntervalMap never merge adjacent
mappings, even if adjacent intervals are connected and mapped to the
same value.
Is this a proper submap? (ie. a submap but not equal). The expression
(
isProperSubmapOfBy f m1 m2) returns
True when
m1 and
m2 are not equal, all keys in
m1 are
in
m2, and when
f returns
True when applied
to their respective values.
The expression (
isSubmapOfBy f t1 t2) returns
True if all keys in
t1 are in tree
t2, and
when
f returns
True when applied to their respective
values.