Client.State.EditBox.Content

This module manages simple text navigation and manipulation, but leaves more complicated operations like yank/kill and history management to Client.State.EditBox

Multiple lines

data Content

Zipper-ish view of the multi-line content of an EditBox. Lines above the currentLine are stored in reverse order.

Instances

Read Content

Defined in Client.State.EditBox.Content

Methods

readsPrec :: Int -> ReadS Content

readList :: ReadS [Content]

readPrec :: ReadPrec Content

readListPrec :: ReadPrec [Content]

Show Content

Defined in Client.State.EditBox.Content

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

HasLine Content

Defined in Client.State.EditBox.Content

Methods

line :: Lens' Content Line

pos :: Lens' Content Int

text :: Lens' Content String

above :: Lens' Content [String]

below :: Lens' Content [String]

singleLine :: Line -> Content

Single line Content.

noContent :: Content

Default Content value

shift :: Content -> (String, Content)

Shifts the first line off of the Content, yielding the text of the line and the rest of the content.

toStrings :: Content -> NonEmpty String

fromStrings :: NonEmpty String -> Content

Focused line

data Line

Constructors

Line

Fields

• _pos :: !Int
• _text :: !String

Instances

Read Line

Defined in Client.State.EditBox.Content

Methods

readsPrec :: Int -> ReadS Line

readList :: ReadS [Line]

readPrec :: ReadPrec Line

readListPrec :: ReadPrec [Line]

Show Line

Defined in Client.State.EditBox.Content

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

HasLine Line

Defined in Client.State.EditBox.Content

Methods

line :: Lens' Line Line

pos :: Lens' Line Int

text :: Lens' Line String

class HasLine c where

Minimal complete definition

line

Methods

line :: Lens' c Line

pos :: Lens' c Int

text :: Lens' c String

Instances

HasLine Line

Defined in Client.State.EditBox.Content

Methods

line :: Lens' Line Line

pos :: Lens' Line Int

text :: Lens' Line String

HasLine Content

Defined in Client.State.EditBox.Content

Methods

line :: Lens' Content Line

pos :: Lens' Content Int

text :: Lens' Content String

HasLine EditBox

Defined in Client.State.EditBox

Methods

line :: Lens' EditBox Line

pos :: Lens' EditBox Int

text :: Lens' EditBox String

endLine :: String -> Line

Movements

left :: Content -> Content

Move the cursor left, across lines if necessary.

right :: Content -> Content

Move the cursor right, across lines if necessary.

leftWord :: Content -> Content

Move the cursor left to the previous word boundary.

rightWord :: Content -> Content

Move the cursor right to the next word boundary.

jumpLeft :: Content -> Content

When at beginning of line, jump to beginning of previous line. Otherwise jump to beginning of current line.

jumpRight :: Content -> Content

When at end of line, jump to end of next line. Otherwise jump to end of current line.

Edits

delete :: Content -> Content

Delete the character after/under the cursor.

backspace :: Content -> Content

Delete the character before the cursor.

insertPastedString :: String -> Content -> Content

Smarter version of insertString that removes spurious newlines.

insertString :: String -> Content -> Content

Insert string at cursor, cursor is advanced to the end of the inserted string.

insertChar :: Char -> Content -> Content

Insert character at cursor, cursor is advanced.

toggle :: Content -> Content

digraph :: Content -> Maybe Content

Use the two characters preceeding the cursor as a digraph and replace them with the corresponding character.