Documentation
data Diagnostic m Source
Diagnostic !(Either String Rendering) !DiagnosticLevel m [Diagnostic m] |
Functor Diagnostic | |
Typeable1 Diagnostic | |
Foldable Diagnostic | |
Traversable Diagnostic | |
Comonad Diagnostic | |
Extend Diagnostic | |
Foldable1 Diagnostic | |
Traversable1 Diagnostic | |
Show m => Show (Diagnostic m) | |
(Typeable m, Show m) => Exception (Diagnostic m) | |
Pretty m => Pretty (Diagnostic m) | |
PrettyTerm m => PrettyTerm (Diagnostic m) | |
HasBytes (Diagnostic m) | |
HasDelta (Diagnostic m) | |
Highlightable (Diagnostic e) | |
Renderable (Diagnostic m) |
tellDiagnostic :: (MonadWriter t m, Reducer (Diagnostic e) t) => Diagnostic e -> m ()Source