| <.foolbox_pipe | This operator is used together with 'rewrites' to transform a function after it is defined and before it is assigned to a name. |
| add_call_callback | Add a function-specific callback to the call callbacks. |
| add_topdown_callback | Add a function-specific callback to the top-down callbacks. |
| analyse | Functions for applying a sequence of rewrites. |
| analyse_expr | Functions for applying a sequence of rewrites. |
| analyse_expr_with | Functions for applying a sequence of rewrites. |
| analyse_with | Functions for applying a sequence of rewrites. |
| analysis_callbacks | Default expression-transformation callbacks. |
| annotate_assigned_symbols_callbacks | Put attribute "assigned_symbols" on expressions bottom-up |
| annotate_bound_symbols_in_function | Annotate sub-expressions with variables bound in their scope. |
| annotate_bound_variables_callbacks | Propagate parameters and local variables top-down to assign attribute "bound" to all call expressions. |
| collect_assigned_symbols_in_expression | Extracts all the symbols that appear on the left-hand side of an assignment. |
| collect_assigned_symbols_in_function | Extracts all the symbols that appear on the left-hand side of an assignment. |
| collect_from_args | Collect attributes set in the arguments to a call expression. |
| depth_first_analyse_expr | Analyse an expression. |
| depth_first_analyse_function | Analyse the body of function. |
| depth_first_rewrite_expr | Transform an expression. |
| depth_first_rewrite_function | Transform the body of function. |
| identity_analysis_callback | A callback that does not do any transformation. |
| identity_rewrite_callback | A callback that does not do any transformation. |
| make_with_callback | Create a function for setting callbacks. |
| merge_bottomup | Merge the results of several bottomup results. |
| nop_topdown_callback | Top-down analysis callback. |
| remove_formal | Remove a parameter from the formal parameters of a function. |
| remove_formal_ | Remove a parameter from the formal parameters of a function. |
| rewrite | Functions for applying a sequence of rewrites. |
| rewrites | Object for setting up a transformation pipeline when defining functions |
| rewrite_callbacks | Default expression-transformation callbacks. |
| rewrite_expr | Functions for applying a sequence of rewrites. |
| rewrite_expr_with | Functions for applying a sequence of rewrites. |
| rewrite_with | Functions for applying a sequence of rewrites. |
| set_warn_on_local_function | Collection of warning flags used when traversing expressions. |
| set_warn_on_unknown_function | Collection of warning flags used when traversing expressions. |
| unset_warn_on_local_function | Collection of warning flags used when traversing expressions. |
| unset_warn_on_unknown_function | Collection of warning flags used when traversing expressions. |
| warning_flags | Collection of warning flags used when traversing expressions. |
| with_atomic_callback | Default expression-transformation callbacks. |
| with_call_callback | Default expression-transformation callbacks. |
| with_pairlist_callback | Default expression-transformation callbacks. |
| with_primitive_callback | Default expression-transformation callbacks. |
| with_symbol_callback | Default expression-transformation callbacks. |
| with_topdown_call_callback | Default expression-transformation callbacks. |
| with_topdown_pairlist_callback | Default expression-transformation callbacks. |
| [.foolbox_rewrite_spec | Provide list of rewrite transformations. |