Struct proto_vulcan::lterm::LTerm

pub struct LTerm<U = DefaultUser, E = DefaultEngine<U>> where
    U: User,
    E: Engine<U>,  { /* fields omitted */ }

Implementations

impl<U, E> LTerm<U, E> where
    U: User,
    E: Engine<U>, 

pub fn ptr_eq(this: &LTerm<U, E>, other: &LTerm<U, E>) -> bool

pub fn var(name: &'static str) -> LTerm<U, E>

pub fn any() -> LTerm<U, E>

pub fn user(u: U::UserTerm) -> LTerm<U, E>

pub fn empty_list() -> LTerm<U, E>

Constructs an empty list

pub fn singleton(u: LTerm<U, E>) -> LTerm<U, E>

Constructs a LTerm list with a single element

pub fn projection(u: LTerm<U, E>) -> LTerm<U, E>

pub fn project<F>(&self, f: F) where
    F: FnOnce(&LTerm<U, E>) -> LTerm<U, E>, 

Convert LTerm::Projection into non-Projection kind LTerm using the projection function f that is applied to the projection variable.

pub fn into_inner(self) -> Rc<LTermInner<U, E>>

pub fn cons(head: LTerm<U, E>, tail: LTerm<U, E>) -> LTerm<U, E>

Construct a list cell

pub fn from_vec(l: Vec<LTerm<U, E>>) -> LTerm<U, E>

pub fn from_array(a: &[LTerm<U, E>]) -> LTerm<U, E>

pub fn improper_from_vec(h: Vec<LTerm<U, E>>) -> LTerm<U, E>

pub fn improper_from_array(h: &[LTerm<U, E>]) -> LTerm<U, E>

pub fn contains<T: Borrow<LTerm<U, E>>>(&self, v: &T) -> bool

pub fn is_val(&self) -> bool

pub fn is_bool(&self) -> bool

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

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

pub fn is_number(&self) -> bool

pub fn get_number(&self) -> Option<isize>

pub fn is_var(&self) -> bool

pub fn is_any(&self) -> bool

pub fn is_user(&self) -> bool

pub fn get_user(&self) -> Option<&U::UserTerm>

pub fn is_projection(&self) -> bool

pub fn get_projection(&self) -> Option<&LTerm<U, E>>

pub fn is_list(&self) -> bool

pub fn is_improper(&self) -> bool

pub fn is_empty(&self) -> bool

pub fn is_non_empty_list(&self) -> bool

pub fn head(&self) -> Option<&LTerm<U, E>>

pub fn tail(&self) -> Option<&LTerm<U, E>>

pub fn head_mut(&mut self) -> Option<&mut LTerm<U, E>>

pub fn tail_mut(&mut self) -> Option<&mut LTerm<U, E>>

pub fn iter(&self) -> LTermIter<'_, U, E>

pub fn iter_mut(&mut self) -> LTermIterMut<'_, U, E>

pub fn anyvars(self: &LTerm<U, E>) -> Vec<LTerm<U, E>>

Recursively find all any variables referenced by the LTerm.

Trait Implementations

impl<U, E> AsMut<LTermInner<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn as_mut(&mut self) -> &mut LTermInner<U, E>

Performs the conversion.

impl<U, E> AsRef<LTerm<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn as_ref(&self) -> &LTerm<U, E>

Performs the conversion.

impl<U, E> AsRef<LTermInner<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn as_ref(&self) -> &LTermInner<U, E>

Performs the conversion.

impl<U, E> Clone for LTerm<U, E> where
    U: User,
    E: Engine<U>,
    U: User, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<U, E> CompoundObject<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn type_name(&self) -> &'static str

fn children<'a>(
    &'a self
) -> Box<dyn Iterator<Item = &'a dyn CompoundObject<U, E>> + 'a>

fn as_term(&self) -> Option<&LTerm<U, E>>

fn is_term(&self) -> bool

