Text.Trifecta.Render

Diagnostics rendering

Documentation

data Render

Constructors

Render

Fields

rDelta :: !Delta

rLineLen :: !Int

rLine :: Lines -> Lines

rDraw :: Delta -> Lines -> Lines

Instances

Show Render

Semigroup Render

Pretty Render

PrettyTerm Render

HasDelta Render

Renderable Render

class Renderable t where

Methods

render :: t -> Render

Instances

Renderable Render

Renderable Caret

Renderable Span

Renderable Fixit

Renderable (Careted a)

Renderable (Spanned a)

Renderable (Rendered a)

class Source t where

Methods

source :: t -> (Int, Lines -> Lines)

Instances

Source String

Source ByteString

surface :: Source s => Delta -> s -> Render

create a drawing surface

addCaret :: Delta -> Render -> Render

addSpan :: Delta -> Delta -> Render -> Render

addFixit :: Delta -> Delta -> String -> Render -> Render

Lower level drawing primitives

draw :: [ScopedEffect] -> Int -> Int -> String -> Lines -> Lines

ifNear :: Delta -> (Lines -> Lines) -> Delta -> Lines -> Lines

(.#) :: (Delta -> Lines -> Lines) -> Render -> Render

drawCaret :: Delta -> Delta -> Lines -> Lines

drawFixit :: Delta -> Delta -> String -> Delta -> Lines -> Lines

drawSpan :: Delta -> Delta -> Delta -> Lines -> Lines

Internals

caretEffects :: [ScopedEffect]

fixitEffects :: [ScopedEffect]

spanEffects :: [ScopedEffect]

outOfRangeEffects :: [ScopedEffect] -> [ScopedEffect]