oryx.experimental.matching.rules.Expression

A class that is auto-registered with tree_map and tree_children.

Inherits From: Pattern

Subclassing Expression and implementing Expression.tree_map and Expression.tree_children will result in a class whose instances that can be recursively rewritten with rule combinators.

Methods

match

View source

match(
    expr: Expr,
    bindings: oryx.experimental.matching.jax_rewrite.Bindings,
    succeed: oryx.experimental.matching.jax_rewrite.Continuation
) -> oryx.experimental.matching.jax_rewrite.Success

tree_children

View source

tree_children()

tree_map

View source

tree_map(
    fn
)