@[inline]
def
ReaderT.orElse
{m : Type u_1 → Type u_2}
{ρ α : Type u_1}
[Alternative m]
(x₁ : ReaderT ρ m α)
(x₂ : Unit → ReaderT ρ m α)
:
ReaderT ρ m α
Recovers from errors. The same local value is provided to both branches. Typically used via the
<|>
operator.
Equations
Instances For
@[inline]
Fails with a recoverable error.
Equations
Instances For
instance
ReaderT.instAlternativeOfMonad
{m : Type u_1 → Type u_2}
{ρ : Type u_1}
[Alternative m]
[Monad m]
:
Alternative (ReaderT ρ m)
Equations
instance
instMonadControlReaderT
{m : Type u_1 → Type u_2}
{ρ : Type u_1}
:
MonadControl m (ReaderT ρ m)
Equations
@[always_inline]
instance
ReaderT.tryFinally
{m : Type u_1 → Type u_2}
{ρ : Type u_1}
[MonadFinally m]
:
MonadFinally (ReaderT ρ m)