Rule

metrale_circuit::rules

Struct Rule

pub struct Rule {Show 14 fields
    pub id: String,
    pub pattern: Vec<PatternOp>,
    pub kernels: Vec<KernelId>,
    pub repeat: Repeat,
    pub copies: Option<Repeat>,
    pub emitter: String,
    pub rows: (u64, u64),
    pub modes: BTreeSet<Mode>,
    pub requires: BTreeSet<String>,
    pub when: BTreeMap<String, String>,
    pub numerics: Numerics,
    pub priority: i64,
    pub cite: String,
    pub runs: Vec<RunSelect>,
}

Expand description

2026-09-28: One fusion rule.

Fields§

§id: String

2026-09-28: Unique id.

§pattern: Vec<PatternOp>

2026-09-28: The op chain, each element reading an output of the one before.

§kernels: Vec<KernelId>

2026-09-28: The kernels the emitter launches for the chain, in order. Empty for a chain that runs as a copy-engine transfer (the embedding row copy).

§repeat: Repeat

2026-09-28: How often the kernels launch per step.

§copies: Option<Repeat>

2026-09-29: Copy-engine transfers the emitter issues besides its kernels, and how often; None for none (the verify conv’s state snapshots are per_row_but_last).

§emitter: String

2026-09-28: The executor’s emitter for this kernel.

§rows: (u64, u64)

2026-09-28: Inclusive row range.

§modes: BTreeSet<Mode>

2026-09-28: Modes it applies in.

§requires: BTreeSet<String>

2026-09-28: Kernel capability bits it needs.

§when: BTreeMap<String, String>

2026-09-28: Policy settings that must hold (kv_cache_dtype = "bf16").

§numerics: Numerics

2026-09-28: Numerics class.

§priority: i64

2026-09-28: Higher wins.

§cite: String

2026-09-28: The dispatch site(s) that make this choice today.

§runs: Vec<RunSelect>

2026-09-30: A per_run rule’s selectors ([[rule.run]]), in file order; empty for any other repeat.

Trait Implementations§

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for Rule

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

Formats the value using the given formatter. Read more

impl PartialEq for Rule

fn eq(&self, other: &Rule) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Rule

impl StructuralPartialEq for Rule

Auto Trait Implementations§

impl Freeze for Rule

impl RefUnwindSafe for Rule

impl Send for Rule

impl Sync for Rule

impl Unpin for Rule

impl UnwindSafe for Rule

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.