Enum RuntimeValue 

pub enum RuntimeValue {
    Nat(u64),
    Bool(bool),
    List(Vec<RuntimeValue>),
    Unit,
}

Runtime representation of type-level values.

This enum provides a uniform way to inspect type-level values at runtime, regardless of their original type-level encoding.

Examples

use reify_reflect_core::RuntimeValue;

let nat = RuntimeValue::Nat(42);
let boolean = RuntimeValue::Bool(true);
let list = RuntimeValue::List(vec![
    RuntimeValue::Nat(1),
    RuntimeValue::Nat(2),
]);
let unit = RuntimeValue::Unit;

assert_eq!(nat, RuntimeValue::Nat(42));

Variants

Nat(u64)

A natural number.

Bool(bool)

A boolean.

List(Vec<RuntimeValue>)

A list of runtime values.

Unit

The unit value.

Trait Implementations

impl Clone for RuntimeValue

fn clone(&self) -> RuntimeValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeValue

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

Formats the value using the given formatter.

impl PartialEq for RuntimeValue

fn eq(&self, other: &RuntimeValue) -> 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 RuntimeValue