Control.Lens.Internal.Zipper

Zippers

data Top

data h :> a

type Zipper

type family Zipped h a

data Coil

focus

zipper

tooth

upward

rightward

leftward

leftmost

rightmost

tug

tugs

farthest

jerks

teeth

jerkTo

tugTo

downward

within

withins

fromWithin

class Zipping h a

rezip

focusedContext

Tapes

data Tape k

saveTape

restoreTape

restoreNearTape

unsafelyRestoreTape

Tracks

peel

data Track

restoreTrack

restoreNearTrack

unsafelyRestoreTrack

Helper functions

reverseList