package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

dune-project

Dependency

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

Authors

D

DaiLambda, Inc

Maintainers

J

jun.furuse@dailambda.jp

Sources

plebeia-2.0.1.tar.gz

md5=f7d5a3c433784118777699713d437f00

sha512=56d88855cd5553f8f398436c67df2229e4ccad75143057704e7af3153aad47ee6f09e6aeada049514a77871096aeb912ea3ddc4ad620970bf8301c2ee27f4c54

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

Module `WithSimulation.F`Source

module Name : sig ... end

Sourcetype name = Name.t

Sourcemodule Path : sig ... end

Sourcetype view = Plebeia.Node_type.view

Sourcetype raw_cursor = Plebeia.Cursor.t

Sourcetype cursor = {

cur : Plebeia.Cursor.t;
rev_path : Name.t list;

}

Sourcetype hash = Plebeia.Hash.Prefix.t

Sourcetype 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

Sourcetype Plebeia.Error.t +=

| FS_error of error

Sourceval error_fs : error -> ('a, Plebeia.Error.t) result

Sourceval make : Plebeia.Cursor.t -> Name.t list -> cursor

Sourceval empty : Plebeia.Context.t -> cursor

Sourceval get_raw_cursor : cursor -> Plebeia.Cursor.t

Sourceval get_view : cursor -> cursor * Plebeia.Node_type.view

Sourceval context : cursor -> Plebeia.Context.t

Sourceval split : 'a list -> 'a list * 'a

Sourcemodule Op : sig ... end

Sourcemodule Op_lwt : sig ... end

Sourcemodule Merkle_proof : sig ... end

Sourcemodule Vc : sig ... end

Source

val write_top_cursor : 
  cursor ->
  (cursor * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t) result