Enum StageRefusal 

pub enum StageRefusal {
    Unrecognized {
        stmt: usize,
        what: String,
    },
    UnliftedWrite {
        stmt: usize,
        tensor: String,
        why: &'static str,
    },
    NoKernel {
        stmt: usize,
        kind: &'static str,
        out: String,
        why: &'static str,
    },
}

Why the forward refuses one statement — the statement by its top-level index, and what it is.

Variants

Unrecognized

A compound statement no tensor recognizer lifts (a hand-written loop, a branch, an unknown block), named by its binder or loop variable.

Fields

stmt: usize

what: String

UnliftedWrite

A write to a declared tensor that no stage computes and no starting fill can hold.

Fields

stmt: usize

tensor: String

why: &'static str

NoKernel

An op the tensor front end lifts whose meaning this lane’s kernels do not compute — no kernel for the op, or a form of it (a field of its spec) the kernel does not implement.

Fields

stmt: usize

kind: &'static str

out: String

why: &'static str

Implementations

impl StageRefusal

pub fn stmt(&self) -> usize

The top-level statement the refusal names.

Trait Implementations

impl Clone for StageRefusal

fn clone(&self) -> StageRefusal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StageRefusal

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

Formats the value using the given formatter.

impl Display for StageRefusal

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

Formats the value using the given formatter.

impl PartialEq for StageRefusal

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

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

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 StageRefusal

impl StructuralPartialEq for StageRefusal