Copyright | (c) Mesabloo 2021-2022 |
---|---|
License | BSD3 |
Stability | experimental |
Portability | Portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
Re-exports
A note is a piece of information that is found at the end of a report.
Note msg | A note, which is meant to give valuable information related to the encountered error. |
Hint msg | A hint, to propose potential fixes or help towards fixing the issue. |
Instances
Foldable Note Source # | |
Defined in Error.Diagnose.Report.Internal fold :: Monoid m => Note m -> m # foldMap :: Monoid m => (a -> m) -> Note a -> m # foldMap' :: Monoid m => (a -> m) -> Note a -> m # foldr :: (a -> b -> b) -> b -> Note a -> b # foldr' :: (a -> b -> b) -> b -> Note a -> b # foldl :: (b -> a -> b) -> b -> Note a -> b # foldl' :: (b -> a -> b) -> b -> Note a -> b # foldr1 :: (a -> a -> a) -> Note a -> a # foldl1 :: (a -> a -> a) -> Note a -> a # elem :: Eq a => a -> Note a -> Bool # maximum :: Ord a => Note a -> a # | |
Traversable Note Source # | |
Functor Note Source # | |
IsString msg => IsString (Note msg) Source # | Constructs a |
Defined in Error.Diagnose.Report.Internal fromString :: String -> Note msg # | |
Show msg => Show (Note msg) Source # | |
Eq msg => Eq (Note msg) Source # | |
Ord msg => Ord (Note msg) Source # | |
Defined in Error.Diagnose.Report.Internal |
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
Foldable Marker Source # | |
Defined in Error.Diagnose.Report.Internal fold :: Monoid m => Marker m -> m # foldMap :: Monoid m => (a -> m) -> Marker a -> m # foldMap' :: Monoid m => (a -> m) -> Marker a -> m # foldr :: (a -> b -> b) -> b -> Marker a -> b # foldr' :: (a -> b -> b) -> b -> Marker a -> b # foldl :: (b -> a -> b) -> b -> Marker a -> b # foldl' :: (b -> a -> b) -> b -> Marker a -> b # foldr1 :: (a -> a -> a) -> Marker a -> a # foldl1 :: (a -> a -> a) -> Marker a -> a # elem :: Eq a => a -> Marker a -> Bool # maximum :: Ord a => Marker a -> a # minimum :: Ord a => Marker a -> a # | |
Traversable Marker Source # | |
Functor Marker Source # | |
Eq msg => Eq (Marker msg) Source # | |
Ord msg => Ord (Marker msg) Source # | |
Defined in Error.Diagnose.Report.Internal |
data Report msg where Source #
The type of diagnostic reports with abstract message type.
pattern Warn :: Maybe msg -> msg -> [(Position, Marker msg)] -> [Note msg] -> Report msg | Pattern synonym for a warning report. |
pattern Err :: Maybe msg -> msg -> [(Position, Marker msg)] -> [Note msg] -> Report msg | Pattern synonym for an error report. |
Instances
Foldable Report Source # | |
Defined in Error.Diagnose.Report.Internal fold :: Monoid m => Report m -> m # foldMap :: Monoid m => (a -> m) -> Report a -> m # foldMap' :: Monoid m => (a -> m) -> Report a -> m # foldr :: (a -> b -> b) -> b -> Report a -> b # foldr' :: (a -> b -> b) -> b -> Report a -> b # foldl :: (b -> a -> b) -> b -> Report a -> b # foldl' :: (b -> a -> b) -> b -> Report a -> b # foldr1 :: (a -> a -> a) -> Report a -> a # foldl1 :: (a -> a -> a) -> Report a -> a # elem :: Eq a => a -> Report a -> Bool # maximum :: Ord a => Report a -> a # minimum :: Ord a => Report a -> a # | |
Traversable Report Source # | |
Functor Report Source # | |
Monoid msg => Monoid (Report msg) Source # | |
Semigroup msg => Semigroup (Report msg) Source # | |
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.