plebeia

Functional storage using Merkle Patricia tree
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Key
type t
val encoding : t Data_encoding.t
type gside =
| Left
| Right
| Bud
val empty : t
val of_segments : Segment.t list -> t

Assumes the segments start from a Bud

val to_segments : t -> [> `From_Bud of Segment.t list | `From_non_Bud of Segment.t list ]
val of_path : Path.t -> t
val to_path : t -> Path.t option
val is_empty : t -> bool
val cut : t -> (gside * t) option
val cons : gside -> t -> t
val has_prefix : Segment.t -> t -> t option

has_prefix seg k returns Some postfix when seg is a prefix of k and the postfix is postfix

val is_prefix : t -> Segment.t -> Segment.t option

is_prefix k seg returns Some postfix when k is a prefix of seg and the postfix is postfix

val to_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val keys : ( Node_type.t -> Node_type.view ) -> Node_type.t -> t list

List all the keys of the node