Module Storage.Make

A functor for minting a new storage type as long as it's argument module implements the Store interface.

Parameters

module IO : Types.IO
module Store : Types.Store with type 'a io = 'a IO.t

Signature

type t = Store.t

The storage type.

type 'a io = 'a IO.t

The I/O monad type.

module Group : sig ... end
module Array : sig ... end
val hierarchy : t -> (Node.Array.t list * Node.Group.t list) io

hierarchy t returns p where p is a pair of lists representing all nodes in store t. The first element of the pair is a list of all array nodes, and the second element is a list of all group nodes. This operation returns a pair of empty lists if store t is empty.

  • raises Parse_error

    if any node has invalid node_type metadata.

val clear : t -> unit io

clear t clears the store t by deleting all nodes. If the store is already empty, this is a no-op.