LoadFunc

class hugr.ops.LoadFunc(signature: tys.PolyFuncType, instantiation: tys.FunctionType | None = None, type_args: Sequence[tys.TypeArg] | None = None)

Bases: _CallOrLoad, DataflowOp

Load a statically defined function as a higher order value.

Connects to FuncDefn or FuncDecl operations.

Parameters:

• signature – Polymorphic function signature.

• instantiation – Concrete function signature. Defaults to None.

• type_args – Type arguments for polymorphic function. Defaults to None.

Raises:

NoConcreteFunc – If the signature is polymorphic and no instantiation is provided.

Methods

name	Name of the operation.
outer_signature	The external signature of this operation.
port_kind	Get the kind of the given port.
port_type	Get the type of the given dataflow port from the signature of the operation.
used_extensions	Get the extensions used by this operation, optionally resolving unresolved types and operations.

Attributes

num_out	The number of output ports for this operation.
signature	polymorphic function signature
instantiation	concrete function signature
type_args	type arguments for polymorphic function

instantiation: FunctionType

concrete function signature

name() → str

Name of the operation.

property num_out: int

The number of output ports for this operation.

Example

>>> op = Const(val.TRUE)
>>> op.num_out
1

outer_signature() → FunctionType

The external signature of this operation. Defines the valid external connectivity of the node the operation belongs to.

Raises:

IncompleteOp – If the operation’s inputs and outputs have not been set.

port_kind(port: InPort | OutPort) → ValueKind | ConstKind | FunctionKind | CFKind | OrderKind

Get the kind of the given port.

Example

>>> op = Const(val.TRUE)
>>> op.port_kind(OutPort(Node(0), 0))
ConstKind(Bool)

port_type(port: InPort | OutPort) → Type

Get the type of the given dataflow port from the signature of the operation.

Example

>>> op = Input([tys.Bool])
>>> op.port_type(OutPort(Node(0), 0))
Bool

signature: PolyFuncType

polymorphic function signature

type_args: list[TypeArg]

type arguments for polymorphic function

used_extensions(resolve_from: ExtensionRegistry | None = None) → ExtensionResolutionResult

Get the extensions used by this operation, optionally resolving unresolved types and operations.

Parameters:

resolve_from – Optional extension registry to resolve against. If None, opaque types and Custom ops will not be resolved.

Returns:

The result containing used and unresolved extensions.