Helper module for IntervalMap.
Function or value | Description |
Full Usage:
add i v arg3
Parameters:
AddrRange
v : 'a
arg2 : IntervalMap<'a>
Returns: IntervalMap<'a>
|
|
Full Usage:
addByTuple (il, ih) v m
Parameters:
Addr
ih : Addr
v : 'a
m : IntervalMap<'a>
Returns: IntervalMap<'a>
|
|
Full Usage:
addOrReplace i v m
Parameters:
AddrRange
v : 'a
m : IntervalMap<'a>
Returns: IntervalMap<'a>
|
Add a new mapping to the IntervalMap when there is no exactly matching interval. If there is, replace the mapping with the new value.
|
|
|
|
|
|
|
Full Usage:
findAll range arg2
Parameters:
AddrRange
arg1 : IntervalMap<'a>
Returns: IntervalMapElem<'a> list
|
|
Full Usage:
fold fn acc arg3
Parameters:
'b -> AddrRange -> 'a -> 'b
acc : 'b
arg2 : IntervalMap<'a>
Returns: 'b
|
|
Full Usage:
includeRange range arg2
Parameters:
AddrRange
arg1 : IntervalMap<'a>
Returns: bool
|
|
|
|
|
|
|
|
Full Usage:
replace i v arg3
Parameters:
AddrRange
v : 'a
arg2 : IntervalMap<'a>
Returns: IntervalMap<'a>
|
|
|
|
Full Usage:
tryFindByMin addr arg2
Parameters:
Addr
arg1 : IntervalMap<'a>
Returns: 'a option
|
|