None_

class hugr.val.None_(*types: Type)[source]

Bases: Sum

Optional tuple of value, containing no values.

Example

>>> none = None_(tys.Bool)
>>> str(none)
'None'
>>> none.type_()
Option(Bool)

Methods

to_model

type_

Report the type of the value.

Attributes

n_variants

tag

Tag identifying the variant.

typ

defines all possible variants.

vals

The values of this variant row.

tag: int

Tag identifying the variant.

typ: Sum

defines all possible variants.

Type:

Type of the sum

type_() Sum

Report the type of the value.

Example

>>> TRUE.type_()
Bool
vals: list[Value]

The values of this variant row.