package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cont.MapSource

Sourceval mapi : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v1 -> 'v2) -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval map : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> f:('v1 -> 'v2) -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval of_set : ('k, 'cmp) Core.Set.t Bonsai__.Value.t -> ('k, unit, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval filter_mapi : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v1 -> 'v2 option) -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval filter_map : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> f:('v1 -> 'v2 option) -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval partition_mapi : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v1 -> ('v2, 'v3) Core.Either.t) -> (('k, 'v2, 'cmp) Core.Map.t * ('k, 'v3, 'cmp) Core.Map.t) Bonsai__.Computation.t
Sourceval unordered_fold : ?update:(key:'k -> old_data:'v -> new_data:'v -> 'acc -> 'acc) -> ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> init:'acc -> add:(key:'k -> data:'v -> 'acc -> 'acc) -> remove:(key:'k -> data:'v -> 'acc -> 'acc) -> 'acc Bonsai__.Computation.t
Sourceval unordered_fold_with_extra : ?update:(key:'k -> old_data:'v -> new_data:'v -> 'acc -> 'extra -> 'acc) -> ('k, 'v, 'e) Core.Map.t Bonsai__.Value.t -> 'extra Bonsai__.Value.t -> init:'acc -> add:(key:'k -> data:'v -> 'acc -> 'extra -> 'acc) -> remove:(key:'k -> data:'v -> 'acc -> 'extra -> 'acc) -> extra_changed: (old_extra:'extra -> new_extra:'extra -> input:('k, 'v, 'e) Core.Map.t -> 'acc -> 'acc) -> 'acc Bonsai__.Computation.t
Sourceval cutoff : ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> equal:('v -> 'v -> bool) -> ('k, 'v, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval mapi_count : ('k1, 'v, 'cmp1) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'cmp2 and type t = 'k2) -> f:(key:'k1 -> data:'v -> 'k2) -> ('k2, int, 'cmp2) Core.Map.t Bonsai__.Computation.t
Sourceval map_count : ('k1, 'v, 'cmp1) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'cmp2 and type t = 'k2) -> f:('v -> 'k2) -> ('k2, int, 'cmp2) Core.Map.t Bonsai__.Computation.t
Sourceval mapi_min : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:(key:'k -> data:'v -> 'r) -> 'r option Bonsai__.Computation.t
Sourceval mapi_max : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:(key:'k -> data:'v -> 'r) -> 'r option Bonsai__.Computation.t
Sourceval map_min : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:('v -> 'r) -> 'r option Bonsai__.Computation.t
Sourceval map_max : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:('v -> 'r) -> 'r option Bonsai__.Computation.t
Sourceval min_value : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'v) -> 'v option Bonsai__.Computation.t
Sourceval max_value : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'v) -> 'v option Bonsai__.Computation.t
Sourceval mapi_bounds : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:(key:'k -> data:'v -> 'r) -> ('r * 'r) option Bonsai__.Computation.t
Sourceval map_bounds : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'r) -> f:('v -> 'r) -> ('r * 'r) option Bonsai__.Computation.t
Sourceval value_bounds : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = _ and type t = 'v) -> ('v * 'v) option Bonsai__.Computation.t
Sourceval merge : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> ('v1, 'v2) Core.Map.Merge_element.t -> 'v3 option) -> ('k, 'v3, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval merge_both_some : ('k, 'v1, 'cmp) Core.Map.t Bonsai__.Value.t -> ('k, 'v2, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> 'v1 -> 'v2 -> 'v3) -> ('k, 'v3, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval unzip : ('k, 'a * 'b, 'cmp) Core.Map.t Bonsai__.Value.t -> (('k, 'a, 'cmp) Core.Map.t * ('k, 'b, 'cmp) Core.Map.t) Bonsai__.Computation.t
Sourceval unzip_mapi : ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v -> 'v1 * 'v2) -> (('k, 'v1, 'cmp) Core.Map.t * ('k, 'v2, 'cmp) Core.Map.t) Bonsai__.Computation.t
Sourceval keys : ('k, 'v, 'c) Core.Map.t Bonsai__.Value.t -> ('k, 'c) Core.Set.t Bonsai__.Computation.t
Sourceval rank : ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> 'k Bonsai__.Value.t -> int option Bonsai__.Computation.t
Sourceval subrange : ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> ('k Core.Maybe_bound.As_lower_bound.t * 'k Core.Maybe_bound.As_upper_bound.t) option Bonsai__.Value.t -> ('k, 'v, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval subrange_by_rank : ('k, 'v, 'cmp) Core.Map.t Bonsai__.Value.t -> (int Core.Maybe_bound.As_lower_bound.t * int Core.Maybe_bound.As_upper_bound.t) Bonsai__.Value.t -> ('k, 'v, 'cmp) Core.Map.t Bonsai__.Computation.t
Sourceval rekey : ('k1, 'v, 'cmp1) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'cmp2 and type t = 'k2) -> f:(key:'k1 -> data:'v -> 'k2) -> ('k2, 'v, 'cmp2) Core.Map.t Bonsai__.Computation.t
Sourceval index_byi : ('inner_key, 'v, 'inner_cmp) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'outer_cmp and type t = 'outer_key) -> index:(key:'inner_key -> data:'v -> 'outer_key option) -> ('outer_key, ('inner_key, 'v, 'inner_cmp) Core.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Computation.t
Sourceval index_by : ('inner_key, 'v, 'inner_cmp) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'outer_cmp and type t = 'outer_key) -> index:('v -> 'outer_key option) -> ('outer_key, ('inner_key, 'v, 'inner_cmp) Core.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Computation.t
Sourceval unordered_fold_nested_maps : ?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.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Value.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 Bonsai__.Computation.t
Sourceval transpose : (module Bonsai__.Module_types.Comparator with type comparator_witness = 'k2_cmp and type t = 'k2) -> ('k1, ('k2, 'v, 'k2_cmp) Core.Map.t, 'k1_cmp) Core.Map.t Bonsai__.Value.t -> ('k2, ('k1, 'v, 'k1_cmp) Core.Map.t, 'k2_cmp) Core.Map.t Bonsai__.Computation.t
Sourceval collapse : ('outer_key, ('inner_key, 'v, 'inner_cmp) Core.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Value.t -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'inner_cmp and type t = 'inner_key) -> ('outer_key * 'inner_key, 'v, ('outer_cmp, 'inner_cmp) Core.Tuple2.comparator_witness) Core.Map.t Bonsai__.Computation.t
Sourceval collapse_by : ('outer_key, ('inner_key, 'v, 'inner_cmp) Core.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Value.t -> merge_keys:('outer_key -> 'inner_key -> 'combined_key) -> comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'combined_cmp and type t = 'combined_key) -> ('combined_key, 'v, 'combined_cmp) Core.Map.t Bonsai__.Computation.t
Sourceval expand : ('outer_key * 'inner_key, 'v, 'tuple_cmp) Core.Map.t Bonsai__.Value.t -> outer_comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'outer_cmp and type t = 'outer_key) -> inner_comparator: (module Bonsai__.Module_types.Comparator with type comparator_witness = 'inner_cmp and type t = 'inner_key) -> ('outer_key, ('inner_key, 'v, 'inner_cmp) Core.Map.t, 'outer_cmp) Core.Map.t Bonsai__.Computation.t
Sourceval counti : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v -> bool) -> int Bonsai__.Computation.t
Sourceval count : (_, 'v, _) Core.Map.t Bonsai__.Value.t -> f:('v -> bool) -> int Bonsai__.Computation.t
Sourceval for_alli : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v -> bool) -> bool Bonsai__.Computation.t
Sourceval for_all : (_, 'v, _) Core.Map.t Bonsai__.Value.t -> f:('v -> bool) -> bool Bonsai__.Computation.t
Sourceval existsi : ('k, 'v, _) Core.Map.t Bonsai__.Value.t -> f:(key:'k -> data:'v -> bool) -> bool Bonsai__.Computation.t
Sourceval exists : (_, 'v, _) Core.Map.t Bonsai__.Value.t -> f:('v -> bool) -> bool Bonsai__.Computation.t
Sourceval sum : (_, 'v, _) Core.Map.t Bonsai__.Value.t -> (module Abstract_algebra.Commutative_group.Without_sexp with type t = 'u) -> f:('v -> 'u) -> 'u Bonsai__.Computation.t