Diagnostics rendering
- data Render = Render {}
- class Renderable t where
- class Source t where
- surface :: Source s => Delta -> s -> Render
- 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
Documentation
class Renderable t whereSource
Renderable Render | |
Renderable Caret | |
Renderable Span | |
Renderable Fixit | |
Renderable (Rendered a) | |
Renderable (Careted a) | |
Renderable (Spanned a) | |
Renderable (Diagnostic l m) |