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

Defined in Yi.Buffer.Implementation

Associated Types

type Rep UIUpdate :: Type -> Type

Methods

from :: UIUpdate -> Rep UIUpdate x

to :: Rep UIUpdate x -> UIUpdate

Binary UIUpdate

Defined in Yi.Buffer.Implementation

Methods

put :: UIUpdate -> Put

get :: Get UIUpdate

putList :: [UIUpdate] -> Put

type Rep UIUpdate

Defined in Yi.Buffer.Implementation

type Rep UIUpdate = D1 ('MetaData "UIUpdate" "Yi.Buffer.Implementation" "yi-core-0.19.0-Zh7sCWG9vkJTDF5croJOH" 'False) (C1 ('MetaCons "TextUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Update)) :+: C1 ('MetaCons "StyleUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Nothing :: Maybe 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

Defined in Yi.Buffer.Implementation

Methods

showsPrec :: Int -> Update -> ShowS

show :: Update -> String

showList :: [Update] -> ShowS

Generic Update

Defined in Yi.Buffer.Implementation

Associated Types

type Rep Update :: Type -> Type

Methods

from :: Update -> Rep Update x

to :: Rep Update x -> Update

Binary Update

Defined in Yi.Buffer.Implementation

Methods

put :: Update -> Put

get :: Get Update

putList :: [Update] -> Put

type Rep Update

Defined in Yi.Buffer.Implementation

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

updateIsDelete :: Update -> Bool

markGravityAA :: Lens' MarkValue Direction

markPointAA :: Lens' MarkValue Point