Struct canrun::core::LVarList

pub struct LVarList(_);

An opaque list of untyped LVars.

This is usually used to set up a watch on behalf of a Constraint. Consider generating this with the resolve_1, resolve_2, OneOfTwo or TwoOfThree helpers.

It is also the return value of State::vars().

Implementations

impl LVarList

pub fn one<A>(a: &LVar<A>) -> Self

Create an LVarList from a single LVar.

pub fn two<A, B>(a: &LVar<A>, b: &LVar<B>) -> Self

Create an LVarList from two LVars.

pub fn without_resolved_in(&self, state: &State) -> LVarList

Generate a new LVarList based on &self with any variables that have been been resolved in the passed in state removed.

pub fn len(&self) -> usize

Returns the number of LVars.

pub fn is_empty(&self) -> bool

Returns true if the LVarList contains no elements.

pub fn flatten(lists: impl Iterator<Item = LVarList>) -> LVarList

Produce a single deduplicated LVarList from an Iterator of LVarLists.

Trait Implementations

impl Debug for LVarList

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

Formats the value using the given formatter.