Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Fail carrier
Since: 1.0.0.0
Instances
MonadTrans FailC Source # | |
Defined in Control.Carrier.Fail.Either | |
Algebra sig m => MonadFail (FailC m) Source # | |
Defined in Control.Carrier.Fail.Either | |
MonadFix m => MonadFix (FailC m) Source # | |
Defined in Control.Carrier.Fail.Either | |
MonadIO m => MonadIO (FailC m) Source # | |
Defined in Control.Carrier.Fail.Either | |
(Alternative m, Monad m) => Alternative (FailC m) Source # | |
Monad m => Applicative (FailC m) Source # | |
Functor m => Functor (FailC m) Source # | |
Monad m => Monad (FailC m) Source # | |
(Alternative m, Monad m) => MonadPlus (FailC m) Source # | |
Algebra sig m => Algebra (Fail :+: sig) (FailC m) Source # | |
Fail effect
module Control.Effect.Fail