Struct canrun::collections::lvec::Subset

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

Assert that LVec a is a subset of LVec b. Create with subset.

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

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