Control.Monad.ErrorX.Class

Documentation

class (Monad m, Index ix) => MonadErrorX ix e m | ix m -> e where

Methods

throwErrorx :: ix -> e -> m a

catchErrorx :: ix -> m a -> (e -> m a) -> m a

Instances

(MonadErrorX ixe e m, Index ixe, Index ixr) => MonadErrorX ixe e (ReaderTX ixr r m)

(MonadErrorX ixe e m, Index ixs) => MonadErrorX ixe e (StateTX ixs s m)

(MonadErrorX ixe e m, Index ixe, Index ixs) => MonadErrorX ixe e (StateTX ixs s m)

(Monoid w, Index ixe, Index ixw, MonadErrorX ixe e m) => MonadErrorX ixe e (WriterTX ixw w m)

(Monoid w, MonadErrorX ixe e m, Index ixw) => MonadErrorX ixe e (WriterTX ixw w m)

(Monoid w, MonadErrorX ixe e m, Index ix, Index ixe) => MonadErrorX ixe e (RWSTX ix r w s m)

(Monoid w, Index ix, Error e, MonadErrorX ixe e m) => MonadErrorX ixe e (RWSTX ix r w s m)