plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia.test_utils
module Name : sig ... end
type name = Name.t
module Path : sig ... end
type raw_cursor = Plebeia.Cursor.t
type cursor = {
cur : Plebeia.Cursor.t;
rev_path : Name.t list;
}
type error =
| Is_file of string * Path.t
| Is_directory of string * Path.t
| No_such_file_or_directory of string * Path.t
| File_or_directory_exists of string * Path.t
| Path_decode_failure of Plebeia.Segment.t
| Other of string * string
type Plebeia.Error.t +=
| FS_error of error
val error_fs : error -> ( 'a, Plebeia.Error.t ) Stdlib.result
val make : Plebeia.Cursor.t -> Name.t list -> cursor
val empty : Plebeia.Context.t -> cursor
val get_raw_cursor : cursor -> Plebeia.Cursor.t
val context : cursor -> Plebeia.Context.t
val split : 'a list -> 'a list * 'a
module Op : sig ... end
module Op_lwt : sig ... end
module Merkle_proof : sig ... end
module Vc : sig ... end
val write_top_cursor : cursor -> ( cursor * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t ) Stdlib.result