Potato.Data.Text.Zipper2

Documentation

charWidth :: Char -> Int

Get the display width of a Char. "Full width" and "wide" characters take two columns and everything else takes a single column. See https://www.unicode.org/reports/tr11/ for more information This is implemented using wcwidth from Vty such that it matches what will be displayed on the terminal. Note that this method can change depending on how vty is configed. Please see vty documentation for details.

data TextZipper

Constructors

TextZipper

Fields

• _textZipper_linesBefore :: [Text]
• _textZipper_before :: Text
• _textZipper_selected :: [Text]
• _textZipper_after :: Text
• _textZipper_linesAfter :: [Text]

Instances

IsString TextZipper

Defined in Potato.Data.Text.Zipper2

Methods

fromString :: String -> TextZipper

Show TextZipper

Defined in Potato.Data.Text.Zipper2

Methods

showsPrec :: Int -> TextZipper -> ShowS

show :: TextZipper -> String

showList :: [TextZipper] -> ShowS

Eq TextZipper

Defined in Potato.Data.Text.Zipper2

Methods

(==) :: TextZipper -> TextZipper -> Bool

(/=) :: TextZipper -> TextZipper -> Bool

mapZipper :: (Char -> Char) -> TextZipper -> TextZipper

Map a replacement function over the characters in a TextZipper

appendEnd :: [Text] -> Text -> [Text]

left :: TextZipper -> TextZipper

Move the cursor left one character (clearing the selection)

leftN :: Int -> TextZipper -> TextZipper

Move the cursor left by the given number of characters (clearing the selection)

shiftLeftN :: TextZipper -> TextZipper

expand the selection to the left the given number of characters

leftWord :: TextZipper -> TextZipper

Move the cursor to the left one word (clearing the selection)

shiftLeftWord :: TextZipper -> TextZipper

Expand the selection to the left by one word

right :: TextZipper -> TextZipper

Move the cursor right one character (clearing the selection)

rightN :: Int -> TextZipper -> TextZipper

Move the character right by the given number of characters (clearing the selection)

shiftRightN :: TextZipper -> TextZipper

expand the selection to the right the given number of characters

rightWord :: TextZipper -> TextZipper

Move the cursor to the right one word (clearing the selection)

rightLeftWord :: TextZipper -> TextZipper

Expand the selection to the right by one word

deselect :: TextZipper -> TextZipper

Clear the selection and move the cursor to the end of selection

up :: TextZipper -> TextZipper

Move the cursor up one logical line (clearing the selection)

down :: TextZipper -> TextZipper

Move the cursor down one logical line (clearing the selection)

pageUp :: Int -> TextZipper -> TextZipper

Move the cursor up by the given number of lines (clearing the selection)

pageDown :: Int -> TextZipper -> TextZipper

Move the cursor down by the given number of lines (clearing the selection)

home :: TextZipper -> TextZipper

Move the cursor to the beginning of the current logical line (clearing the selection)

end :: TextZipper -> TextZipper

Move the cursor to the end of the current logical line (clearing the selection)

top :: TextZipper -> TextZipper

Move the cursor to the top of the document (clearing the selection)

insertChar :: Char -> TextZipper -> TextZipper

Insert a character at the current cursor position (overwriting the selection)

insert :: Text -> TextZipper -> TextZipper

Insert text at the current cursor position (overwriting the selection)

deleteSelection :: TextZipper -> TextZipper

Delete the selection

deleteLeft :: TextZipper -> TextZipper

Delete the selection or the character to the left of the cursor if there was no selection

deleteRight :: TextZipper -> TextZipper

Delete the selection to the character to the right of the cursor if there was no selection

deleteLeftWord :: TextZipper -> TextZipper

Delete the selection and the word to the left of the cursor and the selection. When deleting the word to the left of the selection, deletes all whitespace until it finds a non-whitespace character, and then deletes contiguous non-whitespace characters.

tab :: Int -> TextZipper -> TextZipper

Insert up to n spaces to get to the next logical column that is a multiple of n

value :: TextZipper -> Text

The plain text contents of the zipper

empty :: TextZipper

The empty zipper

fromText :: Text -> TextZipper

Constructs a zipper with the given contents. The cursor is placed after the contents.

data TextAlignment

Text alignment type

Constructors

TextAlignment_Left

TextAlignment_Right

TextAlignment_Center

Instances

Show TextAlignment

Defined in Potato.Data.Text.Zipper2

Methods

showsPrec :: Int -> TextAlignment -> ShowS

show :: TextAlignment -> String

showList :: [TextAlignment] -> ShowS

Eq TextAlignment

Defined in Potato.Data.Text.Zipper2

Methods

(==) :: TextAlignment -> TextAlignment -> Bool

(/=) :: TextAlignment -> TextAlignment -> Bool

type OffsetMapWithAlignment = Map Int (Int, Int)

data DisplayLines

Information about the document as it is displayed (i.e., post-wrapping)

Constructors

DisplayLines

Fields

• _displayLines_text :: [[Text]]
• _displayLines_offsetMap :: OffsetMapWithAlignment
• _displayLines_cursorPos :: (Int, Int)
• _displayLines_selectionCount :: Int

Instances

Show DisplayLines

Defined in Potato.Data.Text.Zipper2

Methods

showsPrec :: Int -> DisplayLines -> ShowS

show :: DisplayLines -> String

showList :: [DisplayLines] -> ShowS

Eq DisplayLines

Defined in Potato.Data.Text.Zipper2

Methods

(==) :: DisplayLines -> DisplayLines -> Bool

(/=) :: DisplayLines -> DisplayLines -> Bool

goToDisplayLinePosition :: Bool -> Int -> Int -> DisplayLines -> TextZipper -> TextZipper

Adjust the cursor and/or selection of the TextZipper by the given display line coordinates If the x coordinate is beyond the startend of a line, the cursor is moved to the startend of that line respectively if add is true, the selection is expanded to the given position if add is false, the selection is cleared and the cursor is moved to the given position

displayLinesWithAlignment

Arguments

:: TextAlignment

-> Int

Width, used for wrapping

-> TextZipper

The text input contents and cursor state

-> DisplayLines

Given a TextAlignment, a width and a TextZipper, produce a DisplayLines wrapping happens at word boundaries such that the most possible words fit into each display line if a line can not be wrapped (i.e. it contains a word longer than the display width) then the line is cropped in the middle of the word as necessary