rasa-0.1.9: A modular text editor
Rasa.Internal.Editor
Contents
Synopsis
data Editor Source #
This is the primary state of the editor.
Instances
Methods
showsPrec :: Int -> Editor -> ShowS #
show :: Editor -> String #
showList :: [Editor] -> ShowS #
def :: Editor #
exts :: Lens' Editor (Map TypeRep Ext) Source #
editor :: Lens' Editor Editor Source #
class HasEditor a where Source #
This allows polymorphic lenses over anything that has access to an Editor context
Minimal complete definition
editor
editor :: Lens' a Editor Source #
editor :: Lens' ActionState Editor Source #
buffers :: HasEditor e => Lens' e (IntMap Buffer) Source #
A lens over the map of available buffers
exiting :: HasEditor e => Lens' e Bool Source #
A lens over the exiting status of the editor
nextBufId :: HasEditor e => Lens' e Int Source #
A lens over the next buffer id to be allocated
newtype BufRef Source #
An opaque reference to a buffer. When operating over a BufRef Rasa checks if the Buffer still exists and simply ignores any operations over non-existent buffers; typically returning Nothing
Buffer
Nothing
Constructors
(==) :: BufRef -> BufRef -> Bool #
(/=) :: BufRef -> BufRef -> Bool #
compare :: BufRef -> BufRef -> Ordering #
(<) :: BufRef -> BufRef -> Bool #
(<=) :: BufRef -> BufRef -> Bool #
(>) :: BufRef -> BufRef -> Bool #
(>=) :: BufRef -> BufRef -> Bool #
max :: BufRef -> BufRef -> BufRef #
min :: BufRef -> BufRef -> BufRef #
showsPrec :: Int -> BufRef -> ShowS #
show :: BufRef -> String #
showList :: [BufRef] -> ShowS #