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