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