Control.Lens.Zipper

# Zippers

data Top

type family h :> p

type h :>> a

data a :@ i

data Zipper h i a

zipper

## Focusing

focus

focusedContext

## Vertical Movement

upward

downward

idownward

within

iwithin

withins

iwithins

## Lateral Movement

leftward

rightward

leftmost

rightmost

## Movement Combinators

tug

tugs

jerks

farthest

## Absolute Positioning

tooth

teeth

jerkTo

tugTo

moveTo

moveToward

## Closing the zipper

rezip

type family Zipped h a

class Zipping h a

## Recording

data Tape h i a

saveTape

restoreTape

restoreNearTape

## Unsafe Movement

fromWithin

ifromWithin

unsafelyRestoreTape