Error.Diagnose.Style

Defining new style

data Annotation a

Some annotations as placeholders for colors in a Doc.

Constructors

ThisColor Bool

The color of This markers, depending on whether the report is an error report or a warning report.

MaybeColor

The color of Maybe markers.

WhereColor

The color of Where markers.

HintColor

The color for hints.

Note that the beginning Hint: text will always be in bold.

FileColor

The color for file names.

RuleColor

The color of the rule separating the code/markers from the line numbers.

KindColor Bool

The color of the [error]/[warning] at the top, depending on whether this is an error or warning report.

NoLineColor

The color in which to output the line information when the file was not found.

MarkerStyle (Annotation a)

Additional style to apply to marker rules (e.g. bold) on top of some already processed color annotation.

CodeStyle

The color of the code when no marker is present.

OtherStyle a

Something else, could be provided by the user

Instances

Foldable Annotation

Defined in Error.Diagnose.Style

Methods

fold :: Monoid m => Annotation m -> m

foldMap :: Monoid m => (a -> m) -> Annotation a -> m

foldMap' :: Monoid m => (a -> m) -> Annotation a -> m

foldr :: (a -> b -> b) -> b -> Annotation a -> b

foldr' :: (a -> b -> b) -> b -> Annotation a -> b

foldl :: (b -> a -> b) -> b -> Annotation a -> b

foldl' :: (b -> a -> b) -> b -> Annotation a -> b

foldr1 :: (a -> a -> a) -> Annotation a -> a

foldl1 :: (a -> a -> a) -> Annotation a -> a

toList :: Annotation a -> [a]

null :: Annotation a -> Bool

length :: Annotation a -> Int

elem :: Eq a => a -> Annotation a -> Bool

maximum :: Ord a => Annotation a -> a

minimum :: Ord a => Annotation a -> a

sum :: Num a => Annotation a -> a

product :: Num a => Annotation a -> a

Traversable Annotation

Defined in Error.Diagnose.Style

Methods

traverse :: Applicative f => (a -> f b) -> Annotation a -> f (Annotation b)

sequenceA :: Applicative f => Annotation (f a) -> f (Annotation a)

mapM :: Monad m => (a -> m b) -> Annotation a -> m (Annotation b)

sequence :: Monad m => Annotation (m a) -> m (Annotation a)

Functor Annotation

Defined in Error.Diagnose.Style

Methods

fmap :: (a -> b) -> Annotation a -> Annotation b

(<$) :: a -> Annotation b -> Annotation a

Generic (Annotation a)

Defined in Error.Diagnose.Style

Associated Types

type Rep (Annotation a) :: Type -> Type

Methods

from :: Annotation a -> Rep (Annotation a) x

to :: Rep (Annotation a) x -> Annotation a

Show a => Show (Annotation a)

Defined in Error.Diagnose.Style

Methods

showsPrec :: Int -> Annotation a -> ShowS

show :: Annotation a -> String

showList :: [Annotation a] -> ShowS

Eq a => Eq (Annotation a)

Defined in Error.Diagnose.Style

Methods

(==) :: Annotation a -> Annotation a -> Bool

(/=) :: Annotation a -> Annotation a -> Bool

Ord a => Ord (Annotation a)

Defined in Error.Diagnose.Style

Methods

compare :: Annotation a -> Annotation a -> Ordering

(<) :: Annotation a -> Annotation a -> Bool

(<=) :: Annotation a -> Annotation a -> Bool

(>) :: Annotation a -> Annotation a -> Bool

(>=) :: Annotation a -> Annotation a -> Bool

max :: Annotation a -> Annotation a -> Annotation a

min :: Annotation a -> Annotation a -> Annotation a

type Rep (Annotation a)

Defined in Error.Diagnose.Style

type Rep (Annotation a) = D1 ('MetaData "Annotation" "Error.Diagnose.Style" "diagnose-2.5.1-inplace" 'False) (((C1 ('MetaCons "ThisColor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "MaybeColor" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "WhereColor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HintColor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FileColor" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RuleColor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KindColor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "NoLineColor" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MarkerStyle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Annotation a))) :+: (C1 ('MetaCons "CodeStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherStyle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))))

type Style a = Annotation a -> AnsiStyle

A style is a function which can be applied using reAnnotate.

It transforms a Document containing Annotations into a Document containing color information.

Defining new color styles (one may call them "themes") is actually rather easy.

A Style is a function from an annotated Document to another annotated Document. Note that only the annotation type changes, hence the need of only providing a unidirectional mapping between those.

Annotations are used when creating a Document and are simply placeholders to specify custom colors. AnsiStyle is the concrete annotation to specify custom colors when rendering a Document.

One may define additional styles as follows:

myNewCustomStyle :: Style
myNewCustomStyle = reAnnotate \case
  -- all cases for all annotations

For simplicity's sake, a default style is given as defaultStyle.

Styles

defaultStyle :: Style AnsiStyle

The default style for diagnostics, where:

• This markers are colored in red for errors and yellow for warnings
• Where markers are colored in dull blue
• Maybe markers are colored in magenta
• Marker rules are of the same color of the marker, but also in bold
• Hints are output in cyan
• The left rules are colored in bold black
• File names are output in dull green
• The [error]/[warning] at the top is colored in red for errors and yellow for warnings
• The code is output in normal white

unadornedStyle :: Style a

A style which disregards all annotations