Some¶

class hugr.ops.Some(*some_tys: Type)[source]¶

Bases: Tag

Tag operation for the Some variant of an Option type.

Example

# construct a Some variant holding a row of Bool and Unit types >>> Some(tys.Bool, tys.Unit) Some(Bool, Unit)

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

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.

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