Struct canrun::collections::lvec::LVec

pub struct LVec<T: Unify> { /* private fields */ }

A Vec-like data structure with Value values.

Construct with the lvec! macro, or you can use the From<Vec<Value<T>>> or FromIterator<Value<T>> trait implementations.

Implementations

impl<T: Unify> LVec<T>

pub fn len(&self) -> usize

Returns the number of elements in the LVec.

pub fn is_empty(&self) -> bool

Returns true if the LVec contains no elements.

Trait Implementations

impl<T: Debug + Unify> Debug for LVec<T>

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

Formats the value using the given formatter.

impl<T: Unify> From<&[Value<T>]> for LVec<T>

fn from(slice: &[Value<T>]) -> Self

Converts to this type from the input type.

impl<T: Unify> From<Vec<Value<T>, Global>> for LVec<T>

fn from(vec: Vec<Value<T>>) -> Self

Converts to this type from the input type.

impl<T: Unify> FromIterator<T> for LVec<T>

fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self

Creates a value from an iterator.

impl<T: Unify> FromIterator<Value<T>> for LVec<T>

fn from_iter<I: IntoIterator<Item = Value<T>>>(iter: I) -> Self

Creates a value from an iterator.

impl<T: Unify + Reify> Reify for LVec<T>

type Reified = Vec<<T as Reify>::Reified, Global>

The “concrete” type that Self reifies to.

fn reify_in(&self, state: &State) -> Option<Vec<T::Reified>>

Extract a reified Self from a compatible State. This trait is usually used indirectly through the Query trait.

impl<T: Unify> Unify for LVec<T>

fn unify(state: State, a: Rc<Self>, b: Rc<Self>) -> Option<State>

Attempt to unify two fully resolved values.