plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Monad . Make2

Parameters

module A : sig ... end

Signature

type ('a, 'z) t = ( 'a, 'z ) A.t
val return : 'a -> ( 'a, 'z ) t
val bind : ( 'a, 'z ) t -> ( 'a -> ( 'b, 'z ) t ) -> ( 'b, 'z ) t
val map : ( 'a -> 'b ) -> ( 'a, 'z ) t -> ( 'b, 'z ) t
val mapM : ( 'a -> ( 'b, 'z ) t ) -> 'a list -> ( 'b list, 'z ) t
val mapM_ : ( 'a -> ( unit, 'z ) t ) -> 'a list -> ( unit, 'z ) t
val iterM : ( 'a -> ( unit, 'z ) t ) -> 'a list -> ( unit, 'z ) t

alias of mapM_

val fold_leftM : ( 'a -> 'b -> ( 'a, 'z ) t ) -> 'a -> 'b list -> ( 'a, 'z ) t
val parseM : ( 'a -> 'b list -> ( 'a * 'b list, 'error ) t ) -> 'a -> 'b list -> ( 'a, 'error ) t
module Infix : sig ... end
module Syntax : sig ... end