ExtensionRegistry

class hugr.ext.ExtensionRegistry(extensions: dict[ExtensionId, Extension] = <factory>)

Bases: object

Registry of extensions.

Methods

add_extension	Add an extension to the registry.
get_extension	Retrieve an extension by name.

Attributes

extensions

Extensions in the registry, indexed by name.

exception ExtensionExists(extension_id: ExtensionId)

Bases: Exception

Extension already exists in registry.

add_note(note, /)

Add a note to the exception

with_traceback(tb, /)

Set self.__traceback__ to tb and return self.

exception ExtensionNotFound(extension_id: ExtensionId)

Bases: Exception

Extension not found in registry.

add_note(note, /)

Add a note to the exception

with_traceback(tb, /)

Set self.__traceback__ to tb and return self.

add_extension(extension: Extension) → Extension

Add an extension to the registry.

Parameters:

extension – The extension to add.

Returns:

The added extension.

Raises:

ExtensionExists – If an extension with the same name already exists.

extensions: dict[ExtensionId, Extension]

Extensions in the registry, indexed by name.

get_extension(name: ExtensionId) → Extension

Retrieve an extension by name.

Parameters:

name – The name of the extension.

Returns:

Extension in the registry.

Raises:

ExtensionNotFound – If the extension is not found in the registry.