Tag#

class hugr.ops.Tag(tag: int, sum_ty: Sum, num_out: int = 1)[source]#

Bases: DataflowOp

Tag a row of incoming values to make them a variant of a sum type.

Requires sum_ty to be set as it is not possible to extract all the variants from just the input wires for one variant.

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.

Attributes

num_out

tag

sum_ty

name() str#

Name of the operation.

outer_signature() FunctionType[source]#

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

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