Function Manipulation Toolbox


[Up] [Top]

Documentation for package ‘foolbox’ version 0.1.1

Help Pages

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