package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

md5=104e71a50a29b96a4b508004a539c88a

sha512=5edcd6c73dc276011c6344e121e978d294e3b8847ce6e8b28b03a2c7f3ed6bd1a860775dfb9d5b399442d66eeffcb45d9aab6f08b4accdf9287b5b7dbbf91506

1 Result monad

Sourcetype ('a, 'z) t = ('a, 'z) Result.t Lwt.t

Sourceval return : 'a -> ('a, 'z) t

Sourceval bind : ('a, 'z) t -> ('a -> ('b, 'z) t) -> ('b, 'z) t

Sourceval map : ('a -> 'b) -> ('a, 'z) t -> ('b, 'z) t

Sourceval mapM : ('a -> ('b, 'z) t) -> 'a list -> ('b list, 'z) t

Sourceval mapM_ : ('a -> (unit, 'z) t) -> 'a list -> (unit, 'z) t

Sourceval fold_leftM : ('a -> 'b -> ('a, 'z) t) -> 'a -> 'b list -> ('a, 'z) t

Sourceval map_error : ('err1 -> 'err2) -> ('a, 'err1) t -> ('a, 'err2) t

Sourceval from_Ok_lwt : ('a, _) t -> 'a Lwt.t

It raises Failure _ when the argument is Error _.

Sourceval from_Error_lwt : (_, 'e) t -> 'e Lwt.t

It raises Failure _ when the argument is Ok _.

Sourceval default : ('a, 'e) t -> ('e -> 'a) -> 'a Lwt.t

Error recovery

Sourceval errorf : ('a, unit, string, ('b, string) t) format4 -> 'a

Printf interface to produce a string error

Sourcemodule Infix : sig ... end

Sourcemodule Syntax : sig ... end