UnitSum

class hugr.tys.UnitSum(size: int)[source]

Bases: Sum

Simple Sum type with size variants of empty rows.

Methods

as_tuple

resolve

Resolve types in the sum type using the given registry.

to_model

Convert the type to a model Term.

type_arg

The TypeTypeArg for this type.

type_bound

The bound of this type.

Attributes

size

variant_rows

resolve(registry: ext.ExtensionRegistry) → UnitSum[source]

Resolve types in the sum type using the given registry.

to_model() → Term

Convert the type to a model Term.

type_arg() → TypeTypeArg

The TypeTypeArg for this type.

Example

>>> Qubit.type_arg()
TypeTypeArg(ty=Qubit)
type_bound() → TypeBound

The bound of this type.

Example

>>> Tuple(Bool, Bool).type_bound()
<TypeBound.Copyable: 'C'>
>>> Tuple(Qubit, Bool).type_bound()
<TypeBound.Linear: 'A'>