Struct Value 

pub struct Value(/* private fields */);

Dynamic value

Implementations

impl Value

pub fn new(val: impl Into<Value>) -> Self

Construct a new value

pub fn from_arc<T: Structure>(x: Arc<T>) -> Self

Construct pre-Arc’d value

pub fn var(v: Var) -> Self

Construct a value representing a variable

pub fn rv(i: usize) -> Self

Construct a value representing a reified variable

pub fn cons(car: impl Into<Value>, cdr: impl Into<Value>) -> Self

Construct a pair from two values

pub fn try_as_var(&self) -> Option<Var>

Cast to Var if the value represents a variable

pub fn downcast_ref<T: 'static>(&self) -> Option<&T>

Try to cast to concrete type

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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<A: Into<Value>, D: Into<Value>> From<(A, D)> for Value

fn from(pair: (A, D)) -> Self

Converts to this type from the input type.

impl<T: Structure> From<T> for Value

fn from(v: T) -> Self

Converts to this type from the input type.

impl From<Vec<Value>> for Value

fn from(items: Vec<Value>) -> Self

Convert Vec<Value> into a linked list of values.

impl<T: 'static + Atomic + PartialEq> PartialEq<T> for Value

fn eq(&self, other: &T) -> 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 PartialEq<Var> for Value

fn eq(&self, v: &Var) -> 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 PartialEq for Value

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