FloatArg

class hugr.tys.FloatArg(value: float)[source]

Bases: TypeArg

A floating point type argument.

Methods

render

Render the argument with the requested nested type options.

resolve

Resolve types in the argument using the given registry.

to_model

Convert the type argument to a model Term.

Attributes

value

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

Render the argument with the requested nested type options.

resolve(registry: ext.ExtensionRegistry) TypeArg

Resolve types in the argument using the given registry.

to_model() Term[source]

Convert the type argument to a model Term.