<.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. |