oryx.experimental.matching.matcher.Var

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

Inherits From: Pattern

View aliases

Main aliases

oryx.experimental.matching.jax_rewrite.matcher.Var

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

Attributes
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
)

Class Variables
restrictions	()