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
fatalWith :: [Diagnostic e] -> [Rendering] -> e -> m aSource
errWith :: [Diagnostic e] -> [Rendering] -> e -> m aSource
logWith :: DiagnosticLevel -> [Diagnostic e] -> [Rendering] -> e -> m ()Source
MonadDiagnostic e m => MonadDiagnostic e (IdentityT m) | |
MonadDiagnostic e (Parser e) | |
(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 m, Monoid w) => MonadDiagnostic e (RWST r w s m) | |
(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (RWST r w s m) |