Enum chalk_solve::solve::Solution

pub enum Solution<I: Interner> {
    Unique(Canonical<ConstrainedSubst<I>>),
    Ambig(Guidance<I>),
}

A (possible) solution for a proposed goal.

Variants

Unique(Canonical<ConstrainedSubst<I>>)

The goal indeed holds, and there is a unique value for all existential variables. In this case, we also record a set of lifetime constraints which must also hold for the goal to be valid.

Ambig(Guidance<I>)

The goal may be provable in multiple ways, but regardless we may have some guidance for type inference. In this case, we don't return any lifetime constraints, since we have not "committed" to any particular solution yet.

Implementations

impl<I: Interner> Solution<I>

pub fn combine(self, other: Solution<I>, interner: &I) -> Solution<I>

There are multiple candidate solutions, which may or may not agree on the values for existential variables; attempt to combine them. This operation does not depend on the order of its arguments.

pub fn into_guidance(self) -> Guidance<I>

View this solution purely in terms of type inference guidance

pub fn constrained_subst(
    &self,
    interner: &I
) -> Option<Canonical<ConstrainedSubst<I>>>

Extract a constrained substitution from this solution, even if ambiguous.

pub fn definite_subst(
    &self,
    interner: &I
) -> Option<Canonical<ConstrainedSubst<I>>>

Determine whether this solution contains type information that must hold, and returns the subst in that case.

pub fn is_unique(&self) -> bool

pub fn is_ambig(&self) -> bool

pub fn display<'a>(&'a self, interner: &'a I) -> SolutionDisplay<'a, I>

Trait Implementations

impl<I: Clone + Interner> Clone for Solution<I>

fn clone(&self) -> Solution<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for Solution<I>

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

Formats the value using the given formatter.

impl<I: Eq + Interner> Eq for Solution<I>

impl<I: Interner> HasInterner for Solution<I>

type Interner = I

The interner associated with the type.

impl<I: PartialEq + Interner> PartialEq<Solution<I>> for Solution<I>

fn eq(&self, other: &Solution<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Solution<I>) -> bool

This method tests for !=.

impl<I: Interner> StructuralEq for Solution<I>

impl<I: Interner> StructuralPartialEq for Solution<I>