Module Plebeia.Node_storageSource

Sourceexception ReadFailure of Error.t
Sourceval write_node : ?clear:bool -> Context.t -> Node_type.node -> (Node_type.node * Index.t * Hash.Prefix.t, Error.t) result

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

If clear=true, then it forgets the details of the given node after the commit and returns a Disk _ node points to the commit.

Note that this function does not update the header. Storage.commit must be called to make the written node persistent.

Read the node at the given index of the context, parse it and create a view node with it.

Note: load_node does not load the hash. Use load_hash_prefix for hashes.

Sourceval read_hash : Context.t -> Node_type.t -> [> `Hashed of Hash.t * Node_type.t | `Not_Hashed of Node_type.view ]

Read hash if it is not yet

Sourceexception HashOnly of Hash.t

Obtain the view of the node. If the view is not available in the memory, it is loaded from the storage.

If the node is Hash h, it raises HashOnly h.

Note: view does not load the hash.

Sourceval read_node_fully : reset_index:bool -> Context.t -> Node_type.node -> Node_type.node

Recusively visit and load all the subnodes in memory.

(if reset_index, all the indices are reset to Not_Indexed.)

Note: load_node_fully does not load the hash.

Sourceval change_context : src:Context.t -> dst:Context.t -> Node_type.node -> Node_type.node

Copy the node from src context to another context dst

Sourcemodule Internal : sig ... end