Module Core_kernel.Univ_map.Make1

Parameters

Data : sig ... end

Signature

type 's t

The 's parameter is shared across all values stored in the map.

include sig ... end
val sexp_of_t : ('s ‑> Sexplib.Sexp.t) ‑> 's t ‑> Sexplib.Sexp.t
type ('s, 'a) data = ('s, 'a) Data.t
val invariant : _ t ‑> Core_kernel__.Import.unit
val empty : _ t
val is_empty : _ t ‑> Core_kernel__.Import.bool
val set : 's t ‑> 'a Key.t ‑> ('s, 'a) data ‑> 's t
val mem : _ t ‑> _ Key.t ‑> Core_kernel__.Import.bool
val mem_by_id : _ t ‑> Key.Uid.t ‑> Core_kernel__.Import.bool
val find : 's t ‑> 'a Key.t ‑> ('s, 'a) data Core_kernel__.Import.option
val find_exn : 's t ‑> 'a Key.t ‑> ('s, 'a) data
val add : 's t ‑> 'a Key.t ‑> ('s, 'a) data ‑> [ `Ok of 's t | `Duplicate ]
val add_exn : 's t ‑> 'a Key.t ‑> ('s, 'a) data ‑> 's t
val change : 's t ‑> 'a Key.t ‑> f:(('s, 'a) data Core_kernel__.Import.option ‑> ('s, 'a) data Core_kernel__.Import.option) ‑> 's t
val change_exn : 's t ‑> 'a Key.t ‑> f:(('s, 'a) data ‑> ('s, 'a) data) ‑> 's t
val update : 's t ‑> 'a Key.t ‑> f:(('s, 'a) data Core_kernel__.Import.option ‑> ('s, 'a) data) ‑> 's t
val remove : 's t ‑> 'a Key.t ‑> 's t
val remove_by_id : 's t ‑> Key.Uid.t ‑> 's t
module Packed : sig ... end
val to_alist : 's t ‑> 's Packed.t Core_kernel__.Import.list