Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Combinators for throwing and logging expressive diagnostics

# Documentation

fatal :: MonadDiagnostic e m => e -> m aSource

err :: MonadDiagnostic e m => e -> m aSource

warn :: MonadDiagnostic e m => e -> m ()Source

note :: MonadDiagnostic e m => e -> m ()Source

verbose :: MonadDiagnostic e m => Int -> e -> m ()Source

warnWith :: MonadDiagnostic e m => [Diagnostic e] -> [Rendering] -> e -> m ()Source

noteWith :: MonadDiagnostic e m => [Diagnostic e] -> [Rendering] -> e -> m ()Source

verboseWith :: MonadDiagnostic e m => Int -> [Diagnostic e] -> [Rendering] -> e -> m ()Source