val

HUGR values, used for static constants in HUGR programs.

Module attributes

Unit	HUGR unit type.
TRUE	HUGR true value.
FALSE	HUGR false value.

Functions

bool_value

Convert a python bool to a HUGR boolean value.

Classes

Extension	Non-core extension value.
ExtensionValue	Protocol which types can implement to be a HUGR extension value.
Function	Higher order function value, defined by a Hugr.
Left	Left variant of a tys.Either type, containing a list of values.
None_	Optional tuple of value, containing no values.
Right	Right variant of a tys.Either type, containing a list of values.
Some	Optional tuple of value, containing a list of values.
Sum	Sum-of-product value.
Tuple	Tuple or product value, defined by a list of values.
UnitSum	Simple Sum with each variant being an empty row.
Value	Abstract value definition.