Enum ExtensionResolutionError

#[non_exhaustive]
pub enum ExtensionResolutionError<N: HugrNode = Node> {
    OpaqueOpError(OpaqueOpError<N>),
    MissingOpExtension {
        node: Option<N>,
        op: OpName,
        missing_extension: ExtensionId,
        available_extensions: Vec<ExtensionId>,
    },
    MissingTypeExtension {
        node: Option<N>,
        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<N>)

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<N>

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<N>

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<N: HugrNode> ExtensionResolutionError<N>

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

Create a new error for missing operation extensions.

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

Create a new error for missing type extensions.

Trait Implementations

impl<N: Clone + HugrNode> Clone for ExtensionResolutionError<N>

fn clone(&self) -> ExtensionResolutionError<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N: Debug + HugrNode> Debug for ExtensionResolutionError<N>

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

Formats the value using the given formatter.

impl<N: HugrNode> Display for ExtensionResolutionError<N>

where OpaqueOpError<N>: Display,

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

Formats the value using the given formatter.

impl<N: HugrNode> Error for ExtensionResolutionError<N>

where OpaqueOpError<N>: Debug + Display + Error + 'static, ExtensionResolutionError<N>: Debug + Display,

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(error: ExtensionResolutionError) -> Self

Converts to this type from the input type.

impl<N: HugrNode> From<OpaqueOpError<N>> for ExtensionResolutionError<N>

fn from(value: OpaqueOpError<N>) -> Self

Converts to this type from the input type.

impl<N: PartialEq + HugrNode> PartialEq for ExtensionResolutionError<N>

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