Array¶

class hugr.std.collections.array.Array(ty: Type, size: int | TypeArg)[source]¶

Fixed size array of ty elements.

Methods

`get_extension_version`	Get the version of the extension associated with this type.
`render`	Render this extension type.
`resolve`	Resolve types in the 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`	If the array has a concrete size, return it.
`ty`
`type_def`
`args`

get_extension_version() → Version¶: Get the version of the extension associated with this type.

render(*, extension_version: bool = False, qualified_name: bool = False) → str¶: Render this extension type.

resolve(registry: ext.ExtensionRegistry) → Type¶: Resolve types in the type using the given registry.

property size: int | None¶

If the array has a concrete size, return it.

Otherwise, return None.

type_arg() → TypeTypeArg¶

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
>>> Tuple(Qubit, Bool).type_bound()
TypeBound.Linear