Type

Type#

class hugr.tys.Type(*args, **kwargs)[source]#

Bases: Protocol

A HUGR type.

Methods

resolve

Resolve types in the type using the given registry.

type_arg

The TypeTypeArg for this type.

type_bound

The bound of this type.
resolve(registry: ext.ExtensionRegistry) → Type[source]#

Resolve types in the type using the given registry.

type_arg() → TypeTypeArg[source]#

The TypeTypeArg for this type.

Example

>>> Qubit.type_arg()
TypeTypeArg(ty=Qubit)
type_bound() → TypeBound[source]#

The bound of this type.

Example

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