identity_rewrite_callback {foolbox}

A callback that does not do any transformation.

Description

Callbacks have one required argument, expr, but will actually be called with more. The additional named parameters are:

Usage

identity_rewrite_callback(expr, ...)

identity_analysis_callback(expr, bottomup, ...)

Arguments

expr

The expression to (not) transform.

...

Additional named parameters.

bottomup

Information gathered depth-first in analysis callbacks. This parameter is only passed to callbacks in analysis traversals and not rewrite traversals.

Details

• env The function environment of the function we are transforming

• params The formal parameters of the function we are transforming

• topdown Data passed top-down in the traversal.

• bottomup Data collected by depth-first traversals before a callback is called. plus whatever the user provide to depth_first_rewrite_function() or depth_first_analyse_function().

• next_cb A handle to call the next callback if more are installed. This variable will be the callback that was in the callbacks list before this one replaced it.

In bottom up analyses, the merge_bottomup() function can be used to collected the results of several recursive calls. When annotating expressions, the collect_from_args() can be used in call callbacks to extract annotation information from call arguments.

Value

expr

Functions

• identity_rewrite_callback: Identity for expression rewriting

• identity_analysis_callback: Identity for expression rewriting

See Also

merge_bottomup

collect_from_args