Equations
@[inline]
Converts a computation from the underlying monad into one that could fail, even though it does not.
This function is typically implicitly accessed via a MonadLiftT
instance as part of automatic
lifting.
Equations
Instances For
instance
OptionT.instMonadExceptOfUnit
{m : Type u → Type v}
[Monad m]
:
MonadExceptOf Unit (OptionT m)
Equations
instance
OptionT.instMonadExceptOf
{m : Type u → Type v}
(ε : Type u)
[MonadExceptOf ε m]
:
MonadExceptOf ε (OptionT m)
Equations
instance
instMonadControlOptionTOfMonad
{m : Type u_1 → Type u_2}
[Monad m]
:
MonadControl m (OptionT m)