zipper -is:module -package:zippers
Create a zipper, focused on the top-left value.
Not on Stackage, so not searched.
Generic zipper for families of recursive datatypes
Zipper structure, whose root type is the first type argument, and
whose focus type is the second type argument.
A generic zipper with a root object of type root.
Create a zipper with a different focus type from the outer type. Will
return Nothing if there are no instances of the focus type
within the original value.
differentiate zs xs takes the first
z from
z2
that also belongs to xs
and turns xs
into a stack
with z
being the current element. Acts as
differentiate if zs
and xs@ don't intersect.
Not on Stackage, so not searched.
Zipper utils that weren't in Control.Comonad.Store.Zipper
Not on Stackage, so not searched.
An implementationg of Attribute Grammars using Functional Zippers
Zipper for rose trees
A zipper consist of the current tree and the branches on the way back
to the root
Conversion of a navigatable rose tree into an ordinary rose tree.
The context, the parts for moving up to the root are just removed from
the tree. So when transforming a navigatable tree by moving around and
by changing some nodes, one has to navigate back to the root, else
that parts are removed from the result
Conversion of a rose tree into a navigatable rose tree
From a zipper take the whole structure, including any modifications.
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.