Control.Carrier.Error.Either

newtypenewtype ErrorC e (m :: Type -> Type) a

Instances10MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …

MonadTrans (ErrorC e)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
Monad m => Monad (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
Functor m => Functor (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
MonadFix m => MonadFix (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
MonadFail m => MonadFail (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
Monad m => Applicative (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
(Alternative m, Monad m) => Alternative (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
ErrorC passes Alternative operations along to the underlying monad m, rather than combining errors à la ExceptT.
(Alternative m, Monad m) => MonadPlus (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
ErrorC passes MonadPlus operations along to the underlying monad m, rather than combining errors à la ExceptT.
MonadIO m => MonadIO (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either
Algebra sig m => Algebra (Error e :+: sig) (ErrorC e m)Defined in fused-effects-1.1.2.7 · Control.Carrier.Error.Either

Error carrier