incr_map v0.9.0 · OCaml Package

Parameters

module Incr : Incremental_kernel.Incremental.S_without_times

Signature

val filter_mapi : 
  ?data_equal:('v1 -> 'v1 -> bool) ->
  ('k, 'v1, 'cmp) Core_kernel.Map.t Incr.t ->
  f:(key:'k -> data:'v1 -> 'v2 option) ->
  ('k, 'v2, 'cmp) Core_kernel.Map.t Incr.t

val mapi : 
  ?data_equal:('v1 -> 'v1 -> bool) ->
  ('k, 'v1, 'cmp) Core_kernel.Map.t Incr.t ->
  f:(key:'k -> data:'v1 -> 'v2) ->
  ('k, 'v2, 'cmp) Core_kernel.Map.t Incr.t

val filter_mapi' : 
  ?cutoff:'v1 Incr.Cutoff.t ->
  ?data_equal:('v1 -> 'v1 -> bool) ->
  ('k, 'v1, 'cmp) Core_kernel.Map.t Incr.t ->
  f:(key:'k -> data:'v1 Incr.t -> 'v2 option Incr.t) ->
  ('k, 'v2, 'cmp) Core_kernel.Map.t Incr.t

val mapi' : 
  ?cutoff:'v1 Incr.Cutoff.t ->
  ?data_equal:('v1 -> 'v1 -> bool) ->
  ('k, 'v1, 'cmp) Core_kernel.Map.t Incr.t ->
  f:(key:'k -> data:'v1 Incr.t -> 'v2 Incr.t) ->
  ('k, 'v2, 'cmp) Core_kernel.Map.t Incr.t

val unordered_fold : 
  ?data_equal:('v -> 'v -> bool) ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t ->
  init:'acc ->
  f:(key:'k -> data:'v -> 'acc -> 'acc) ->
  f_inverse:(key:'k -> data:'v -> 'acc -> 'acc) ->
  'acc Incr.t

unordered_fold i ~init ~f ~f_inverse constructs a more incremental version of:

let%map m = i in
Map.fold m ~init ~f

assuming that f_inverse is the inverse of f, and that the operations for different keys can be performed in any order. Note that data_equal defaults to phys_equal, but a more precise equality can be provided instead.

val merge : 
  ?data_equal_left:('v1 -> 'v1 -> bool) ->
  ?data_equal_right:('v2 -> 'v2 -> bool) ->
  ('k, 'v1, 'cmp) Core_kernel.Map.t Incr.t ->
  ('k, 'v2, 'cmp) Core_kernel.Map.t Incr.t ->
  f:
    (key:'k ->
      [ `Left of 'v1 | `Right of 'v2 | `Both of 'v1 * 'v2 ] ->
      'v3 option) ->
  ('k, 'v3, 'cmp) Core_kernel.Map.t Incr.t

Like merge in Base.Map.merge. Note that f is called at most once per key in any given stabilization.

val flatten : 
  ('k, 'v Incr.t, 'cmp) Core_kernel.Map.t ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t

This is the "easy" version of map_join

val join : 
  ('k, 'v Incr.t, 'cmp) Core_kernel.Map.t Incr.t ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t

The non-incremental semantics of this function is the identity function. Its purpose is to collapse the extra level of incrementality at the level of the data of the map.

val subrange : 
  ?data_equal:('v -> 'v -> bool) ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t ->
  ('k * 'k) option Incr.t ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t

subrange map (min, max) constructs an incremental submap that includes all of the keys and data from map between min and max, inclusive, and none of the keys outside the range.

subrange map None is the empty map. range being None means no elements are chosen.

Note that incremental changes have a runtime of O((k + m) log n) where k is the size of the changes to the underlying map and m is the size of the changes to the elements contained by the range. The complexity of the initial computation is the same as the incremental computation, with some simplification. k = 0 because we have not made any changes to the underlying map yet, and m equals the size of the range, because the initial range is empty.

package incr_map

Parameters

Signature