Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Provides a class for logging and throwing expressive diagnostics.
Documentation
class Monad m => MonadDiagnostic e m | m -> e whereSource
throwDiagnostic :: Diagnostic e -> m aSource
logDiagnostic :: Diagnostic e -> m ()Source
MonadDiagnostic e m => MonadDiagnostic e (IdentityT m) | |
MonadDiagnostic e m => MonadDiagnostic e (Language m) | |
MonadDiagnostic e m => MonadDiagnostic e (Literate m) | |
MonadDiagnostic e m => MonadDiagnostic e (Layout m) | |
(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (WriterT w m) | |
(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (WriterT w m) | |
MonadDiagnostic e m => MonadDiagnostic e (ReaderT r m) | |
MonadDiagnostic e m => MonadDiagnostic e (StateT s m) | |
MonadDiagnostic e m => MonadDiagnostic e (StateT s m) | |
MonadDiagnostic e (Parser r e) | |
(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (RWST r w s m) | |
(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (RWST r w s m) |