[−][src]Struct canrun::collections::lmap::LMap
Implementations
impl<K: Eq + Hash + Debug, V: Debug> LMap<K, V>
[src]
pub fn new() -> Self
[src]
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>,
[src]
Ki: IntoVal<K>,
Vi: IntoVal<V>,
Trait Implementations
impl<K: Clone + Eq + Hash + Debug, V: Clone + Debug> Clone for LMap<K, V>
[src]
impl<K: Debug + Eq + Hash, V: Debug> Debug for LMap<K, V>
[src]
impl<'a> DomainType<'a, LMap<i32, i32>> for Collections
[src]
fn values_as_ref(&self) -> &DomainValues<LMap<i32, i32>>
[src]
fn values_as_mut(&mut self) -> &mut DomainValues<LMap<i32, i32>>
[src]
fn into_domain_val(val: Val<LMap<i32, i32>>) -> CollectionsValue
[src]
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>,
[src]
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>
[src]
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>,
[src]
K: UnifyIn<'a, D> + Eq + Hash + Debug + 'a,
V: UnifyIn<'a, D> + Debug + 'a,
D: DomainType<'a, K> + DomainType<'a, V> + DomainType<'a, Self>,
Auto Trait Implementations
impl<K, V> !RefUnwindSafe for LMap<K, V>
impl<K, V> !Send for LMap<K, V>
impl<K, V> !Sync for LMap<K, V>
impl<K, V> Unpin for LMap<K, V> where
K: Unpin,
V: Unpin,
K: Unpin,
V: Unpin,
impl<K, V> UnwindSafe for LMap<K, V> where
K: RefUnwindSafe + UnwindSafe,
V: RefUnwindSafe + UnwindSafe,
K: RefUnwindSafe + UnwindSafe,
V: RefUnwindSafe + UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,