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

Associated Types

type Rep UIUpdate :: * -> *

Methods

from :: UIUpdate -> Rep UIUpdate x

to :: Rep UIUpdate x -> UIUpdate

Binary UIUpdate

Methods

put :: UIUpdate -> Put

get :: Get UIUpdate

putList :: [UIUpdate] -> Put

type Rep UIUpdate

type Rep UIUpdate = D1 (MetaData "UIUpdate" "Yi.Buffer.Implementation" "yi-core-0.14.0-HE9GyaEKdF99Cl2l5qL3sb" False) ((:+:) (C1 (MetaCons "TextUpdate" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Update))) (C1 (MetaCons "StyleUpdate" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Point)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Size)))))

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.

Note that keeping the text does not cost much: we keep the updates in the undo list; if it's a Delete it means we have just inserted the text in the buffer, so the update shares the data with the buffer. If it's an Insert we have to keep the data any way.

Constructors

Insert

Fields

• updatePoint :: !Point
• updateDirection :: !Direction
• _insertUpdateString :: !YiString

Delete

Fields

• updatePoint :: !Point
• updateDirection :: !Direction
• _deleteUpdateString :: !YiString

Instances

Show Update

Methods

showsPrec :: Int -> Update -> ShowS

show :: Update -> String

showList :: [Update] -> ShowS

Generic Update

Associated Types

type Rep Update :: * -> *

Methods

from :: Update -> Rep Update x

to :: Rep Update x -> Update

Binary Update

Methods

put :: Update -> Put

get :: Get Update

putList :: [Update] -> Put

type Rep Update

type Rep Update = D1 (MetaData "Update" "Yi.Buffer.Implementation" "yi-core-0.14.0-HE9GyaEKdF99Cl2l5qL3sb" False) ((:+:) (C1 (MetaCons "Insert" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "updatePoint") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Point)) ((:*:) (S1 (MetaSel (Just Symbol "updateDirection") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Direction)) (S1 (MetaSel (Just Symbol "_insertUpdateString") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 YiString))))) (C1 (MetaCons "Delete" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "updatePoint") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Point)) ((:*:) (S1 (MetaSel (Just Symbol "updateDirection") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Direction)) (S1 (MetaSel (Just Symbol "_deleteUpdateString") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 YiString))))))

updateIsDelete :: Update -> Bool

markGravityAA :: Lens' MarkValue Direction

markPointAA :: Lens' MarkValue Point