package plebeia

  1. Overview
  2. Docs
Functional storage using Merkle Patricia tree

Install 

dune-project
 Dependency

gitlab.com Readme MIT License Edit opam file Versions (6)

Authors

  1. D
    DaiLambda, Inc

Maintainers

  1. J
    jun.furuse@dailambda.jp

Sources

plebeia-2.2.0.tar.gz
md5=7191dbbd3057df0a78032b560039bb59
sha512=f09790dfa65a6c8dc0da9618123d93f145c16c3b5be719dad04114bbe95a7e94697cacf2c6fb5b50c14408f864954dbf8d47e5994093623eb77f488bdf5c4205

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/Op/index.html

Module WithSimulation.OpSource

Sourcetype 'a t = cursor -> (cursor * 'a, Plebeia.Error.t) result
Sourceval fail : t -> 'a -> ('b, Plebeia.Error.t) result
Sourceval get_raw_cursor : 'a -> 'a
Sourceval get_real_cursor : F.cursor -> Plebeia.Cursor.t
Sourceval get_model_tree : S.cursor -> S.model_tree
Sourceval context : (F.cursor * 'a) -> Plebeia.Context.t
Sourceval raw_cursor : 'a -> ('a * 'a, 'b) result
Sourceval path : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * Plebeia.Fs_types.Path.t, Plebeia.Error.t) result
Sourceval chdir_parent : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t) result
Sourceval chdir_root : (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t) result
Sourceval chdir : ?dig:bool -> Simulation.Map.key list -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t) result
Sourceval get : Plebeia.Fs_types.FsError.path -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * ((Plebeia__Fs_impl.cursor * Simulation.cursor) * (Plebeia.Node_type.view * Simulation.view)), Plebeia.Error.t) result
Sourceval cat : Plebeia.Fs_types.FsError.path -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * Plebeia.Value.t, Plebeia.Error.t) result
Sourceval write : Simulation.Map.key list -> Plebeia.Value.t -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.raw_cursor) * unit, Plebeia.Error.t) result
Sourceval set : Simulation.Map.key list -> (Plebeia__Fs_impl.cursor * Simulation.raw_cursor) -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t) result
Sourceval copy : Plebeia.Fs_types.FsError.path -> Simulation.Map.key list -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * unit, Plebeia.Error.t) result
Sourceval rm : ?recursive:bool -> ?ignore_error:bool -> Plebeia.Fs_types.FsError.path -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * bool, Plebeia.Error.t) result
Sourceval rmdir : ?ignore_error:bool -> Plebeia.Fs_types.FsError.path -> (Plebeia__Fs_impl.cursor * Simulation.cursor) -> ((Plebeia__Fs_impl.cursor * Simulation.cursor) * bool, Plebeia.Error.t) result
Sourcemodule Monad : sig ... end
Sourceval do_then : (cursor -> 'b) -> 'a t -> cursor -> (cursor * 'a, Plebeia.Error.t) result
Sourceval run : 'a -> ('a -> 'b) -> 'b