Control.Zipper
data Top
type family h :> p
type h :>> a
data a :@ i
data Zipper h i a
zipper
focus
focusedContext
upward
downward
idownward
within
iwithin
withins
iwithins
leftward
rightward
leftmost
rightmost
tug
tugs
jerks
farthest
tooth
teeth
jerkTo
tugTo
moveTo
moveToward
rezip
type family Zipped h a
class Zipping h a
data Tape h i a
saveTape
restoreTape
restoreNearTape
fromWithin
ifromWithin
unsafelyRestoreTape