[−][src]Enum chalk_engine::context::AnswerResult

pub enum AnswerResult<I: Interner> {
    Answer(CompleteAnswer<I>),
    NoMoreSolutions,
    Floundered,
    QuantumExceeded,
}

Variants

Answer(CompleteAnswer)

The next available answer.

NoMoreSolutions

No answer could be returned because there are no more solutions.

Floundered

No answer could be returned because the goal has floundered.

QuantumExceeded

Implementations

`impl<I: Interner> AnswerResult`[src]

`pub fn is_answer(&self) -> bool`[src]

`pub fn answer(self) -> CompleteAnswer`[src]

`pub fn is_no_more_solutions(&self) -> bool`[src]

`pub fn is_quantum_exceeded(&self) -> bool`[src]

Trait Implementations

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

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

Auto Trait Implementations

`impl RefUnwindSafe for AnswerResult where ::InternedCanonicalVarKinds: RefUnwindSafe, ::InternedConstraints: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe,`

`impl Send for AnswerResult where ::InternedCanonicalVarKinds: Send, ::InternedConstraints: Send, ::InternedSubstitution: Send,`

`impl Sync for AnswerResult where ::InternedCanonicalVarKinds: Sync, ::InternedConstraints: Sync, ::InternedSubstitution: Sync,`

`impl Unpin for AnswerResult where ::InternedCanonicalVarKinds: Unpin, ::InternedConstraints: Unpin, ::InternedSubstitution: Unpin,`

`impl UnwindSafe for AnswerResult where ::InternedCanonicalVarKinds: UnwindSafe, ::InternedConstraints: 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<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, 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.

[−][src]Enum chalk_engine::context::AnswerResult

Variants

Implementations

`impl<I: Interner> AnswerResult<I>`[src]

`pub fn is_answer(&self) -> bool`[src]

`pub fn answer(self) -> CompleteAnswer<I>`[src]

`pub fn is_no_more_solutions(&self) -> bool`[src]

`pub fn is_quantum_exceeded(&self) -> bool`[src]

Trait Implementations

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

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

Auto Trait Implementations

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

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

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

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

`impl<I> UnwindSafe for AnswerResult<I> where <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]

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

[−][src]Enum chalk_engine::context::AnswerResult

Variants

Implementations

impl<I: Interner> AnswerResult<I>[src]

pub fn is_answer(&self) -> bool[src]

pub fn answer(self) -> CompleteAnswer<I>[src]

pub fn is_no_more_solutions(&self) -> bool[src]

pub fn is_quantum_exceeded(&self) -> bool[src]

Trait Implementations

impl<I: Interner> Debug for AnswerResult<I>[src]

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

Auto Trait Implementations

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

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

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

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

impl<I> UnwindSafe for AnswerResult<I> where <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]

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, 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: Interner> AnswerResult<I>`[src]

`pub fn is_answer(&self) -> bool`[src]

`pub fn answer(self) -> CompleteAnswer<I>`[src]

`pub fn is_no_more_solutions(&self) -> bool`[src]

`pub fn is_quantum_exceeded(&self) -> bool`[src]

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

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

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

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

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

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

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

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