package bonsai

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Core_kernel.Univ_map.S1 with module Key = Core_kernel.Univ_map.Type_id_key and type ('w, 'a) data := ('a, 'w) Incremental.t
type 's t
val sexp_of_t : ('s -> Ppx_sexp_conv_lib.Sexp.t) -> 's t -> Ppx_sexp_conv_lib.Sexp.t
module Key : sig ... end
val invariant : 'a t -> Core_kernel__.Import.unit
val empty : 'a t
val is_empty : 'a t -> Core_kernel__.Import.bool
val set : 's t -> 'a Key.t -> ('a, 's) Incremental.t -> 's t
val mem : 'a t -> 'b Key.t -> Core_kernel__.Import.bool
val mem_by_id : 'a t -> Core_kernel__.Type_equal.Id.Uid.t -> Core_kernel__.Import.bool
val find : 's t -> 'a Key.t -> ('a, 's) Incremental.t Core_kernel__.Import.option
val find_exn : 's t -> 'a Key.t -> ('a, 's) Incremental.t
val add : 's t -> 'a Key.t -> ('a, 's) Incremental.t -> [ `Duplicate | `Ok of 's t ]
val add_exn : 's t -> 'a Key.t -> ('a, 's) Incremental.t -> 's t
val change : 's t -> 'a Key.t -> f: (('a, 's) Incremental.t Core_kernel__.Import.option -> ('a, 's) Incremental.t Core_kernel__.Import.option) -> 's t
val change_exn : 's t -> 'a Key.t -> f:(('a, 's) Incremental.t -> ('a, 's) Incremental.t) -> 's t
val update : 's t -> 'a Key.t -> f: (('a, 's) Incremental.t Core_kernel__.Import.option -> ('a, 's) Incremental.t) -> 's t
val remove : 's t -> 'a Key.t -> 's t
val remove_by_id : 's t -> Core_kernel__.Type_equal.Id.Uid.t -> 's t
module Packed : sig ... end
val to_alist : 's t -> 's Packed.t Core_kernel__.Import.list
val of_alist_exn : 's Packed.t Core_kernel__.Import.list -> 's t
OCaml

Innovation. Community. Security.