ExtOp#

class hugr.ops.ExtOp(_op_def: ext.OpDef, signature: tys.FunctionType | None = None, args: list[tys.TypeArg] = <factory>)[source]#

A non-core dataflow operation defined in an extension.

Methods

`cached_signature`	Cached signature of the operation, if there is one.
`from_ext`	Load from a `ExtOp` operation.
`name`	Name of the operation.
`op_def`	The `tys.OpDef` for this 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.
`to_custom_op`
`type_args`	Type arguments of the operation.

Attributes

`ext_op`	`ExtOp` operation that this type represents.
`num_out`	The number of output ports for this operation.
`signature`
`args`

exception InvalidExtOp(msg: str)#

Bases: Exception

Extension operation does not match the expected type.

with_traceback()#: Exception.with_traceback(tb) – set self.__traceback__ to tb and return self.

cached_signature() → FunctionType | None[source]#

Cached signature of the operation, if there is one.

Used by op_def, so must be deterministic.

property ext_op: ExtOp#

ExtOp operation that this type represents.

Computed once using op_def() type_args() and type_args(). Each of those methods should be deterministic.

classmethod from_ext(custom: ExtOp) → ExtOp[source]#

Load from a ExtOp operation.

By default assumes the type of cls is a singleton, and compares the result of to_ext() with the given ext_op.

If successful, returns the singleton, else None.

Non-singleton types should override this method.

Raises:

property num_out: int#

The number of output ports for this operation.

Example

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

The tys.OpDef for this operation.

Used by ext_op, so must be deterministic.

outer_signature() → FunctionType[source]#: The external signature of this operation. Defines the valid external connectivity of the node the operation belongs to.

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

Type arguments of the operation.

Used by op_def, so must be deterministic.

ExtOp