Enum Value

pub enum Value {
    Const(Const),
    ControlRegionInput {
        region: ControlRegion,
        input_idx: u32,
    },
    ControlNodeOutput {
        control_node: ControlNode,
        output_idx: u32,
    },
    DataInstOutput(DataInst),
}

Variants

Const(Const)

ControlRegionInput

One of the inputs to a ControlRegion:

• declared by region.inputs[input_idx]
• value provided by the parent of the region:
  • when region is the function body: input_idxth function parameter

Fields

region: ControlRegion

input_idx: u32

ControlNodeOutput

One of the outputs produced by a ControlNode:

• declared by control_node.outputs[output_idx]
• value provided by region.outputs[output_idx], where region is the executed child ControlRegion (of control_node):
  • when control_node is a Select: the case that was chosen

Fields

control_node: ControlNode

output_idx: u32

DataInstOutput(DataInst)

The output value of a DataInst.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Hash for Value

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl InnerTransform for Value

fn inner_transform_with( &self, transformer: &mut impl Transformer, ) -> Transformed<Self>

impl InnerVisit for Value

fn inner_visit_with<'a>(&'a self, visitor: &mut impl Visitor<'a>)

impl PartialEq for Value

fn eq(&self, other: &Value) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Print for Value

type Output = Fragment

fn print(&self, printer: &Printer<'_>) -> Fragment

impl Visit for Value

fn visit_with<'a>(&'a self, visitor: &mut impl Visitor<'a>)

impl Copy for Value

impl Eq for Value

impl StructuralPartialEq for Value