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/Dumb/index.html

Module `Test_utils.Dumb`Source

Sourcetype segment = Plebeia.Segment.t

Sourcetype value = Plebeia.Value.t

Sourcetype context = unit

Sourcetype error = string

Sourcetype t

Sourcetype cursor

Sourceval get_node : cursor -> t

Sourceval empty : context -> cursor

Creates a cursor to a new, empty tree.

Sourceval subtree : cursor -> segment -> (cursor, error) result

Moves the cursor down a segment, to the root of a sub-tree. Think "cd segment/"

Sourceval create_subtree : cursor -> segment -> (cursor, error) result

Create a subtree (bud). Think "mkdir segment"

Sourceval parent : cursor -> (cursor, error) result

Moves the cursor back to the parent tree. Think "cd .."

Sourceval get_value : cursor -> segment -> (value, error) result

Gets a value if present in the current tree at the given segment.

Sourceval insert : cursor -> segment -> value -> (cursor, error) result

Inserts a value at the given segment in the current tree. Returns the new cursor if successful.

Sourceval upsert : cursor -> segment -> value -> (cursor, error) result

Upserts. This can still fail if the segment leads to a subtree.

Sourceval delete : cursor -> segment -> (cursor, error) result

Delete a leaf or subtree.

Sourceval of_plebeia_node : Plebeia.Context.t -> Plebeia.Node.node -> t

Sourceval dot_of_node : t -> string

Sourceval dot_of_cursor : cursor -> string