oryx.experimental.matching.matcher.Var

Adds a named "wildcard" pattern that can match anything.

Inherits From: Pattern

oryx.experimental.matching.matcher.Var(
    name: Optional[str], restrictions: Sequence[Callable[[Expr], bool]] = ()
)

name A str name for the Var. When the Var is successfully matched to an expression, a new binding (name-expression pair) will be created in the bindings for subsequent matches. If name is None, no binding will be created.
restrictions An optional sequence of predicate functions that take in the expression to be matched against and return a bool. The match is only successful if all predicate functions return True. By default, restrictions is empty, so a Var will match any expression.

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

ok

View source

ok(
    expr: Expr
) -> bool

__eq__

__eq__(
    other
)

restrictions ()