package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

Dune 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.2.tar.gz

md5=aecc184507170faed53e543195687233

sha512=9799144ea7ebc997681353136393815ac73040e2ae5227f2787c1331bb393dbd318b1fa3ae8d075b383cda4fe7584b80f7f32a4aa99c870a0bd2d76e91024bf5

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