zipper package:text-zipper

This module provides a two-dimensional text zipper data structure. This structure represents a body of text and an editing cursor which can be moved throughout the text, along with a set of editing transformations. Text zippers are generalized over the set of data types that might be used to store lists of characters (e.g., String, Text, etc.). As a result, the most general way to create a text zipper is to use mkZipper and provide all of the functions required to manipulate the underlying text data. Implementations using Text and String are provided.

package text-zipper

Uses

A text editor zipper library This library provides a zipper and API for editing text.

data TextZipper a

text-zipper Data.Text.Zipper

clearZipper :: Monoid a => TextZipper a -> TextZipper a

text-zipper Data.Text.Zipper

Empty a zipper.

mkZipper :: Monoid a => (Char -> a) -> (Int -> a -> a) -> (Int -> a -> a) -> (a -> Int) -> (a -> Char) -> (a -> a) -> (a -> Bool) -> (a -> [a]) -> (a -> [Char]) -> [a] -> Maybe Int -> TextZipper a

text-zipper Data.Text.Zipper

Create 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.

stringZipper :: [String] -> Maybe Int -> TextZipper String

text-zipper Data.Text.Zipper

Construct a zipper from list values.

textZipper :: [Text] -> Maybe Int -> TextZipper Text

text-zipper Data.Text.Zipper

Construct a zipper from Text values.

vectorZipper :: [Vector Char] -> Maybe Int -> TextZipper (Vector Char)

text-zipper Data.Text.Zipper

Construct a zipper from vectors of characters.

class Monoid a => GenericTextZipper a

text-zipper Data.Text.Zipper.Generic

textZipper :: GenericTextZipper a => [a] -> Maybe Int -> TextZipper a

text-zipper Data.Text.Zipper.Generic