[−][src]Enum chalk_solve::solve::Guidance

pub enum Guidance<I: Interner> {
    Definite(Canonical<Substitution<I>>),
    Suggested(Canonical<Substitution<I>>),
    Unknown,
}

When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference.

Variants

Definite(Canonical<Substitution>)

The existential variables must have the given values if the goal is ever to hold, but that alone isn't enough to guarantee the goal will actually hold.

Suggested(Canonical<Substitution>)

There are multiple plausible values for the existentials, but the ones here are suggested as the preferred choice heuristically. These should be used for inference fallback only.

Unknown

There's no useful information to feed back to type inference

Trait Implementations

`impl<I: Clone + Interner> Clone for Guidance`[src]

`pub fn clone(&self) -> Guidance`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for Guidance`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl<I: Eq + Interner> Eq for Guidance`[src]

`impl<I: PartialEq + Interner> PartialEq<Guidance> for Guidance`[src]

`pub fn eq(&self, other: &Guidance) -> bool`[src]

`pub fn ne(&self, other: &Guidance) -> bool`[src]

`impl<I: Interner> StructuralEq for Guidance`[src]

`impl<I: Interner> StructuralPartialEq for Guidance`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Guidance where ::InternedCanonicalVarKinds: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe,`

`impl Send for Guidance where ::InternedCanonicalVarKinds: Send, ::InternedSubstitution: Send,`

`impl Sync for Guidance where ::InternedCanonicalVarKinds: Sync, ::InternedSubstitution: Sync,`

`impl Unpin for Guidance where ::InternedCanonicalVarKinds: Unpin, ::InternedSubstitution: Unpin,`

`impl UnwindSafe for Guidance where ::InternedCanonicalVarKinds: UnwindSafe, ::InternedSubstitution: UnwindSafe,`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`pub fn cast(self, interner: &::Interner) -> U where Self: CastTo, U: HasInterner,` [src]

`impl<Q, K> Equivalent<K> for Q where K: Borrow<Q> + ?Sized, Q: Eq + ?Sized,` [src]

`pub fn equivalent(&self, key: &K) -> bool`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> 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 for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`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 for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

[−][src]Enum chalk_solve::solve::Guidance

Variants

Trait Implementations

impl<I: Clone + Interner> Clone for Guidance<I>[src]

pub fn clone(&self) -> Guidance<I>[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<I: Debug + Interner> Debug for Guidance<I>[src]

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

impl<I: Eq + Interner> Eq for Guidance<I>[src]

impl<I: PartialEq + Interner> PartialEq<Guidance<I>> for Guidance<I>[src]

pub fn eq(&self, other: &Guidance<I>) -> bool[src]

pub fn ne(&self, other: &Guidance<I>) -> bool[src]

impl<I: Interner> StructuralEq for Guidance<I>[src]

impl<I: Interner> StructuralPartialEq for Guidance<I>[src]

Auto Trait Implementations

impl<I> RefUnwindSafe for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,

impl<I> Send for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Send, <I as Interner>::InternedSubstitution: Send,

impl<I> Sync for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Sync, <I as Interner>::InternedSubstitution: Sync,

impl<I> Unpin for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Unpin, <I as Interner>::InternedSubstitution: Unpin,

impl<I> UnwindSafe for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

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]

impl<Q, K> Equivalent<K> for Q where K: Borrow<Q> + ?Sized, Q: Eq + ?Sized, [src]

pub fn equivalent(&self, key: &K) -> bool[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> 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]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

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]

type Error = Infallible

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]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl<I: Clone + Interner> Clone for Guidance<I>`[src]

`pub fn clone(&self) -> Guidance<I>`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for Guidance<I>`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl<I: Eq + Interner> Eq for Guidance<I>`[src]

`impl<I: PartialEq + Interner> PartialEq<Guidance<I>> for Guidance<I>`[src]

`pub fn eq(&self, other: &Guidance<I>) -> bool`[src]

`pub fn ne(&self, other: &Guidance<I>) -> bool`[src]

`impl<I: Interner> StructuralEq for Guidance<I>`[src]

`impl<I: Interner> StructuralPartialEq for Guidance<I>`[src]

`impl<I> RefUnwindSafe for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,`

`impl<I> Send for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Send, <I as Interner>::InternedSubstitution: Send,`

`impl<I> Sync for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Sync, <I as Interner>::InternedSubstitution: Sync,`

`impl<I> Unpin for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: Unpin, <I as Interner>::InternedSubstitution: Unpin,`

`impl<I> UnwindSafe for Guidance<I> where <I as Interner>::InternedCanonicalVarKinds: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,`