Module traverse

Term traversal transformations.

Functions

All(operand)
Applies a transformation to all direct subterms of a term.

One(operand)
Applies a transformation to exactly one direct subterm of a term.

Some(operand)
Applies a transformation to as many direct subterms of a term, but at list one.

Traverse(Subterms, down=None, up=None, stop=None, Enter=None, Leave=None)
Generic traversal.

DownUp(down=None, up=None, stop=None)

TopDown(operand, stop=None)

BottomUp(operand, stop=None)

InnerMost(operand)

AllTD(operand)
Apply a transformation to all subterms, but stops recursing as soon as it finds a subterm to which the transformation succeeds.

AllBU(operand)

OnceTD(operand, stop=None)
Performs a left to right depth first search/transformation that stops as soon as the the transformation has been successfuly applied.

OnceBU(operand)

SomeTD(operand)

SomeBU(operand)

ManyTD(operand)

ManyBU(operand)

Leaves(operand, isLeaf)