graft-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Effect.Writer.Passthrough

Orphan instances

MonadWriter e m => InterpretEffectStateful x m (MonadWriterEffect e) Source #

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

Instance details

Methods

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