plebeia

Functional storage using Merkle Patricia tree
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia.test_utils
Module Test_utils . Fs_simulation . WithSimulation . Op
type 'a t = cursor -> ( cursor * 'a, Plebeia.Error.t ) Stdlib.result
val fail : error -> 'a -> ( 'b, Plebeia.Error.t ) Stdlib.result
val get_raw_cursor : 'a -> 'b
val get_real_cursor : F.cursor -> Plebeia.Cursor.t
val get_model_tree : S.cursor -> S.model_tree
val context : (F.cursor * 'a) -> Plebeia.Context.t
val raw_cursor : 'a -> ( 'b * 'c, 'd ) Stdlib.result
val path : (F.cursor * S.raw_cursor) -> ( (F.cursor * S.raw_cursor) * F.Path.t, Plebeia.Error.t ) Stdlib.result
val chdir_parent : (F.cursor * S.raw_cursor) -> ( (F.cursor * S.raw_cursor) * unit, Plebeia.Error.t ) Stdlib.result
val chdir_root : (F.cursor * S.raw_cursor) -> ( (F.cursor * S.raw_cursor) * unit, Plebeia.Error.t ) Stdlib.result
val chdir : ?dig:bool -> F.Path.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * unit, Plebeia.Error.t ) Stdlib.result
val get : F.Path.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * ((F.cursor * S.cursor) * (F.view * S.view)), Plebeia.Error.t ) Stdlib.result
val cat : F.Path.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * Plebeia.Value.t, Plebeia.Error.t ) Stdlib.result
val write : S.Map.key list -> Plebeia.Value.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.raw_cursor) * unit, Plebeia.Error.t ) Stdlib.result
val set : S.Map.key list -> (F.cursor * S.raw_cursor) -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * unit, Plebeia.Error.t ) Stdlib.result
val copy : F.Path.t -> S.Map.key list -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * unit, Plebeia.Error.t ) Stdlib.result
val rm : ?recursive:bool -> ?ignore_error:bool -> F.Path.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * bool, Plebeia.Error.t ) Stdlib.result
val rmdir : ?ignore_error:bool -> F.Path.t -> (F.cursor * S.cursor) -> ( (F.cursor * S.cursor) * bool, Plebeia.Error.t ) Stdlib.result
module Monad : sig ... end
val do_then : ( cursor -> 'b ) -> 'a t -> cursor -> ( cursor * 'a0, Plebeia.Error.t ) Stdlib.result
val run : 'a -> ( 'b -> 'c ) -> 'd