UsedExtensionResolver¶

class hugr.ext.UsedExtensionResolver(_used_extensions: dict[ExtensionId, ExtensionVersions] = <factory>, _unresolved_extensions: set[ExtensionId] = <factory>, _unresolved_ops: dict[tuple[tys.ExtensionId, str], ops.Custom] = <factory>, _unresolved_types: dict[tuple[tys.ExtensionId, str], tys.Opaque] = <factory>)[source]¶

Bases: object

A stateful helper class for resolving used extensions, enabling to ensure that certain extensions are present and unresolved operations are added efficiently.

Methods

`ensure_unresolved`
`ensure_unresolved_op`
`ensure_unresolved_type`
`extend_with_result`	Add the values from another result to this resolver.
`register`
`result`

extend_with_result(result: ExtensionResolutionResult) → None[source]¶

Add the values from another result to this resolver.

Parameters:: result – The result of resolving extensions to add.