Enum chalk_solve::solve::Solution [−][src]
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>
[src]
pub fn combine(self, other: Solution<I>, interner: &I) -> Solution<I>
[src]
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>
[src]
View this solution purely in terms of type inference guidance
pub fn constrained_subst(
&self,
interner: &I
) -> Option<Canonical<ConstrainedSubst<I>>>
[src]
&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>>>
[src]
&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
[src]
pub fn is_ambig(&self) -> bool
[src]
pub fn display<'a>(&'a self, interner: &'a I) -> SolutionDisplay<'a, I>
[src]
Trait Implementations
impl<I: Clone + Interner> Clone for Solution<I>
[src]
impl<I: Debug + Interner> Debug for Solution<I>
[src]
impl<I: Eq + Interner> Eq for Solution<I>
[src]
impl<I: Interner> HasInterner for Solution<I>
[src]
type Interner = I
The interner associated with the type.
impl<I: PartialEq + Interner> PartialEq<Solution<I>> for Solution<I>
[src]
impl<I: Interner> StructuralEq for Solution<I>
[src]
impl<I: Interner> StructuralPartialEq for Solution<I>
[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for Solution<I> where
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
[src]
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
impl<I> Send for Solution<I> where
<I as Interner>::InternedCanonicalVarKinds: Send,
<I as Interner>::InternedConstraints: Send,
<I as Interner>::InternedSubstitution: Send,
[src]
<I as Interner>::InternedCanonicalVarKinds: Send,
<I as Interner>::InternedConstraints: Send,
<I as Interner>::InternedSubstitution: Send,
impl<I> Sync for Solution<I> where
<I as Interner>::InternedCanonicalVarKinds: Sync,
<I as Interner>::InternedConstraints: Sync,
<I as Interner>::InternedSubstitution: Sync,
[src]
<I as Interner>::InternedCanonicalVarKinds: Sync,
<I as Interner>::InternedConstraints: Sync,
<I as Interner>::InternedSubstitution: Sync,
impl<I> Unpin for Solution<I> where
<I as Interner>::InternedCanonicalVarKinds: Unpin,
<I as Interner>::InternedConstraints: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
[src]
<I as Interner>::InternedCanonicalVarKinds: Unpin,
<I as Interner>::InternedConstraints: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
impl<I> UnwindSafe for Solution<I> where
<I as Interner>::InternedCanonicalVarKinds: UnwindSafe,
<I as Interner>::InternedConstraints: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
[src]
<I as Interner>::InternedCanonicalVarKinds: UnwindSafe,
<I as Interner>::InternedConstraints: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
[src]
pub fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
[src]
Self: CastTo<U>,
U: HasInterner,
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool
[src]
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,