Enum FusionPattern 

pub enum FusionPattern {
    Node {
        op: &'static str,
        inputs: Vec<FusionPattern>,
        bind: Cow<'static, str>,
    },
    Any {
        bind: Cow<'static, str>,
    },
    VariadicNode {
        op: &'static str,
        child_pattern: Box<FusionPattern>,
        bind: Cow<'static, str>,
        min_children: usize,
    },
}

A structural pattern that matches a subgraph of the Polydat DAG.

Patterns are trees — each sub-pattern matches exactly one node. Diamond shapes (two pattern leaves matching the same upstream node) are handled by bind-name equality checks after matching.

Variants

Node

Match a node by its meta().name string.

Sub-patterns match the node’s inputs (respecting the node’s declared commutativity). The node’s jit_constants() are captured under bind.

Fields

op: &'static str

The node’s meta().name (e.g., “hash”, “mod”, “add”).

inputs: Vec<FusionPattern>

Sub-patterns for the node’s inputs.

bind: Cow<'static, str>

Binding name for this node’s constants in the match result.

Any

Match any wire source (coordinate, upstream node output, etc.). This is the “hole” — it captures the wire reference for rewiring to the fused replacement node.

Fields

bind: Cow<'static, str>

Binding name for this wire in the match result.

VariadicNode

Match a variadic node with N children, applying a sub-pattern to each child. Children are bound as {bind}_0, {bind}_1, etc.

Use for fusion rules that operate on variadic nodes like sum where the number of inputs isn’t known at rule-definition time.

Fields

op: &'static str

The node’s meta().name.

child_pattern: Box<FusionPattern>

Pattern applied to each child input.

bind: Cow<'static, str>

Binding prefix: children bound as {bind}_0, {bind}_1, … The node’s own constants are bound under {bind}.

min_children: usize

Minimum number of children to match.

Implementations

impl FusionPattern

pub fn node( op: &'static str, inputs: Vec<FusionPattern>, bind: impl Into<Cow<'static, str>>, ) -> Self

Convenience: node(op, inputs, bind).

pub fn any(bind: impl Into<Cow<'static, str>>) -> Self

Convenience: any(bind).

pub fn root_op(&self) -> Option<&'static str>

Return the root operation name, if this is a Node pattern.

Trait Implementations

impl Clone for FusionPattern

fn clone(&self) -> FusionPattern

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FusionPattern

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.