Enum leo_asg::const_value::ConstValue

pub enum ConstValue<'a> {
    Int(ConstInt),
    Group(GroupValue),
    Field(BigInt),
    Address(StrTendril),
    Boolean(bool),
    Char(CharValue),
    Tuple(Vec<ConstValue<'a>>),
    Array(Vec<ConstValue<'a>>),
    Circuit(&'a Circuit<'a>, IndexMap<String, (Identifier, ConstValue<'a>)>),
}

Variants

Int

Tuple Fields of Int

0: ConstInt

Group

Tuple Fields of Group

0: GroupValue

Field

Tuple Fields of Field

0: BigInt

Address

Tuple Fields of Address

0: StrTendril

Boolean

Tuple Fields of Boolean

0: bool

Char

Tuple Fields of Char

0: CharValue

Tuple

Tuple Fields of Tuple

0: Vec<ConstValue<'a>>

Array

Tuple Fields of Array

0: Vec<ConstValue<'a>>

Circuit

Tuple Fields of Circuit

0: &'a Circuit<'a>1: IndexMap<String, (Identifier, ConstValue<'a>)>

Implementations

impl<'a> ConstValue<'a>

pub fn get_type(&'a self) -> Option<Type<'a>>

pub fn int(&self) -> Option<&ConstInt>

pub fn field(&self) -> Option<&BigInt>

Trait Implementations

impl<'a> Clone for ConstValue<'a>

fn clone(&self) -> ConstValue<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> PartialEq<ConstValue<'a>> for ConstValue<'a>

fn eq(&self, other: &ConstValue<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ConstValue<'a>) -> bool

This method tests for !=.

impl<'a> StructuralPartialEq for ConstValue<'a>