| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Text.Trifecta.Diagnostic.Rendering
Description
- class Renderable t where
- class Source t
- rendering :: Source s => Delta -> s -> Rendering
- renderingCaret :: Delta -> ByteString -> Rendering
- data Caret = Caret !Delta !ByteString
- data Careted a = a :^ Caret
- data Span = Span !Delta !Delta !ByteString
- data Spanned a = a :~ Span
- data Fixit = Fixit {
- fixitSpan :: !Span
- fixitReplacement :: !ByteString
- data Rendered a = a :@ Rendering
Documentation
class Renderable t whereSource
Instances
renderingCaret :: Delta -> ByteString -> RenderingSource
In file included from baz.c:9
In file included from bar.c:4
foo.c:8:36: note
int main(int argc, char ** argv) { int; }
^
Constructors
| Caret !Delta !ByteString |
Instances
| Functor Careted | |
| Foldable Careted | |
| Traversable Careted | |
| Comonad Careted | |
| Extend Careted | |
| Foldable1 Careted | |
| Traversable1 Careted | |
| Eq a => Eq (Careted a) | |
| Ord a => Ord (Careted a) | |
| Show a => Show (Careted a) | |
| Hashable a => Hashable (Careted a) | |
| HasBytes (Careted a) | |
| HasDelta (Careted a) | |
| Renderable (Careted a) | |
| Reducer (Careted a) Rendering |
Constructors
| Span !Delta !Delta !ByteString |
Instances
| Functor Spanned | |
| Foldable Spanned | |
| Traversable Spanned | |
| Comonad Spanned | |
| Extend Spanned | |
| Apply Spanned | |
| Foldable1 Spanned | |
| Traversable1 Spanned | |
| Bind Spanned | |
| Eq a => Eq (Spanned a) | |
| Ord a => Ord (Spanned a) | |
| Show a => Show (Spanned a) | |
| Hashable a => Hashable (Spanned a) | |
| Renderable (Spanned a) | |
| Reducer (Spanned a) Rendering |
Constructors
| Fixit | |
Fields
| |