Enum Value

pub enum Value {
    Unknown,
    FailedConstraint(Message),
    Void,
    Integer(BigInt),
    String(ExprString),
    Bool(bool),
    ExprBuiltInFunction(String),
    AsmBuiltInFunction(String),
    Function(usize),
}

Variants

Unknown

FailedConstraint(Message)

Void

Integer(BigInt)

String(ExprString)

Bool(bool)

ExprBuiltInFunction(String)

AsmBuiltInFunction(String)

Function(usize)

Implementations

impl Value

pub fn is_unknown(&self) -> bool

pub fn should_propagate(&self) -> bool

pub fn make_literal(&self) -> Expr

pub fn make_integer<T: Into<BigInt>>(value: T) -> Value

pub fn make_bool(value: bool) -> Value

pub fn make_string<T: Into<String>, S: Into<String>>( value: T, encoding: S, ) -> Value

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

pub fn coallesce_to_integer<'a>(&'a self) -> Cow<'a, Value>

pub fn unwrap_bigint(&self) -> &BigInt

pub fn expect_bigint( &self, report: &mut Report, span: Span, ) -> Result<&BigInt, ()>

pub fn expect_bigint_mut( &mut self, report: &mut Report, span: Span, ) -> Result<&mut BigInt, ()>

pub fn expect_sized_bigint( &self, report: &mut Report, span: Span, ) -> Result<&BigInt, ()>

pub fn expect_sized_integerlike( &self, report: &mut Report, span: Span, ) -> Result<(BigInt, usize), ()>

pub fn expect_error_or_bigint( self, report: &mut Report, span: Span, ) -> Result<Value, ()>

pub fn expect_error_or_sized_bigint( self, report: &mut Report, span: Span, ) -> Result<Value, ()>

pub fn expect_error_or_bool( self, report: &mut Report, span: Span, ) -> Result<Value, ()>

pub fn as_usize(&self) -> Option<usize>

pub fn expect_usize(&self, report: &mut Report, span: Span) -> Result<usize, ()>

pub fn expect_error_or_usize( self, report: &mut Report, span: Span, ) -> Result<Value, ()>

pub fn expect_nonzero_usize( &self, report: &mut Report, span: Span, ) -> Result<usize, ()>

pub fn expect_bool(&self, report: &mut Report, span: Span) -> Result<bool, ()>

pub fn expect_string( &self, report: &mut Report, span: Span, ) -> Result<&ExprString, ()>

impl Value

pub fn min_size(&self) -> usize

pub fn get_bit(&self, index: usize) -> bool

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 Debug for Value

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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 Eq for Value

impl StructuralPartialEq for Value