Control.Lens.Zipper

Zippers

data Top

data p :> a

Focusing

Horizontal movement

Lateral movement

Closing the Zipper

type family Zipped h a

class Zipper h a

Saving your Progress

data Tape k

unsafelyRestore