plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Fs_impl . Make

Parameters

Signature

module Name = Name
type name = Name.t
module Path : sig ... end
type view = Node_type.view
type raw_cursor = Cursor.t
type cursor = {
cur : Cursor.t;
rev_path : Name.t list;
}
type hash = Hash.Prefix.t
type error = MakeError(Path).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 Segment.t
| Other of string * string
type Error.t +=
| FS_error of error
val error_fs : error -> ( 'a, Error.t ) Stdlib.result
val make : Cursor.t -> Name.t list -> cursor
val empty : Context.t -> cursor
val get_raw_cursor : cursor -> Cursor.t
val get_view : cursor -> cursor * Node_type.view
val context : cursor -> 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 * (Index.t * Hash.Prefix.t), Error.t ) Stdlib.result