RecursionFn
Value members
Concrete methods
See "Abstracting Definitional Interpreters".
See "Abstracting Definitional Interpreters".
ana that can build multiple levels in a single pass
ana that can build multiple levels in a single pass
cata that retains values of all previous (i.e. child) steps
cata that retains values of all previous (i.e. child) steps
cata that has access to current subtree (Fix[F]) as well as that subtree's folded result (A)
cata that has access to current subtree (Fix[F]) as well as that subtree's folded result (A)
ana that creates a structure, transforming each new child (i.e. the entire structure as exists at the end of a pass). Top-most structure (i.e. the end result) is not transformed. Inside to outside.
ana that creates a structure, transforming each new child (i.e. the entire structure as exists at the end of a pass). Top-most structure (i.e. the end result) is not transformed. Inside to outside.