Enum SemanticAdError 

pub enum SemanticAdError {
    CoreOperation,
    EffectfulExtension {
        family_id: &'static str,
    },
    MissingRule {
        family_id: &'static str,
        role: SemanticAdRuleRole,
    },
    Arity {
        field: &'static str,
        expected: usize,
        actual: usize,
    },
    ForeignValue {
        field: &'static str,
        index: usize,
    },
    Unsupported {
        family_id: &'static str,
        role: SemanticAdRuleRole,
        message: String,
    },
    Rule {
        family_id: &'static str,
        role: SemanticAdRuleRole,
        source: Box<dyn Error + Send + Sync + 'static>,
    },
    Invariant {
        family_id: &'static str,
        role: SemanticAdRuleRole,
        message: String,
    },
    Build(ProgramBuildError),
}

Failures while dispatching or building semantic extension AD.

Variants

CoreOperation

The supplied operation is not an extension operation.

EffectfulExtension

Observable effects make implicit differentiation unsafe.

Fields

family_id: &'static str

Effectful extension family.

MissingRule

No rule is registered for the requested family and role.

Fields

family_id: &'static str

Extension family without a rule.

role: SemanticAdRuleRole

Missing semantic AD role.

Arity

An ordered request or result field has the wrong length.

Fields

field: &'static str

Name of the invalid ordered field.

expected: usize

Required field length.

actual: usize

Supplied field length.

ForeignValue

A request or result value belongs to another builder.

Fields

field: &'static str

Name of the invalid ordered field.

index: usize

Index of the foreign value.

Unsupported

A family-specific rule deliberately rejects this payload.

Fields

family_id: &'static str

Extension family that rejected the transform.

role: SemanticAdRuleRole

Rejected semantic AD role.

message: String

Bounded family-specific diagnostic.

Rule

A family-specific rule failed with a typed source error.

Fields

family_id: &'static str

Extension family whose rule failed.

role: SemanticAdRuleRole

Semantic AD role being evaluated.

source: Box<dyn Error + Send + Sync + 'static>

Original typed rule failure.

Invariant

A family-specific semantic rule invariant was violated.

Fields

family_id: &'static str

Extension family whose invariant failed.

role: SemanticAdRuleRole

Semantic AD role being evaluated.

message: String

Bounded invariant diagnostic.

Build(ProgramBuildError)

Semantic-program construction failed inside a rule.

Trait Implementations

impl Debug for SemanticAdError

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

Formats the value using the given formatter.

impl Display for SemanticAdError

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

Formats the value using the given formatter.

impl Error for SemanticAdError

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<ProgramBuildError> for SemanticAdError

fn from(source: ProgramBuildError) -> Self

Converts to this type from the input type.

impl From<SemanticAdError> for SemanticAdTransformError

fn from(source: SemanticAdError) -> Self

Converts to this type from the input type.