text-zipper-0.13: A text editor zipper library

Index

breakLine | Data.Text.Zipper
clearZipper | Data.Text.Zipper
currentChar | Data.Text.Zipper
currentLine | Data.Text.Zipper
cursorPosition | Data.Text.Zipper
deleteChar | Data.Text.Zipper
deletePrevChar | Data.Text.Zipper
deletePrevWord | Data.Text.Zipper.Generic.Words
deleteWord | Data.Text.Zipper.Generic.Words
drop | Data.Text.Zipper.Generic
GenericTextZipper | Data.Text.Zipper.Generic
getLineLimit | Data.Text.Zipper
getText | Data.Text.Zipper
gotoBOF | Data.Text.Zipper
gotoBOL | Data.Text.Zipper
gotoEOF | Data.Text.Zipper
gotoEOL | Data.Text.Zipper
init | Data.Text.Zipper.Generic
insertChar | Data.Text.Zipper
insertMany | Data.Text.Zipper
killToBOF | Data.Text.Zipper
killToBOL | Data.Text.Zipper
killToEOF | Data.Text.Zipper
killToEOL | Data.Text.Zipper
last | Data.Text.Zipper.Generic
length | Data.Text.Zipper.Generic
lineLengths | Data.Text.Zipper
lines | Data.Text.Zipper.Generic
mkZipper | Data.Text.Zipper
moveCursor | Data.Text.Zipper
moveCursorClosest | Data.Text.Zipper
moveDown | Data.Text.Zipper
moveLeft | Data.Text.Zipper
moveRight | Data.Text.Zipper
moveUp | Data.Text.Zipper
moveWordLeft | Data.Text.Zipper.Generic.Words
moveWordRight | Data.Text.Zipper.Generic.Words
nextChar | Data.Text.Zipper
null | Data.Text.Zipper.Generic
previousChar | Data.Text.Zipper
singleton | Data.Text.Zipper.Generic
stringZipper | Data.Text.Zipper
take | Data.Text.Zipper.Generic
TextZipper | Data.Text.Zipper
textZipper |
1 (Function) | Data.Text.Zipper
2 (Function) | Data.Text.Zipper.Generic
toList | Data.Text.Zipper.Generic
transposeChars | Data.Text.Zipper
vectorZipper | Data.Text.Zipper