Portability | non-portable (multi-parameter type classes) |
---|---|
Stability | experimental |
Maintainer | Mark Snyder, marks@ittc.ku.edu |
Documentation
class (Monad m, ErrorX ix e, Index ix) => MonadErrorX ix e m | ix m -> e whereSource
throwErrorx :: ix -> e -> m aSource
catchErrorx :: ix -> m a -> (e -> m a) -> m aSource
Index ix => MonadErrorX ix IOError IO | |
(Monad m, ErrorX ix1 e1, ErrorX ix2 e2, Index ix1, Index ix2, MonadErrorX ix1 e1 m) => MonadErrorX ix1 e1 (ErrorTX ix2 e2 m) | |
(Monad m, ErrorX ix e, Index ix) => MonadErrorX ix e (ErrorTX ix e m) | |
(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 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, Index ixe, Index ixw, MonadErrorX ixe e m) => MonadErrorX ixe e (WriterTX ixw w m) | |
(Monoid w, MonadErrorX ixe e m, Index ixe) => MonadErrorX ixe e (RWST r w s m) | |
(Monoid w, MonadErrorX ixe e m, Index ix, Index ixe) => MonadErrorX ixe e (RWSTX ix r w s m) | |
(Monoid w, MonadErrorX ixe e m, Index ix, Index ixe) => MonadErrorX ixe e (RWSTX ix r w s m) |