Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
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 {
- renderingDelta :: !Delta
- renderingLineLen :: !Int64
- renderingLineBytes :: !Int64
- renderingLine :: Lines -> Lines
- renderingOverlays :: Delta -> Lines -> Lines
- nullRendering :: Rendering -> Bool
- emptyRendering :: Rendering
- class Source t where
- rendering :: Source s => Delta -> s -> Rendering
- class Renderable t where
- data Rendered a = a :@ Rendering
- type Lines = Array (Int, Int64) ([ScopedEffect], Char)
- draw :: [ScopedEffect] -> Int -> Int64 -> String -> Lines -> Lines
- ifNear :: Delta -> (Lines -> Lines) -> Delta -> Lines -> Lines
- (.#) :: (Delta -> Lines -> Lines) -> Rendering -> Rendering
Documentation
Rendering | |
|
nullRendering :: Rendering -> BoolSource
class Renderable t whereSource