:: a typeCtrl KGHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19
Modulefused-effects-1.1.2.7Haskell2010
A church-encoded carrier for Error.
Run an Error effect, applying the first continuation to uncaught errors and the second continuation to successful computations’ results.
runError j k (pure a) = k a
runError j k (throwError e) = j e
runError j k (throwError e `catchError` pure) = k e
MonadTrans (ErrorC e)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchMonad (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchFunctor (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchMonadFix m => MonadFix (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchMonadFail m => MonadFail (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchApplicative (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchAlternative m => Alternative (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Church(Alternative m, Monad m) => MonadPlus (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchMonadIO m => MonadIO (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.ChurchAlgebra sig m => Algebra (Error e :+: sig) (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Churchmodule Control.Effect.Error