package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception LoadFailure of Error.t

val parse_cell : 
  Plebeia__.Storage.storage ->
  Plebeia__.Index.t ->
  Plebeia__.Node.view

Exposed for test

val commit_node : 
  Plebeia__.Context.t ->
  Plebeia__.Bud_cache.t ->
  Plebeia__.Node.node ->
  Plebeia__.Node.node * Plebeia__.Index.t * Hash.t

Write a node to the storage, and returns the updated version of the node with its index and hash.

Note that an explict call of Storage.Checkpoint.check is required to make the written nodes accessible after a program termination.

val load_node : 
  Plebeia__.Context.t ->
  Plebeia__.Index.t ->
  Plebeia__.Node.extender_witness ->
  Plebeia__.Node.view

Read the node from context.array, parse it and create a view node with it.

val load_node_fully : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  Plebeia__.Node.node

Recusively visit and load all the subnodes in memory. Only for test purposes. Not tail recursive.

val equal : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  Plebeia__.Node.node ->
  (unit, Plebeia__.Node.node * Plebeia__.Node.node) Result.t