| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Text.Trifecta.Rendering
Contents
Description
The type for Lines will very likely change over time, to enable drawing
lit up multi-character versions of control characters for ^Z, ^[,
0xff, etc. This will make for much nicer diagnostics when
working with protocols.
- data Rendering = Rendering !Delta !Int64 !Int64 (Lines -> Lines) (Delta -> Lines -> Lines)
- class HasRendering t where
- rendering :: Lens' t Rendering
- renderingDelta :: Lens' t Delta
- renderingLine :: Lens' t (Lines -> Lines)
- renderingLineBytes :: Lens' t Int64
- renderingLineLen :: Lens' t Int64
- renderingOverlays :: Lens' t (Delta -> Lines -> Lines)
- nullRendering :: Rendering -> Bool
- emptyRendering :: Rendering
- class Source t where
- rendered :: Source s => Delta -> s -> Rendering
- class Renderable t where
- data Rendered a = a :@ Rendering
- data Caret = Caret !Delta !ByteString
- class HasCaret t where
- data Careted a = a :^ Caret
- drawCaret :: Delta -> Delta -> Lines -> Lines
- addCaret :: Delta -> Rendering -> Rendering
- caretEffects :: [SGR]
- renderingCaret :: Delta -> ByteString -> Rendering
- data Span = Span !Delta !Delta !ByteString
- class HasSpan t where
- data Spanned a = a :~ Span
- spanEffects :: [SGR]
- drawSpan :: Delta -> Delta -> Delta -> Lines -> Lines
- addSpan :: Delta -> Delta -> Rendering -> Rendering
- data Fixit = Fixit {}
- class HasFixit t where
- fixit :: Lens' t Fixit
- fixitReplacement :: Lens' t ByteString
- fixitSpan :: Lens' t Span
- drawFixit :: Delta -> Delta -> String -> Delta -> Lines -> Lines
- addFixit :: Delta -> Delta -> String -> Rendering -> Rendering
- type Lines = Array (Int, Int64) ([SGR], Char)
- draw :: [SGR] -> Int -> Int64 -> String -> Lines -> Lines
- ifNear :: Delta -> (Lines -> Lines) -> Delta -> Lines -> Lines
- (.#) :: (Delta -> Lines -> Lines) -> Rendering -> Rendering
Documentation
class HasRendering t whereSource
Methods
rendering :: Lens' t RenderingSource
renderingDelta :: Lens' t DeltaSource
renderingLine :: Lens' t (Lines -> Lines)Source
renderingLineBytes :: Lens' t Int64Source
renderingLineLen :: Lens' t Int64Source
renderingOverlays :: Lens' t (Delta -> Lines -> Lines)Source
Instances
nullRendering :: Rendering -> BoolSource
Instances
class Renderable t whereSource
Instances
Carets
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 | |
| Typeable1 Careted | |
| Foldable Careted | |
| Traversable Careted | |
| Comonad Careted | |
| ComonadApply Careted | |
| Eq a => Eq (Careted a) | |
| Data a => Data (Careted a) | |
| Ord a => Ord (Careted a) | |
| Show a => Show (Careted a) | |
| Generic (Careted a) | |
| Hashable a => Hashable (Careted a) | |
| HasDelta (Careted a) | |
| HasBytes (Careted a) | |
| HasCaret (Careted a) | |
| Renderable (Careted a) | |
| Reducer (Careted a) Rendering |
caretEffects :: [SGR]Source
renderingCaret :: Delta -> ByteString -> RenderingSource
Spans
Constructors
| Span !Delta !Delta !ByteString |
Instances
| Functor Spanned | |
| Typeable1 Spanned | |
| Foldable Spanned | |
| Traversable Spanned | |
| Comonad Spanned | |
| ComonadApply Spanned | |
| Eq a => Eq (Spanned a) | |
| Data a => Data (Spanned a) | |
| Ord a => Ord (Spanned a) | |
| Show a => Show (Spanned a) | |
| Generic (Spanned a) | |
| Hashable a => Hashable (Spanned a) | |
| HasSpan (Spanned a) | |
| Renderable (Spanned a) | |
| Reducer (Spanned a) Rendering |
spanEffects :: [SGR]Source
addSpan :: Delta -> Delta -> Rendering -> RenderingSource
int main(int argc, char ** argv) { int; }
^~~
Fixits
Constructors
| Fixit | |
Fields
| |
Methods