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 (Rendered a)

Renderable (Careted a)

Renderable (Spanned a)

Renderable (Diagnostic l m)

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

Lower level drawing primitives

type Lines = Array (Int, Int) ([ScopedEffect], Char)

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

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

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