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

md5=104e71a50a29b96a4b508004a539c88a

sha512=5edcd6c73dc276011c6344e121e978d294e3b8847ce6e8b28b03a2c7f3ed6bd1a860775dfb9d5b399442d66eeffcb45d9aab6f08b4accdf9287b5b7dbbf91506

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