Minilib.Monad.Option
Defined in minilib-monad@0.5.1
A monad transformer that wraps m (Option a).
Values
namespace Minilib.Monad.Option
lift_option
Type: [m : Std::Monad] Std::Option a -> Minilib.Monad.Option::OptionT m a
Lifts an optional value to an OptionT monad.
option_t
Type: m (Std::Option a) -> Minilib.Monad.Option::OptionT m a
Creates an OptionT monad from an optional value.
run_option_t
Type: Minilib.Monad.Option::OptionT m a -> m (Std::Option a)
Gets the optional value.
Types and aliases
namespace Minilib.Monad.Option
OptionT
Defined as: type [m : *->*] OptionT m a = unbox struct { ...fields... }
A monad transformer that wraps m (Option a).
This represents an optional value which may or may not exist.
m is a type of an underlying monad.
a is a type of a value.
field data
Type: m (Std::Option a)