:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Moduleeffectful-core-2.7.1.2GHC2021
Definitions and instances for MTL compatibility.
This module is intended for internal use only, and may change without warning in subsequent releases.
Provide the ability to handle errors of type e.
ThrowErrorWith :: (e -> String) -> e -> Error e a bRethrowErrorWith :: (e -> String) -> CallStack -> e -> Error e a bCatchError :: a b -> (CallStack -> e -> a b) -> Error e a btype DispatchOf (Error e) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.Dynamictype DispatchOf (Reader r) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.DynamicProvide access to a mutable value of type s.
type DispatchOf (State s) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.DynamicProvide access to a write only value of type w.
type DispatchOf (Writer w) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.Dynamic(Show e, Error e :> es, MonadError e (Eff es)) => MonadError e (Eff es)Instance included for compatibility with existing code.
(Reader r :> es, MonadReader r (Eff es)) => MonadReader r (Eff es)Instance included for compatibility with existing code.
(State s :> es, MonadState s (Eff es)) => MonadState s (Eff es)Instance included for compatibility with existing code.
(Monoid w, Writer w :> es, MonadWriter w (Eff es)) => MonadWriter w (Eff es)Instance included for compatibility with existing code.
Warning: pass is not implemented due to ambiguous semantics in presence of runtime exceptions, so calling it (also indirectly via censor, which is defined in terms of pass) results in a runtime error.