Language.KURE.Walker

Shallow Traversals

Tree Walkers

class Walker c u

Child Transformations

childR

childT

Deep Traversals

Traversals for Rewrites

alltdR

allbuR

allduR

anytdR

anybuR

anyduR

onetdR

onebuR

prunetdR

innermostR

allLargestR

anyLargestR

oneLargestR

Traversals for Transformations

foldtdT

foldbuT

onetdT

onebuT

prunetdT

crushtdT

crushbuT

collectT

collectPruneT

allLargestT

oneLargestT

Utilitity Transformations

childrenT

summandIsTypeT

Paths

Building Lenses from Paths

pathL

localPathL

exhaustPathL

repeatPathL

Applying transformations at the end of Paths

pathR

pathT

localPathR

localPathT

Testing Paths

testPathT