Text.Trifecta.Diagnostic.Prim
Documentation
data Diagnostic m Source
Constructors
| Diagnostic !(Either String Rendering) !DiagnosticLevel m [Diagnostic m] |
Instances
| 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