Ptr

class hugr.std.ptr.Ptr(ty: Type)

Bases: ExtType

Pointer type with a fixed element type.

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

ty	Returns the type of the pointer.
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.

to_model() → Term

Convert the type to a model Term.

property ty: Type

Returns the type of the pointer.

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