Struct canrun::collections::lvec::Get

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

Create a Goal that attempts to unify a Value<T> with the item at a specific index in a LVec<T>. Create with get.

Trait Implementations

impl<T: Unify> Clone for Get<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Unify> Constraint for Get<T>

fn attempt(&self, state: &State) -> Result<ResolveFn, VarWatch>

Resolve required variables in a state and resubscribe or request to update the state.

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

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

Formats the value using the given formatter.

impl<T: Unify> Goal for Get<T>

fn apply(&self, state: State) -> Option<State>

Apply the Goal to a state, returning Some if the state is still valid, or None.