Right¶

class hugr.val.Right(left_typ: Iterable[tys.Type], vals: Iterable[Value])[source]¶

Bases: Sum

Right variant of a tys.Either type, containing a list of values.

In fallible contexts, this represents the success variant.

Internally a Sum with two variant rows.

Example

>>> right = Right([tys.Bool, tys.Bool, tys.Bool], [TRUE, FALSE])
>>> str(right)
'Right(TRUE, FALSE)'
>>> str(right.type_())
'Either((Bool, Bool, Bool), (Bool, 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.