Enum ExtensionResolutionError

#[non_exhaustive]
pub enum ExtensionResolutionError {
    OpaqueOpError(OpaqueOpError),
    MissingOpExtension {
        node: Option<Node>,
        op: OpName,
        missing_extension: ExtensionId,
        available_extensions: Vec<ExtensionId>,
    },
    MissingTypeExtension {
        node: Option<Node>,
        ty: TypeName,
        missing_extension: ExtensionId,
        available_extensions: Vec<ExtensionId>,
    },
    WrongTypeDefExtension {
        extension: ExtensionId,
        def: TypeName,
        wrong_extension: ExtensionId,
    },
    WrongOpDefExtension {
        extension: ExtensionId,
        def: OpName,
        wrong_extension: ExtensionId,
    },
    InvalidConstTypes {
        value: ValueName,
        missing_extensions: ExtensionSet,
    },
}

Errors that can occur during extension resolution.

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.

OpaqueOpError(OpaqueOpError)

Could not resolve an opaque operation to an extension operation.

MissingOpExtension

An operation requires an extension that is not in the given registry.

Fields

node: Option<Node>

The node that requires the extension.

op: OpName

The operation that requires the extension.

missing_extension: ExtensionId

The missing extension

available_extensions: Vec<ExtensionId>

A list of available extensions.

MissingTypeExtension

A type references an extension that is not in the given registry.

Fields

node: Option<Node>

The node that requires the extension.

ty: TypeName

The type that requires the extension.

missing_extension: ExtensionId

The missing extension

available_extensions: Vec<ExtensionId>

A list of available extensions.

WrongTypeDefExtension

A type definition’s extension_id does not match the extension it is in.

Fields

extension: ExtensionId

The extension that defines the type.

def: TypeName

The type definition name.

wrong_extension: ExtensionId

The extension declared in the type definition’s extension_id.

WrongOpDefExtension

An operation definition’s extension_id does not match the extension it is in.

Fields

extension: ExtensionId

The extension that defines the op.

def: OpName

The op definition name.

wrong_extension: ExtensionId

The extension declared in the op definition’s extension_id.

InvalidConstTypes

The type of an OpaqueValue has types which do not reference their defining extensions.

Fields

value: ValueName

The value that has invalid types.

missing_extensions: ExtensionSet

The missing extension.

Implementations

impl ExtensionResolutionError

pub fn missing_op_extension( node: Option<Node>, op: &OpType, missing_extension: &ExtensionId, extensions: &ExtensionRegistry, ) -> Self

Create a new error for missing operation extensions.

pub fn missing_type_extension( node: Option<Node>, ty: &TypeName, missing_extension: &ExtensionId, extensions: &WeakExtensionRegistry, ) -> Self

Create a new error for missing type extensions.

Trait Implementations

impl Clone for ExtensionResolutionError

fn clone(&self) -> ExtensionResolutionError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExtensionResolutionError

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

Formats the value using the given formatter.

impl Display for ExtensionResolutionError

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

Formats the value using the given formatter.

impl Error for ExtensionResolutionError

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<ExtensionResolutionError> for ExtensionRegistryLoadError

fn from(source: ExtensionResolutionError) -> Self

Converts to this type from the input type.

impl From<ExtensionResolutionError> for LoadHugrError

fn from(source: ExtensionResolutionError) -> Self

Converts to this type from the input type.

impl From<ExtensionResolutionError> for PackageEncodingError

fn from(value: ExtensionResolutionError) -> Self

Converts to this type from the input type.

impl From<OpaqueOpError> for ExtensionResolutionError

fn from(value: OpaqueOpError) -> Self

Converts to this type from the input type.

impl PartialEq for ExtensionResolutionError

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