TupleConcatArg

class hugr.tys.TupleConcatArg(tuples: list[TypeArg])

Bases: TypeArg

Sequence of tuples to concatenate for a TupleParam.

Methods

flatten
render	Render the nested concatenated tuple arguments.
resolve	Resolve types in the argument using the given registry.
to_model	Convert the type argument to a model Term.

Attributes

tuples

render(*, extension_version: bool = False, qualified_name: bool = False) → str

Render the nested concatenated tuple arguments.

resolve(registry: ext.ExtensionRegistry) → TypeArg

Resolve types in the argument using the given registry.

to_model() → Term

Convert the type argument to a model Term.