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.0.tar.gz

md5=f528f42d3e72d400265eb6bc51901fca

sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

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