Control.Lens.Zipper

Zippers

data Top

data h :> a

type Zipper

zipper

Focusing

focus

focusedContext

Vertical Movement

upward

downward

within

withins

Lateral Movement

leftward

rightward

leftmost

rightmost

Movement Combinators

tug

tugs

jerks

farthest

Absolute Positioning

tooth

teeth

jerkTo

tugTo

Closing the zipper

rezip

type family Zipped h a

class Zipping h a

Recording

data Tape k

saveTape

restoreTape

restoreNearTape

Unsafe Movement

fromWithin

unsafelyRestoreTape