Type¶
- class hugr.tys.Type(*args, **kwargs)[source]¶
Bases:
Protocol
A HUGR type.
Methods
Resolve types in the type using the given registry.
Convert the type to a model Term.
The
TypeTypeArg
for this type.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)