Trait chalk_recursive::fixed_point::SolverStuff

pub(crate) trait SolverStuff<K, V>: Copy
where
    K: Hash + Eq + Debug + Clone,
    V: Debug + Clone,
{
    // Required methods
    fn is_coinductive_goal(self, goal: &K) -> bool;
    fn initial_value(self, goal: &K, coinductive_goal: bool) -> V;
    fn solve_iteration(
        self,
        context: &mut RecursiveContext<K, V>,
        goal: &K,
        minimums: &mut Minimums,
        should_continue: impl Fn() -> bool + Clone
    ) -> V;
    fn reached_fixed_point(self, old_value: &V, new_value: &V) -> bool;
    fn error_value(self) -> V;
}

Required Methods

fn is_coinductive_goal(self, goal: &K) -> bool

fn initial_value(self, goal: &K, coinductive_goal: bool) -> V

fn solve_iteration( self, context: &mut RecursiveContext<K, V>, goal: &K, minimums: &mut Minimums, should_continue: impl Fn() -> bool + Clone ) -> V

fn reached_fixed_point(self, old_value: &V, new_value: &V) -> bool

fn error_value(self) -> V

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<I: Interner> SolverStuff<UCanonical<InEnvironment<Goal<I>>>, Result<Solution<I>, NoSolution>> for &dyn RustIrDatabase<I>

fn is_coinductive_goal(self, goal: &UCanonicalGoal<I>) -> bool

fn initial_value( self, goal: &UCanonicalGoal<I>, coinductive_goal: bool ) -> Fallible<Solution<I>>

fn solve_iteration( self, context: &mut RecursiveContext<UCanonicalGoal<I>, Fallible<Solution<I>>>, goal: &UCanonicalGoal<I>, minimums: &mut Minimums, should_continue: impl Fn() -> bool + Clone ) -> Fallible<Solution<I>>

fn reached_fixed_point( self, old_answer: &Fallible<Solution<I>>, current_answer: &Fallible<Solution<I>> ) -> bool

fn error_value(self) -> Fallible<Solution<I>>

Implementors