Module Ambient_contextSource

include module type of struct include Ambient_context_core end
Sourceval get_current_storage : unit -> Storage.t
Sourceval set_current_storage : Storage.t -> unit

Functions operating with the current storage

Sourceval get_context : unit -> Ambient_context_core.Context.t

Get the context from the current storage, or Hmap.empty if there is no ambient context.

Sourceval with_context : Ambient_context_core.Context.t -> (unit -> 'a) -> 'a

with_context ctx f calls f() in an ambient context in which get_context() will return ctx. Once f() returns, the storage is reset to its previous value.

Sourceval get : 'a Context.key -> 'a option

Get the ambient context and then look up k in it

Sourceval new_key : unit -> 'a Context.key

Create a new key

Sourceval with_key_bound_to : 'a Hmap.key -> 'a -> (unit -> 'b) -> 'b

with_key_bound_to storage k v f calls f() in a context updated to have k map to v.

Sourceval with_key_unbound : 'a Hmap.key -> (unit -> 'b) -> 'b

with_key_unbound k f calls f() in a context updated to have k bound to no value.