rasa-0.1.8: A modular text editor
Rasa.Internal.Buffer
Synopsis
data Buffer Source #
A buffer, holds the text in the buffer and any extension states that are set on the buffer.
Instances
Methods
showsPrec :: Int -> Buffer -> ShowS #
show :: Buffer -> String #
showList :: [Buffer] -> ShowS #
bufExts :: Lens' Buffer (Map TypeRep Ext) Source #
buffer :: Lens' Buffer Buffer Source #
class HasBuffer a where Source #
This allows creation of polymorphic lenses over any type which has access to a Buffer
Minimal complete definition
buffer
buffer :: Lens' a Buffer Source #
text :: HasBuffer b => Lens' b YiString Source #
This lens focuses the text of the in-scope buffer.
mkBuffer :: YiString -> Buffer Source #
Creates a new buffer from the given text.