zipper -is:module -package:nonempty-zipper -package:zipper-extra package:text-zipper
A text editor zipper library
This library provides a zipper and API for editing text.
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.
Construct a zipper from list values.
Construct a zipper from
Text values.
Construct a zipper from vectors of characters.