Module Make.ContextSource

View over the context store, restricted to types, access and functional manipulation of an existing context.

Sourcetype t
Sourcetype key = string list

Keys in (kex x value) database implementations

Sourcetype value = bytes

Values in (kex x value) database implementations

Sourceval mem : t -> key -> bool Lwt.t
Sourceval dir_mem : t -> key -> bool Lwt.t
Sourceval get : t -> key -> value option Lwt.t
Sourceval set : t -> key -> value -> t Lwt.t
Sourceval copy : t -> from:key -> to_:key -> t option Lwt.t

copy returns None if the from key is not bound

Sourceval remove_rec : t -> key -> t Lwt.t
Sourcetype key_or_dir = [
  1. | `Key of key
  2. | `Dir of key
]
Sourceval fold : t -> key -> init:'a -> f:(key_or_dir -> 'a -> 'a Lwt.t) -> 'a Lwt.t
Sourceval keys : t -> key -> key list Lwt.t
Sourceval fold_keys : t -> key -> init:'a -> f:(key -> 'a -> 'a Lwt.t) -> 'a Lwt.t
Sourceval register_resolver : 'a Base58.encoding -> (t -> string -> 'a list Lwt.t) -> unit
Sourceval complete : t -> string -> string list Lwt.t