Control.Lens.Zipper
data Top
data h :> a
type Zipper
zipper
focus
focusedContext
upward
downward
within
withins
leftward
rightward
leftmost
rightmost
tug
tugs
jerks
farthest
tooth
teeth
jerkTo
tugTo
rezip
type family Zipped h a
class Zipping h a
data Tape k
saveTape
restoreTape
restoreNearTape
fromWithin
unsafelyRestoreTape