package tezos-lwt-result-stdlib
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d
sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a
doc/traced_structs/Traced_structs/Set/Make/argument-1-Monad/index.html
Parameter Make.Monad
Import the non-traced modules as-is
include Bare_sigs.Monad.S
The tower of monads
The Lwt monad: for concurrency
module Lwt_syntax : sig ... endSyntax module for Lwt. This is intended to be opened locally in functions which use Lwt for control-flow. Within the scope of this module, the code can include binding operators, leading to a let-style syntax.
The (generic) Result monad: for success/failure
module Result_syntax : sig ... endSyntax module for Result. This is intended to be opened locally in functions which use result for control-flow. Within the scope of this module, the code can include binding operators, leading to a let-style syntax.
The combined Lwt+Result monad: for concurrent successes/failures
module Lwt_result_syntax : sig ... endSyntax module for Lwt+Result. This is intended to be opened locally in functions which use Lwt and result for control-flow. Within the scope of this module, the code can include binding operators, leading to a let-style syntax.
'error trace is intended to be substituted by a type provided by a Trace module (with type 'error trace := 'error Trace.trace)
module Traced_result_syntax : sig ... endmodule Lwt_traced_result_syntax : sig ... end