Struct mini_kanren::core::value::Value

pub struct Value(_);

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

pub fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

pub 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

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

Performs the conversion.

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

pub fn from(v: T) -> Self

Performs the conversion.

impl From<Vec<Value, Global>> for Value

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

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

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

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialEq<Value> for Value

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialEq<Var> for Value

pub fn eq(&self, v: &Var) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.