Data.Generics.Zipper

Core types

data Zipper root

Core interface

Injection and projection

toZipper

fromZipper

Basic movement

left

right

down

down'

up

Basic hole manipulation

query

trans

transM

Convenience hole manipulation interface

getHole

setHole

setHole'

Generic zipper traversals

Traversal helpers

Query

moveQ

leftQ

rightQ

downQ

upQ

Transform

moveT

leftT

rightT

downT

upT

Monadic Transform

moveM

rightM

downM

upM

Movement

leftmost

rightmost

Map traversals

zmapQ

zmapT

zmapM

zmapMp

Tree traversals

zeverywhere

zeverywhere'

zsomewhere

zreduce