Struct chalk_engine::Answer[−][src]

pub struct Answer<I: Interner> {
    pub subst: Canonical<AnswerSubst<I>>,
    pub ambiguous: bool,
}

An "answer" in the on-demand solver corresponds to a fully solved goal for a particular table (modulo delayed literals). It contains a substitution

Fields

subst: Canonical<AnswerSubst>

Contains values for the unbound inference variables for which the table is true, along with any delayed subgoals (Which must still be proven) and region constrained (which must still be proven, but not by chalk).

ambiguous: bool

If this flag is set, then the answer could be neither proven nor disproven. This could be the size of the answer exceeded max_size or because of a negative loop (e.g., P :- not { P }).

Trait Implementations

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

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

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

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

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

Auto Trait Implementations

`impl RefUnwindSafe for Answer where ::InternedCanonicalVarKinds: RefUnwindSafe, ::InternedConstraints: RefUnwindSafe, ::InternedGoal: RefUnwindSafe, ::InternedProgramClauses: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe,` [src]

`impl Send for Answer where ::InternedCanonicalVarKinds: Send, ::InternedConstraints: Send, ::InternedGoal: Send, ::InternedProgramClauses: Send, ::InternedSubstitution: Send,` [src]

`impl Sync for Answer where ::InternedCanonicalVarKinds: Sync, ::InternedConstraints: Sync, ::InternedGoal: Sync, ::InternedProgramClauses: Sync, ::InternedSubstitution: Sync,` [src]

`impl Unpin for Answer where ::InternedCanonicalVarKinds: Unpin, ::InternedConstraints: Unpin, ::InternedGoal: Unpin, ::InternedProgramClauses: Unpin, ::InternedSubstitution: Unpin,` [src]

`impl UnwindSafe for Answer where ::InternedCanonicalVarKinds: UnwindSafe, ::InternedConstraints: UnwindSafe, ::InternedGoal: UnwindSafe, ::InternedProgramClauses: UnwindSafe, ::InternedSubstitution: UnwindSafe,` [src]

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<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]

Struct chalk_engine::Answer[−][src]

Fields

Trait Implementations

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

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

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

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

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

Auto Trait Implementations

`impl<I> Send for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Send, <I as Interner>::InternedConstraints: Send, <I as Interner>::InternedGoal: Send, <I as Interner>::InternedProgramClauses: Send, <I as Interner>::InternedSubstitution: Send,` [src]

`impl<I> Sync for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Sync, <I as Interner>::InternedConstraints: Sync, <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedProgramClauses: Sync, <I as Interner>::InternedSubstitution: Sync,` [src]

`impl<I> Unpin for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Unpin, <I as Interner>::InternedConstraints: Unpin, <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedProgramClauses: Unpin, <I as Interner>::InternedSubstitution: Unpin,` [src]

`impl<I> UnwindSafe for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: UnwindSafe, <I as Interner>::InternedConstraints: UnwindSafe, <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,` [src]

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<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]

Struct chalk_engine::Answer[−][src]

Fields

Trait Implementations

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

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

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

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

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

Auto Trait Implementations

impl<I> Send for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Send, <I as Interner>::InternedConstraints: Send, <I as Interner>::InternedGoal: Send, <I as Interner>::InternedProgramClauses: Send, <I as Interner>::InternedSubstitution: Send, [src]

impl<I> Sync for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Sync, <I as Interner>::InternedConstraints: Sync, <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedProgramClauses: Sync, <I as Interner>::InternedSubstitution: Sync, [src]

impl<I> Unpin for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Unpin, <I as Interner>::InternedConstraints: Unpin, <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedProgramClauses: Unpin, <I as Interner>::InternedSubstitution: Unpin, [src]

impl<I> UnwindSafe for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: UnwindSafe, <I as Interner>::InternedConstraints: UnwindSafe, <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe, [src]

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<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 Answer<I>`[src]

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

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

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

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

`impl<I> Send for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Send, <I as Interner>::InternedConstraints: Send, <I as Interner>::InternedGoal: Send, <I as Interner>::InternedProgramClauses: Send, <I as Interner>::InternedSubstitution: Send,` [src]

`impl<I> Sync for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Sync, <I as Interner>::InternedConstraints: Sync, <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedProgramClauses: Sync, <I as Interner>::InternedSubstitution: Sync,` [src]

`impl<I> Unpin for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: Unpin, <I as Interner>::InternedConstraints: Unpin, <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedProgramClauses: Unpin, <I as Interner>::InternedSubstitution: Unpin,` [src]

`impl<I> UnwindSafe for Answer<I> where <I as Interner>::InternedCanonicalVarKinds: UnwindSafe, <I as Interner>::InternedConstraints: UnwindSafe, <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,` [src]

`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<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]