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) |