Enum CtfeValue 

pub enum CtfeValue {
    Int(i64),
    Float(f64),
    Bool(bool),
    String(String),
    List(Vec<CtfeValue>),
    Tuple(Vec<CtfeValue>),
    Constructor(String, Vec<CtfeValue>),
    Undef,
}

A fully-evaluated compile-time value.

Variants

Int(i64)

Signed 64-bit integer (covers Nat for small values).

Float(f64)

64-bit floating-point value.

Bool(bool)

Boolean value.

String(String)

String value.

List(Vec<CtfeValue>)

A heterogeneous list of values.

Tuple(Vec<CtfeValue>)

A tuple of values.

Constructor(String, Vec<CtfeValue>)

An algebraic data type constructor: name(fields...).

Undef

Undefined / not yet evaluated (bottom).

Implementations

impl CtfeValue

pub fn as_int(&self) -> Option<i64>

Return the underlying integer, if any.

pub fn as_bool(&self) -> Option<bool>

Return the underlying bool, if any.

pub fn as_str(&self) -> Option<&str>

Return the underlying string, if any.

pub fn is_concrete(&self) -> bool

true if the value is fully concrete (no Undef components).

Trait Implementations

impl Clone for CtfeValue

fn clone(&self) -> CtfeValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CtfeValue

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

Formats the value using the given formatter.

impl Display for CtfeValue

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

Formats the value using the given formatter.

impl PartialEq for CtfeValue

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

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

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 StructuralPartialEq for CtfeValue