Minilib.Monad.Result
Defined in minilib-monad@0.5.1
A monad transformer that wraps m (Result e a).
Values
namespace Minilib.Monad.Result
result_t
Type: m (Std::Result e a) -> Minilib.Monad.Result::ResultT e m a
Creates a ResultT monad from an operation result.
run_result_t
Type: Minilib.Monad.Result::ResultT e m a -> m (Std::Result e a)
Gets the operation result.
Types and aliases
namespace Minilib.Monad.Result
ResultT
Defined as: type [m : *->*] ResultT e m a = unbox struct { ...fields... }
A monad transformer that wraps m (Result e a).
This represents an operation result (success or error).
e is a type of an error if the operation fails.
m is a type of an underlying monad.
a is a type of an operation result if operation is successful.
field data
Type: m (Std::Result e a)