ExtensionDesc

class hugr.envelope.ExtensionDesc(name: str, version: Version)

Bases: object

High level description of a HUGR extension.

A list of these is stored at the module root node metadata under the hugr.metadata.HugrUsedExtensions entry.

Methods

from_json	Decodes the extension from a native types obtained from json.load.
to_json	Encodes the extension as a dictionary of native types that can be serialized by json.dump.

Attributes

name
version

classmethod from_json(value: Any) → ExtensionDesc

Decodes the extension from a native types obtained from json.load.

to_json() → dict[str, str]

Encodes the extension as a dictionary of native types that can be serialized by json.dump.