impl<U, E> CompoundTerm<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn new_var(name: &'static str) -> LTerm<U, E>

fn new_wildcard() -> LTerm<U, E>

fn new_none() -> LTerm<U, E>

impl<U, E> CompoundWalkStar<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn compound_walk_star(&self, smap: &SMap<U, E>) -> Self

impl<U, E> Debug for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

Formats the value using the given formatter.

impl<U, E> Default for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn default() -> Self

Returns the “default value” for a type.

impl<U, E> Display for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

Formats the value using the given formatter.

impl<U, E> Downcast<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

type SubType = Self

fn into_sub(self) -> Self::SubType

impl<U, E> Extend<LTerm<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn extend<T: IntoIterator<Item = LTerm<U, E>>>(&mut self, coll: T)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

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

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

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

Reserves capacity in a collection for the given number of additional elements.

impl<U, E> From<&'_ LTerm<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(reference: &LTerm<U, E>) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<&'_ str> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: &str) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<LTermInner<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(inner: LTermInner<U, E>) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<Rc<dyn CompoundObject<U, E> + 'static>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: Rc<dyn CompoundObject<U, E>>) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<String> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: String) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<bool> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: bool) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<char> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: char) -> LTerm<U, E>

Performs the conversion.

impl<U, E> From<isize> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from(u: isize) -> LTerm<U, E>

Performs the conversion.

impl<U, E> FromIterator<LTerm<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn from_iter<T: IntoIterator<Item = LTerm<U, E>>>(iter: T) -> Self

Creates a value from an iterator.

impl<U, E> Hash for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<U, E> Index<usize> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

type Output = LTerm<U, E>

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<U, E> IndexMut<usize> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<U, E, T> Into<LTerm<U, E>> for Option<T> where
    U: User,
    E: Engine<U>,
    T: CompoundObject<U, E> + Hash + PartialEq, 

fn into(self) -> LTerm<U, E>

Performs the conversion.

impl<U, E> Into<LTerm<U, E>> for (LTerm<U, E>, LTerm<U, E>) where
    U: User,
    E: Engine<U>, 

fn into(self) -> LTerm<U, E>

Performs the conversion.

impl<'a, U, E> IntoIterator for &'a LTerm<U, E> where
    U: User,
    E: Engine<U>, 

type Item = &'a LTerm<U, E>

The type of the elements being iterated over.

type IntoIter = LTermIter<'a, U, E>

Which kind of iterator are we turning this into?

fn into_iter(self) -> LTermIter<'a, U, E>

Creates an iterator from a value.

impl<'a, U, E> IntoIterator for &'a mut LTerm<U, E> where
    U: User,
    E: Engine<U>, 

type Item = &'a mut LTerm<U, E>

The type of the elements being iterated over.

type IntoIter = LTermIterMut<'a, U, E>

Which kind of iterator are we turning this into?

fn into_iter(self) -> LTermIterMut<'a, U, E>

Creates an iterator from a value.

impl<U, E> PartialEq<&'_ str> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<LResult<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LResult<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for LResult<U, E> where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for LValue where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for bool where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for isize where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for char where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for String where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for str where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LTerm<U, E>> for &str where
    U: User,
    E: Engine<U>, 

fn eq(&self, other: &LTerm<U, E>) -> bool

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

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

This method tests for !=.

impl<U, E> PartialEq<LValue> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<String> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<bool> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<char> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<isize> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E> PartialEq<str> for LTerm<U, E> where
    U: User,
    E: Engine<U>, 

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

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

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

This method tests for !=.

impl<U, E, T> Upcast<U, E, LTerm<U, E>> for Option<T> where
    U: User,
    E: Engine<U>,
    T: CompoundObject<U, E> + CompoundWalkStar<U, E> + Clone + Hash + PartialEq, 

fn to_super<K: Borrow<Self>>(k: &K) -> LTerm<U, E>

fn into_super(self) -> LTerm<U, E>

impl<U, E> Upcast<U, E, LTerm<U, E>> for (LTerm<U, E>, LTerm<U, E>) where
    U: User,
    E: Engine<U>, 

fn to_super<K: Borrow<Self>>(k: &K) -> LTerm<U, E>

fn into_super(self) -> LTerm<U, E>

impl<U, E> Eq for LTerm<U, E> where
    U: User,
    E: Engine<U>,