breakLine | Data.Text.Zipper |
currentLine | Data.Text.Zipper |
cursorPosition | Data.Text.Zipper |
deleteChar | Data.Text.Zipper |
deletePrevChar | Data.Text.Zipper |
getLineLimit | Data.Text.Zipper |
getText | Data.Text.Zipper |
gotoBOL | Data.Text.Zipper |
gotoEOL | Data.Text.Zipper |
insertChar | Data.Text.Zipper |
killToEOL | Data.Text.Zipper |
lineLengths | Data.Text.Zipper |
mkZipper | Data.Text.Zipper |
moveCursor | Data.Text.Zipper |
moveDown | Data.Text.Zipper |
moveLeft | Data.Text.Zipper |
moveRight | Data.Text.Zipper |
moveUp | Data.Text.Zipper |
stringZipper | Data.Text.Zipper |
TextZipper | Data.Text.Zipper |
textZipper | Data.Text.Zipper |