Enum SignatureError

#[non_exhaustive]
pub enum SignatureError {
    NameMismatch(TypeName, TypeName),
    ExtensionMismatch(ExtensionId, ExtensionId),
    TypeArgMismatch(TermTypeError),
    InvalidTypeArgs,
    MissingTypeExtension {
        typ: TypeName,
        missing: ExtensionId,
    },
    ExtensionTypeNotFound {
        exn: ExtensionId,
        typ: TypeName,
    },
    WrongBound {
        actual: TypeBound,
        expected: TypeBound,
    },
    TypeVarDoesNotMatchDeclaration {
        actual: Box<TypeParam>,
        cached: Box<TypeParam>,
    },
    FreeTypeVar {
        idx: usize,
        num_decls: usize,
    },
    RowVarWhereTypeExpected {
        var: RowVariable,
    },
    CallIncorrectlyAppliesType {
        cached: Box<Signature>,
        expected: Box<Signature>,
    },
    LoadFunctionIncorrectlyAppliesType {
        cached: Box<Signature>,
        expected: Box<Signature>,
    },
    MissingComputeFunc,
    MissingValidateFunc,
}

An error that can occur in computing the signature of a node. TODO: decide on failure modes

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

NameMismatch(TypeName, TypeName)

Name mismatch

ExtensionMismatch(ExtensionId, ExtensionId)

Extension mismatch

TypeArgMismatch(TermTypeError)

When the type arguments of the node did not match the params declared by the OpDef

InvalidTypeArgs

Invalid type arguments

MissingTypeExtension

The weak Extension reference for a custom type has been dropped.

Fields

typ: TypeName

missing: ExtensionId

ExtensionTypeNotFound

The Extension was found in the registry, but did not contain the Type(Def) referenced in the Signature

Fields

exn: ExtensionId

typ: TypeName

WrongBound

The bound recorded for a CustomType doesn’t match what the TypeDef would compute

Fields

actual: TypeBound

expected: TypeBound

TypeVarDoesNotMatchDeclaration

A Type Variable’s cache of its declared kind is incorrect

Fields

actual: Box<TypeParam>

cached: Box<TypeParam>

FreeTypeVar

A type variable that was used has not been declared

Fields

idx: usize

num_decls: usize

RowVarWhereTypeExpected

A row variable was found outside of a variable-length row

Fields

var: RowVariable

CallIncorrectlyAppliesType

The result of the type application stored in a Call is not what we get by applying the type-args to the polymorphic function

Fields

cached: Box<Signature>

expected: Box<Signature>

LoadFunctionIncorrectlyAppliesType

The result of the type application stored in a LoadFunction is not what we get by applying the type-args to the polymorphic function

Fields

cached: Box<Signature>

expected: Box<Signature>

MissingComputeFunc

Extension declaration specifies a binary compute signature function, but none was loaded.

MissingValidateFunc

Extension declaration specifies a binary compute signature function, but none was loaded.

Trait Implementations

impl Clone for SignatureError

fn clone(&self) -> SignatureError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SignatureError

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

Formats the value using the given formatter.

impl Display for SignatureError

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

Formats the value using the given formatter.

impl Error for SignatureError

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<SignatureError> for BuildError

fn from(source: SignatureError) -> Self

Converts to this type from the input type.

impl From<SignatureError> for OpLoadError

fn from(source: SignatureError) -> Self

Converts to this type from the input type.

impl From<TermTypeError> for SignatureError

fn from(source: TermTypeError) -> Self

Converts to this type from the input type.

impl PartialEq for SignatureError

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

impl StructuralPartialEq for SignatureError