FloatVal#

class hugr.std.float.FloatVal(v: float)[source]#

Bases: ExtensionValue

Custom value for a floating point number.

Methods

to_value

Convert to a HUGR extension value.

type_

Report the type of the value.

Attributes

v

to_value() Extension[source]#

Convert to a HUGR extension value.

type_() Type#

Report the type of the value.

Example

>>> TRUE.type_()
Bool