incr_dom v0.14.0 · OCaml Package

val of_set : 
  ('k, 'cmp) Core_kernel.Set.t Incr.t ->
  ('k, unit, 'cmp) Core_kernel.Map.t Incr.t

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) ->
  ?update:(key:'k -> old_data:'v -> new_data:'v -> 'acc -> 'acc) ->
  ?specialized_initial:(init:'acc -> ('k, 'v, 'cmp) Core_kernel.Map.t -> 'acc) ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t ->
  init:'acc ->
  add:(key:'k -> data:'v -> 'acc -> 'acc) ->
  remove:(key:'k -> data:'v -> 'acc -> 'acc) ->
  'acc Incr.t

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 ->
      [ `Both of 'v1 * 'v2 | `Left of 'v1 | `Right of 'v2 ] ->
      'v3 option) ->
  ('k, 'v3, 'cmp) Core_kernel.Map.t Incr.t

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

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

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

val keys : 
  ('k, 'v, 'c) Core_kernel.Map.t Incr.t ->
  ('k, 'c) Core_kernel.Set.t Incr.t

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

val subrange_by_rank : 
  ?data_equal:('v -> 'v -> bool) ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t ->
  (int Core_kernel.Maybe_bound.As_lower_bound.t
   * int Core_kernel.Maybe_bound.As_upper_bound.t)
    Incr.t ->
  ('k, 'v, 'cmp) Core_kernel.Map.t Incr.t

val index_by : 
  ('inner_key, 'v, 'inner_cmp) Core_kernel.Map.t Incr.t ->
  comparator:('outer_key, 'outer_cmp) Core_kernel.Map.comparator ->
  index:('v -> 'outer_key option) ->
  ('outer_key, ('inner_key, 'v, 'inner_cmp) Core_kernel.Map.t, 'outer_cmp)
    Core_kernel.Map.t
    Incr.t

val unordered_fold_nested_maps : 
  ?data_equal:('v -> 'v -> bool) ->
  ?update:
    (outer_key:'outer_key ->
      inner_key:'inner_key ->
      old_data:'v ->
      new_data:'v ->
      'acc ->
      'acc) ->
  ('outer_key, ('inner_key, 'v, 'inner_cmp) Core_kernel.Map.t, 'outer_cmp)
    Core_kernel.Map.t
    Incr.t ->
  init:'acc ->
  add:(outer_key:'outer_key -> inner_key:'inner_key -> data:'v -> 'acc -> 'acc) ->
  remove:
    (outer_key:'outer_key -> inner_key:'inner_key -> data:'v -> 'acc -> 'acc) ->
  'acc Incr.t

val transpose : 
  ?data_equal:('v -> 'v -> bool) ->
  ('k2, 'k2_cmp) Core_kernel.Map.comparator ->
  ('k1, ('k2, 'v, 'k2_cmp) Core_kernel.Map.t, 'k1_cmp) Core_kernel.Map.t Incr.t ->
  ('k2, ('k1, 'v, 'k1_cmp) Core_kernel.Map.t, 'k2_cmp) Core_kernel.Map.t Incr.t

module Lookup : sig ... end

module For_testing : sig ... end

package incr_dom