Enum EvaluateDataValue 

pub enum EvaluateDataValue {
    Literal(String),
    Boolean(bool),
    Map(IndexMap<String, EvaluateDataValue>),
    List(Vec<EvaluateDataValue>),
}

Neutral overlay tree. [EvaluateData::resolve] reads each value by declared type.

Host input may nest arbitrarily deep, so Clone, Debug, PartialEq and Drop are iterative. Derived versions recurse on the native stack.

Variants

Literal(String)

Unparsed Lemma literal text, parsed against the declared type by [parse_value_from_string].

Boolean(bool)

Map(IndexMap<String, EvaluateDataValue>)

List(Vec<EvaluateDataValue>)

Implementations

impl EvaluateDataValue

pub fn string(value: impl Into<String>) -> Self

Trait Implementations

impl Clone for EvaluateDataValue

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvaluateDataValue

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

Formats the value using the given formatter.

impl Drop for EvaluateDataValue

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Eq for EvaluateDataValue

impl From<&str> for EvaluateDataValue

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<String> for EvaluateDataValue

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<bool> for EvaluateDataValue

fn from(value: bool) -> Self

Converts to this type from the input type.

impl PartialEq for EvaluateDataValue

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

Equality operator ==.

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

Inequality operator !=.