ExtensionValue#

class hugr.val.ExtensionValue(*args, **kwargs)[source]#

Bases: Value, Protocol

Protocol which types can implement to be a HUGR extension value.

Methods

to_value

Convert to a HUGR extension value.

type_

Report the type of the value.

to_value() Extension[source]#

Convert to a HUGR extension value.

type_() Type[source]#

Report the type of the value.

Example

>>> TRUE.type_()
Bool