Enum ScatterReject 

pub enum ScatterReject {
    NoLoop,
    NoRowLoop,
    NoRowStore,
    UnsupportedTerm,
    NotInt,
    NonAffineIndex,
    NotScatterLayout,
    NoRank1Update,
    NotCounted,
    ExtraWork,
    NotFromZero,
}

Why a program is not a recognizable scatter accumulation, least to most advanced.

Variants

NoLoop

No While counter is less than BOUND loop.

NoRowLoop

A loop with no elementwise loop over the row inside it.

NoRowStore

The row loop does not write one array at its counter (Set item (c + k) of sub to …, or an If whose two arms each write it).

UnsupportedTerm

The row term reads something other than array elements and constants, uses an operator or calls a function a term does not have, or is ill-typed.

NotInt

A well-typed row term, but not an Int over Int arrays — the integer covariance the app computes.

NonAffineIndex

An index is not affine in the counters.

NotScatterLayout

A read that is not at the row, the column, or the row-major element of both.

NoRank1Update

The row’s vector is not added to a C × C matrix as a rank-1 update of itself (S[i·C + j] += sub[i]·sub[j]).

NotCounted

A counter not set to a constant right before its loop, or not stepped by exactly one.

ExtraWork

A loop body does more than the scatter accumulation.

NotFromZero

The matrix is not filled with zeros before the rows are added.

Trait Implementations

impl Clone for ScatterReject

fn clone(&self) -> ScatterReject

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScatterReject

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

Formats the value using the given formatter.

impl Ord for ScatterReject

fn cmp(&self, other: &ScatterReject) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ScatterReject

fn eq(&self, other: &ScatterReject) -> 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 PartialOrd for ScatterReject

fn partial_cmp(&self, other: &ScatterReject) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for ScatterReject

impl Eq for ScatterReject

impl StructuralPartialEq for ScatterReject