Noop#

class hugr.ops.Noop(_type: Type | None = None, num_out: int = 1)[source]#

Bases: AsExtOp, _PartialOp

Identity operation that passes through its input.

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.
`type_args`	Type arguments of the operation.

Attributes

`ext_op`	`ExtOp` operation that this type represents.
`num_out`
`type_`	The type of the input and output of the operation.

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(ext_op: ExtOp) → Self | None#

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:

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_args() → list[TypeArg]#

Type arguments of the operation.

Used by op_def, so must be deterministic.

Noop