plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Traverse . Map
type state
val map : enter: ( Node_type.t -> [ `Continue of Node_type.view | `Return of Node_type.t ] ) -> leave:( org:Node_type.view -> Node_type.view -> Node_type.t ) -> Node_type.t -> Node_type.t
val map_interleaved : enter: ( Node_type.t -> [ `Continue of Node_type.view | `Return of Node_type.t ] ) -> leave:( org:Node_type.view -> Node_type.view -> Node_type.t ) -> Node_type.t -> ( state -> [ `Left of state | `Right of Node_type.t ] ) * state