ModulePointer#

class hugr.package.ModulePointer(package: Package, module_index: int)[source]#

Bases: PackagePointer

Pointer to a module in a package.

Parameters:
  • package – Package pointed to.

  • module_index – Index of the module in the package.

Methods

to_executable_package

Create an executable package from a module containing a main function.

Attributes

module

Hugr definition of the module.

module_index

Index of the module in the package.

package

Package pointed to.

property module: Hugr#

Hugr definition of the module.

module_index: int#

Index of the module in the package.

package: Package#

Package pointed to.

to_executable_package() ExecutablePackage[source]#

Create an executable package from a module containing a main function.

Raises:

ValueError – If the module does not contain a main function.