Yi.Buffer

The Buffer module defines monadic editing operations over one-dimensional buffers, maintaining a current point.

This module acts as a facade for the Buffer.* modules.

Documentation

module Yi.Buffer.Basic

module Yi.Buffer.HighLevel

module Yi.Buffer.Indent

module Yi.Buffer.Misc

module Yi.Buffer.Normal

module Yi.Buffer.Region

module Yi.Buffer.TextUnit

module Yi.Buffer.Undo

data UIUpdate

Constructors

TextUpdate !Update

StyleUpdate !Point !Size

Instances

Generic UIUpdate

Binary UIUpdate

type Rep UIUpdate

data Update

Mutation actions (also used the undo or redo list)

For the undoredo, we use the partial checkpoint/ (Berlage, pg16) strategy to store just the components of the state that change.

Note that the update direction is only a hint for moving the cursor (mainly for undo purposes); the insertions and deletions are always applied Forward.

Constructors

Insert

Fields

updatePoint :: !Point

updateDirection :: !Direction

insertUpdateString :: !YiString

Delete

Fields

updatePoint :: !Point

updateDirection :: !Direction

deleteUpdateString :: !YiString

Instances

Show Update

Generic Update

Binary Update

Typeable * Update

MonadWriter [Update] BufferM

type Rep Update

updateIsDelete :: Update -> Bool

markGravityAA :: Lens' MarkValue Direction

markPointAA :: Lens' MarkValue Point