Minilib.Monad.Error
Defined in minilib-monad@0.5.1
Definition of MonadErrorIF trait which can report errors.
Values
namespace Minilib.Monad.Error
from_result_t
Type: [m : Minilib.Monad.Error::MonadError] Std::Result Std::ErrMsg a -> m a
Synonym of lift_result.
lift_result
Type: [m : Minilib.Monad.Error::MonadError] Std::Result Std::ErrMsg a -> m a
Lifts an operation result to a monad.
to_result_t
Type: [m : Minilib.Monad.Error::MonadError] m a -> m (Std::Result Std::ErrMsg a)
Converts to an operation result.
namespace Minilib.Monad.Error::MonadErrorIF
catch
Type: [m : Minilib.Monad.Error::MonadErrorIF] (Std::ErrMsg -> m a) -> m a -> m a
ma.catch(handler) catches any error that is thrown during the computation of ma.
error
Type: [m : Minilib.Monad.Error::MonadErrorIF] Std::ErrMsg -> m a
error(e) throws an error.
Types and aliases
Traits and aliases
namespace Minilib.Monad.Error
trait [m : *->*] m : MonadErrorIF
A trait for monads which can report errors.
method error
Type: Std::String -> m a
error(e) throws an error.
method catch
Type: (Std::String -> m a) -> m a -> m a
ma.catch(handler) catches any error that is thrown during the computation of ma.