Control.Lens.Internal.Zipper

# Jacket

data Jacket i a

size

nullLeft

nullRight

maximal

jacketIns

# Flow

data Flow i b a

jacketOuts

jacket

# Paths

data Path i a

offset

pathsize

# Recursion

recompress

startl

startr

movel

mover

# Zippers

data Top

data Zipper h i a

data a :@ i

type family h :> p

type h :>> a

type family Zipped h a

data Coil t i a

focus

zipper

focalPoint

tooth

upward

rightward

leftward

leftmost

rightmost

tug

tugs

farthest

jerks

teeth

jerkTo

tugTo

moveToward

moveTo

lensed

downward

idownward

within

iwithin

withins

iwithins

fromWithin

ifromWithin

class Zipping h a

rezip

focusedContext

# Tapes

data Tape h i a

saveTape

restoreTape

restoreNearTape

unsafelyRestoreTape

# Tracks

peel

data Track t i a

restoreTrack

restoreNearTrack

unsafelyRestoreTrack