h&:7      !"#$%&'()*+,-./0123456 Safe-Inferred 7 Safe-Inferred! text-zipper)Get the line limit, if any, for a zipper. text-zipperCreate a zipper using a custom text storage type. Takes the initial text as well as all of the functions necessary to manipulate the underlying text values. text-zipper$Get the text contents of the zipper. text-zipper.Return the lengths of the lines in the zipper. text-zipper/Get the cursor position of the zipper; returns  (row, col). row ranges from [0..num_rows-1] inclusive; col ranges from [0..length of current line] inclusive. Column values equal to line width indicate a cursor that is just past the end of a line of text. text-zipperMove the cursor to the specified row and column. Invalid cursor positions will be ignored. Valid cursor positions range as described for . text-zipperMove the cursor to the specified row and column. Invalid cursor positions will be reinterpreted as the closest valid position. Valid cursor positions range as described for . text-zipperThe line of text on which the zipper's cursor currently resides.  text-zipper2Insert a character at the current cursor position.6If the character is a newline, break the current line.-If the character is non-printable, ignore it.Otherwise insert the character and move the cursor one position to the right.  text-zipperInsert many characters at the current cursor position. Move the cursor to the end of the inserted text.  text-zipper3Insert a line break at the current cursor position.  text-zipper/Move the cursor to the end of the current line.  text-zipper,Move the cursor to the end of a text zipper. text-zipperRemove all text from the cursor position to the end of the current line. If the cursor is at the beginning of a line and the line is empty, the entire line will be removed. text-zipperRemove all text from the cursor position to the beginning of the current line. text-zipperRemove all text from the cursor position to the end of the text zipper. If the cursor is at the beginning of a line and the line is empty, the entire line will be removed. text-zipperRemove all text from the cursor position to the beginning of the text zipper. text-zipperDelete the character preceding the cursor position, and move the cursor backwards by one character. text-zipperDelete the character at the cursor position. Leaves the cursor position unchanged. If the cursor is at the end of a line of text, this combines the line with the line below. text-zipperGet the Char on which the cursor currently resides. If the cursor is at the end of the text or the text is empty return Nothing. text-zipperGet the Char after the cursor position. If the cursor is at the end of a line return the first character of the next line, or if that one is empty as well, return Nothing. text-zipperGet the Char before the cursor position. If the cursor is at the beginning of the text, return Nothing text-zipper5Move the cursor to the beginning of the current line. text-zipper2Move the cursor to the beginning of a text zipper. text-zipperMove the cursor right by one position. If the cursor is at the end of a line, the cursor is moved to the first position of the following line (if any). text-zipperMove the cursor left by one position. If the cursor is at the beginning of a line, the cursor is moved to the last position of the preceding line (if any). text-zipperMove the cursor up by one row. If there no are rows above the current one, move to the first position of the current row. If the row above is shorter, move to the end of that row. text-zipperMove the cursor down by one row. If there are no rows below the current one, move to the last position of the current row. If the row below is shorter, move to the end of that row. text-zipperTranspose the character before the cursor with the one at the cursor position and move the cursor one position to the right. If the cursor is at the end of the current line, transpose the current line's last two characters. text-zipper$Construct a zipper from list values. text-zipper.Construct a zipper from vectors of characters.  text-zipperEmpty a zipper.! text-zipperConstruct a zipper from 8 values.  text-zipperA singleton constructor. text-zipper9. text-zipper:. text-zipper;. text-zipper<. text-zipper=. text-zipper>. text-zipper?. text-zippertoList.  text-zipperThe initial lines of text.  text-zipper"Limit to this many lines of text (@ means no limit)."  !"!      Safe-Inferred; %).'+*,(-&/ %).'+*,(-&/ Safe-Inferred.3 text-zipperMove one word to the left.A word is defined as a consecutive string not satisfying isSpace. This function always leaves the cursor at the beginning of a word (except at the very start of the text).4 text-zipperDelete the previous word.Does the same as 3< but deletes characters instead of simply moving past them.5 text-zipperMove one word to the right.A word is defined as a consecutive string not satisfying isSpace. This function always leaves the cursor at the end of a word (except at the very end of the text).6 text-zipperDelete the next word.Does the same as 5< but deletes characters instead of simply moving past them.34563546      !"#$%&'()*+,-./0123&456789:;<=>?@,?@-?A.?@/?@0?A1?B2?CD'text-zipper-0.13-Cu0DyVmc0WWAz2LsSeAwEbData.Text.ZipperData.Text.Zipper.GenericData.Text.Zipper.Generic.WordsData.Text.Zipper.Vector TextZipper getLineLimitmkZippergetText lineLengthscursorPosition moveCursormoveCursorClosest currentLine insertChar insertMany breakLinegotoEOLgotoEOF killToEOL killToBOL killToEOF killToBOFdeletePrevChar deleteChar currentCharnextChar previousChargotoBOLgotoBOF moveRightmoveLeftmoveUpmoveDowntransposeChars stringZipper vectorZipper clearZipper textZipper$fShowTextZipper$fEqTextZipper$fNFDataTextZipperGenericTextZipper singletondroptakelengthlastinitnulllinestoList$fGenericTextZipperVector$fGenericTextZipperText$fGenericTextZipper[] moveWordLeftdeletePrevWord moveWordRight deleteWordvecLines text-1.2.5.0Data.Text.InternalTextbaseGHC.List Data.Foldable Data.OldList GHC.MaybeNothing