Struct canrun::collections::lmap::LMap

pub struct LMap<K: Eq + Hash + Debug, V: Debug> { /* fields omitted */ }

A HashMap-like data structure with LVar keys and values.

Implementations

impl<K: Eq + Hash + Debug, V: Debug> LMap<K, V>

pub fn new() -> Self

Create a new LMap value.

You may also be interested in the lmap! macro.

Example:

use canrun::lmap::LMap;

let map: LMap<i32, i32> = LMap::new();

pub fn insert<Ki, Vi>(&mut self, key: Ki, value: Vi) where
    Ki: IntoVal<K>,
    Vi: IntoVal<V>, 

Add a key/value pair to an existing LMap.

Example:

use canrun::lmap::LMap;

let mut map: LMap<i32, i32> = LMap::new();
map.insert(1, 2);

Trait Implementations

impl<K: Clone + Eq + Hash + Debug, V: Clone + Debug> Clone for LMap<K, V>

fn clone(&self) -> LMap<K, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Debug + Eq + Hash, V: Debug> Debug for LMap<K, V>

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

Formats the value using the given formatter.

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

fn values_as_ref(&self) -> &DomainValues<LMap<i32, i32>>

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

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

impl<'a, D, Kv: Eq + Hash + Debug, Kr, Vv: Debug, Vr> ReifyIn<'a, D> for LMap<Kv, Vv> where
    D: DomainType<'a, Kv> + DomainType<'a, Vv> + 'a,
    Kv: ReifyIn<'a, D, Reified = Kr>,
    Kr: Eq + Hash,
    Vv: ReifyIn<'a, D, Reified = Vr>, 

type Reified = HashMap<Kr, Vr>

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, K, V, D> UnifyIn<'a, D> for LMap<K, V> where
    K: UnifyIn<'a, D> + Eq + Hash + Debug + 'a,
    V: UnifyIn<'a, D> + Debug + 'a,
    D: DomainType<'a, K> + DomainType<'a, V> + DomainType<'a, Self>, 

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

Attempt to unify two fully resolved values.