Struct ena::unify::InPlace

pub struct InPlace<K: UnifyKey> { /* fields omitted */ }

Backing store for an in-place unification table. Not typically used directly.

Trait Implementations

impl<K: Clone + UnifyKey> Clone for InPlace<K>

fn clone(&self) -> InPlace<K>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: UnifyKey> UnificationStore for InPlace<K>

type Key = K

type Value = K::Value

type Snapshot = Snapshot

fn new() -> Self

fn start_snapshot(&mut self) -> Self::Snapshot

fn rollback_to(&mut self, snapshot: Self::Snapshot)

fn commit(&mut self, snapshot: Self::Snapshot)

fn len(&self) -> usize

fn push(&mut self, value: VarValue<Self::Key>)

fn update<F>(&mut self, index: usize, op: F) where
    F: FnOnce(&mut VarValue<Self::Key>), 

fn tag() -> &'static str

impl<K> Index<usize> for InPlace<K> where
    K: UnifyKey, 

type Output = VarValue<K>

The returned type after indexing.

fn index(&self, index: usize) -> &VarValue<K>

Performs the indexing (container[index]) operation.