Copyright | (c) Mesabloo 2021-2022 |
---|---|
License | BSD3 |
Stability | experimental |
Portability | Portable |
Safe Haskell | None |
Language | Haskell2010 |
Re-exports
A note is a piece of information that is found at the end of a report.
The type of markers with abstract message type, shown under code lines.
This msg | A red or yellow marker under source code, marking important parts of the code. |
Where msg | A blue marker symbolizing additional information. |
Maybe msg | A magenta marker to report potential fixes. |
Blank | An empty marker, whose sole purpose is to include a line of code in the report without markers under. |
Instances
Eq (Marker msg) Source # | |
Ord (Marker msg) Source # | |
Defined in Error.Diagnose.Report.Internal |
The type of diagnostic reports with abstract message type.
:: Maybe msg | An optional error code to be shown right next to "error" or "warning". |
-> msg | The report message, shown at the very top. |
-> [(Position, Marker msg)] | A list associating positions with markers. |
-> [Note msg] | A possibly mempty list of hints to add at the end of the report. |
-> Report msg |
Constructs a warning or an error report.
:: Maybe msg | An optional error code to be shown right next to "error" or "warning". |
-> msg | The report message, shown at the very top. |
-> [(Position, Marker msg)] | A list associating positions with markers. |
-> [Note msg] | A possibly mempty list of hints to add at the end of the report. |
-> Report msg |
Constructs a warning or an error report.
warningToError :: Report msg -> Report msg Source #
Transforms a warning report into an error report.
errorToWarning :: Report msg -> Report msg Source #
Transforms an error report into a warning report.