Module Io_helpers.Key_mapSource

Maps from string lists to bytes. No balancing. A key cannot be a prefix or a suffix to another key.

Sourcetype 'a t =
  1. | Leaf of 'a
  2. | Node of 'a t String_map.t
Sourceexception Collision_with_prefix
Sourceexception Collision_with_suffix
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval insert : string list -> 'a -> 'a t -> 'a t
Sourceval does_not_collide : String_map.key list -> 'a t -> [> `Key_does_not_collide | `Key_exists | `Key_has_prefix | `Key_has_suffix ]
Sourceval mem : String_map.key list -> 'a t -> bool
Sourceval find_opt : String_map.key list -> 'a t -> 'a option
Sourceval of_seq : (string list * 'a) Tezos_base.TzPervasives.Seq.t -> 'a t
Sourceval fold_lwt : (String_map.key list -> 'a -> 'b -> 'b Lwt.t) -> 'a t -> 'b -> 'b Lwt.t
Sourceval sample_uniform : 'a t -> (String_map.key list * 'a) option
Sourceval encoding : 'a Tezos_base.TzPervasives.Data_encoding.encoding -> 'a t Tezos_base.TzPervasives.Data_encoding.encoding