[−][src]Trait chalk_engine::context::AnswerStream

pub trait AnswerStream<I: Interner> {
    pub fn peek_answer(
        &mut self, 
        should_continue: impl Fn() -> bool
    ) -> AnswerResult<I>;
    pub fn next_answer(
        &mut self, 
        should_continue: impl Fn() -> bool
    ) -> AnswerResult<I>;
    pub fn any_future_answer(
        &self, 
        test: impl Fn(&Substitution<I>) -> bool
    ) -> bool;
}

Required methods

`pub fn peek_answer( &mut self, should_continue: impl Fn() -> bool ) -> AnswerResult<I>`[src]

Gets the next answer for a given goal, but doesn't increment the answer index. Calling this or next_answer again will give the same answer.

`pub fn next_answer( &mut self, should_continue: impl Fn() -> bool ) -> AnswerResult<I>`[src]

Gets the next answer for a given goal, incrementing the answer index. Calling this or peek_answer again will give the next answer.

`pub fn any_future_answer(&self, test: impl Fn(&Substitution<I>) -> bool) -> bool`[src]

Invokes test with each possible future answer, returning true immediately if we find any answer for which test returns true.

Loading content...

Implementors