graft-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Effect.Fail.Passthrough

Orphan instances

MonadFail m => InterpretEffectStateful x m MonadFailEffect Source #

A "passthough" instance for WriterEffects: Modifications are applied in all nested positions of Listen and Pass, but don't actually change the semantics of any WriterEffect.

Instance details

Methods

interpretEffectStateful :: forall (ops :: [Effect]) x0 a. (forall b y. x y -> AST ops b -> m (b, x y)) -> x x0 -> MonadFailEffect (AST ops) a -> m (a, x x0) Source #