text-zipper-0.13: A text editor zipper library
Contents
Index
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