Struct canrun::collections::lvec::Member

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

A Goal that attempts to unify a Value<T> with any of the items in a LVec<T>. Create with member.

Trait Implementations

impl<T: Unify> Clone for Member<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 Member<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 Member<T>

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

Formats the value using the given formatter.

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

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

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