Module Stdune.Univ_mapSource

Universal maps

Sourcetype t

A universal map is a map that can store values for arbitrary keys. It is the the key that conveys the type of the data associated to it.

Sourcemodule Key : sig ... end
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : t -> 'a Key.t -> bool
Sourceval set : t -> 'a Key.t -> 'a -> t
Sourceval add : t -> 'a Key.t -> 'a -> (t, 'a) Result.t
Sourceval update : t -> 'a Key.t -> f:('a option -> 'a option) -> t
Sourceval remove : t -> 'a Key.t -> t
Sourceval find : t -> 'a Key.t -> 'a option
Sourceval find_exn : t -> 'a Key.t -> 'a
Sourceval singleton : 'a Key.t -> 'a -> t
Sourceval superpose : t -> t -> t

superpose a b is b augmented with bindings of a that are not in b.

Sourceval to_dyn : t -> Dyn.t