Enum IrError 

pub enum IrError {
    EmptyEinsumSpec,
    InvalidEinsumSpec {
        spec: String,
        reason: String,
    },
    TensorIndexOutOfBounds {
        index: usize,
        max: usize,
    },
    OutputIndexOutOfBounds {
        index: usize,
        max: usize,
    },
    NodeValidation {
        node: usize,
        message: String,
    },
    PredicateNotFound {
        name: String,
    },
    ArityMismatch {
        name: String,
        expected: usize,
        actual: usize,
    },
    TypeMismatch {
        name: String,
        arg_index: usize,
        expected: String,
        actual: String,
    },
    UnboundVariable {
        var: String,
    },
    InconsistentTypes {
        var: String,
        type1: String,
        type2: String,
    },
    DomainNotFound {
        name: String,
    },
    DomainAlreadyExists {
        name: String,
    },
    DomainIncompatible {
        domain1: String,
        domain2: String,
    },
    VariableDomainMismatch {
        var: String,
        expected: String,
        actual: String,
    },
    UnsupportedAggregation {
        op: String,
    },
    CyclicGraph,
    UnificationFailure {
        type1: String,
        type2: String,
    },
    OccursCheckFailure {
        var: String,
        ty: String,
    },
    KindMismatch {
        expected: String,
        actual: String,
    },
    LinearityViolation(String),
    SerializationError(String),
    DomainMismatch {
        expected: String,
        found: String,
    },
    ConstraintViolation {
        message: String,
    },
    FormattingError(Error),
}

Variants

EmptyEinsumSpec

InvalidEinsumSpec

Fields

spec: String

reason: String

TensorIndexOutOfBounds

Fields

index: usize

max: usize

OutputIndexOutOfBounds

Fields

index: usize

max: usize

NodeValidation

Fields

node: usize

message: String

PredicateNotFound

Fields

name: String

ArityMismatch

Fields

name: String

expected: usize

actual: usize

TypeMismatch

Fields

name: String

arg_index: usize

expected: String

actual: String

UnboundVariable

Fields

var: String

InconsistentTypes

Fields

var: String

type1: String

type2: String

DomainNotFound

Fields

name: String

DomainAlreadyExists

Fields

name: String

DomainIncompatible

Fields

domain1: String

domain2: String

VariableDomainMismatch

Fields

var: String

expected: String

actual: String

UnsupportedAggregation

Fields

op: String

CyclicGraph

UnificationFailure

Fields

type1: String

type2: String

OccursCheckFailure

Fields

var: String

ty: String

KindMismatch

Fields

expected: String

actual: String

LinearityViolation(String)

SerializationError(String)

DomainMismatch

Fields

expected: String

found: String

ConstraintViolation

Fields

message: String

FormattingError(Error)

Trait Implementations

impl Debug for IrError

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

Formats the value using the given formatter.

impl Display for IrError

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

Formats the value using the given formatter.

impl Error for IrError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl From<Error> for IrError

fn from(source: Error) -> Self

Converts to this type from the input type.