Rasa.Internal.Buffer

Documentation

data Buffer

A buffer, holds the text in the buffer and any extension states that are set on the buffer. A buffer is the State of the BufAction monad transformer stack, so the type may be useful in defining lenses over your extension states.

Instances

Show Buffer

Methods

showsPrec :: Int -> Buffer -> ShowS

show :: Buffer -> String

showList :: [Buffer] -> ShowS

MonadState Buffer BufAction

Methods

get :: BufAction Buffer

put :: Buffer -> BufAction ()

state :: (Buffer -> (a, Buffer)) -> BufAction a

data Ext

A wrapper around an extension of any type so it can be stored in an ExtMap

Constructors

Show a => Ext a

Instances

Show Ext

Methods

showsPrec :: Int -> Ext -> ShowS

show :: Ext -> String

showList :: [Ext] -> ShowS

bufExts :: Lens' Buffer ExtMap

A lens over the extensions stored for a buffer

text :: Lens' Buffer YiString

A lens into the text of the given buffer. Use within a BufAction.

mkBuffer :: YiString -> Buffer

Creates a new buffer from the givven text.