Struct canrun::collections::lvec::LVec

pub struct LVec<T: Debug> { /* fields omitted */ }

A Vec-like data structure with LVar values.

Implementations

impl<V: Debug> LVec<V>

pub fn new() -> Self

Create a new LVec value.

You may also be interested in the lvec! macro.

Example:

use canrun::lvec::LVec;

let map: LVec<i32> = LVec::new();

pub fn len(&self) -> usize

Get the number of elements in the LVec.

Example:

use canrun::lvec::{LVec, lvec};

let map: LVec<i32> = lvec![1, 2];
assert_eq!(map.len(), 2);

pub fn push<Vi>(&mut self, value: Vi) where
    Vi: IntoVal<V>, 

Add a value to an existing LVec.

Example:

use canrun::lvec::LVec;

let mut map: LVec<i32> = LVec::new();
map.push(1);

Trait Implementations

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

fn clone(&self) -> LVec<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<'a> DomainType<'a, LVec<i32>> for Collections

fn values_as_ref(&self) -> &DomainValues<LVec<i32>>

fn values_as_mut(&mut self) -> &mut DomainValues<LVec<i32>>

fn into_domain_val(val: Val<LVec<i32>>) -> CollectionsValue

impl<'a, T, I, IV> From<I> for LVec<T> where
    T: Debug,
    IV: IntoVal<T>,
    I: IntoIterator<Item = IV>, 

fn from(i: I) -> Self

Performs the conversion.

impl<'a, D, T> ReifyIn<'a, D> for LVec<T> where
    T: ReifyIn<'a, D> + Debug,
    D: DomainType<'a, T> + 'a, 

type Reified = Vec<T::Reified>

The "concrete" type that Self reifies to.

fn reify_in(&self, state: &ResolvedState<D>) -> Option<Self::Reified>

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

impl<'a, T, D> UnifyIn<'a, D> for LVec<T> where
    T: UnifyIn<'a, D>,
    D: DomainType<'a, T> + DomainType<'a, LVec<T>>, 

fn unify_resolved(
    state: State<'a, D>,
    a: Rc<LVec<T>>,
    b: Rc<LVec<T>>
) -> Option<State<'a, D>>

Attempt to unify two fully resolved values.