| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Text.Trifecta.Diagnostic.Class
Description
Provides a class for logging and throwing expressive diagnostics.
Documentation
class Monad m => MonadDiagnostic e m | m -> e whereSource
Methods
fatalWith :: [Diagnostic e] -> [Rendering] -> e -> m aSource
errWith :: [Diagnostic e] -> [Rendering] -> e -> m aSource
logWith :: DiagnosticLevel -> [Diagnostic e] -> [Rendering] -> e -> m ()Source
Instances
| 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) |