Enum ProviderContractError 

pub enum ProviderContractError {
    WrongOperationFamily {
        expected: CoreCapabilityKind,
        operation: &'static str,
    },
    BindingMismatch {
        expected: Box<PreparedOperationBinding>,
        actual: Box<PreparedOperationBinding>,
    },
    ProjectionMismatch {
        expected: Box<SpecializationProjection>,
        actual: Box<SpecializationProjection>,
    },
    InvalidSpecialization {
        source: SpecializationError,
    },
    NonWideningSpecialization {
        previous: Box<SpecializationRequirements>,
        next: Box<SpecializationRequirements>,
    },
    SpecializationRetryLimitExceeded {
        attempts: usize,
        limit: usize,
    },
}

Reports provider violations of runtime preparation contracts.

Examples

use tenferro_runtime::{CoreCapabilityKind, ProviderContractError};

let error = ProviderContractError::WrongOperationFamily {
    expected: CoreCapabilityKind::Elementwise,
    operation: "dot_general",
};
assert!(error.to_string().contains("dot_general"));

Variants

WrongOperationFamily

A provider accepted a request from the wrong core operation family.

Fields

expected: CoreCapabilityKind

Expected core capability family.

operation: &'static str

Operation diagnostic name.

BindingMismatch

A prepared operation returned a different binding than requested.

Fields

expected: Box<PreparedOperationBinding>

Runtime-created binding requested from the provider.

actual: Box<PreparedOperationBinding>

Binding returned by the provider.

ProjectionMismatch

A prepared operation returned a different specialization projection.

Fields

expected: Box<SpecializationProjection>

Runtime-created projection requested from the provider.

actual: Box<SpecializationProjection>

Projection returned by the provider.

InvalidSpecialization

A provider returned an invalid specialization.

Fields

source: SpecializationError

Original specialization failure.

NonWideningSpecialization

A provider requested specialization that did not strictly widen the current requirements.

Fields

previous: Box<SpecializationRequirements>

Previous specialization requirements.

next: Box<SpecializationRequirements>

Provider-requested specialization requirements.

SpecializationRetryLimitExceeded

A provider exceeded the finite specialization retry bound.

Fields

attempts: usize

Number of redirect attempts observed.

limit: usize

Computed finite retry bound.

Trait Implementations

impl Clone for ProviderContractError

fn clone(&self) -> ProviderContractError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProviderContractError

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

Formats the value using the given formatter.

impl Display for ProviderContractError

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

Formats the value using the given formatter.

impl Error for ProviderContractError

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 PartialEq for ProviderContractError

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

impl StructuralPartialEq for ProviderContractError