Buffer

An Editor backend implementation, made of the instance of Engine of InsideAppend.

Documentation

data InsideAppend

See the Engine class docs

Constructors

Inside

the cursor when its pointing to a real line (eg line function doesn't fail)

Fields

left :: [String]

lines before the cursor (reversed order)

cursor :: String

addressed line

right :: [String]

lines after the cursor

Append

the cursor is pointing either to insert at the front of the file or append at the end of the file.

Fields

elems :: Either [String] [String]

Left lines is in append mode, Right is in insert at front mode.

Instances

Eq InsideAppend

Show InsideAppend

Engine InsideAppend