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]] = ()
)
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
|
()
|