Safe Haskell	Safe-Inferred
Language	Haskell2010

Effect.Error.Passthrough

Contents

Orphan instances

MonadError e m => InterpretEffectStateful x m (MonadErrorEffect e) Source #	A "passthough" instance for `MonadErrorEffect`s: Modifications are applied in all nested positions of `CatchError`, but don't actually change the semantics of any `MonadErrorEffect`.
Instance details Methods interpretEffectStateful :: forall (ops :: [Effect]) x0 a. (forall b y. x y -> AST ops b -> m (b, x y)) -> x x0 -> MonadErrorEffect e (AST ops) a -> m (a, x x0) Source #