[][src]Trait chalk_solve::ext::GoalExt

pub trait GoalExt<I: Interner> {
    pub fn into_peeled_goal(
        self,
        interner: &I
    ) -> UCanonical<InEnvironment<Goal<I>>>;
pub fn into_closed_goal(
        self,
        interner: &I
    ) -> UCanonical<InEnvironment<Goal<I>>>; }

Required methods

pub fn into_peeled_goal(
    self,
    interner: &I
) -> UCanonical<InEnvironment<Goal<I>>>
[src]

pub fn into_closed_goal(
    self,
    interner: &I
) -> UCanonical<InEnvironment<Goal<I>>>
[src]

Loading content...

Implementations on Foreign Types

impl<I: Interner> GoalExt<I> for Goal<I>[src]

pub fn into_peeled_goal(
    self,
    interner: &I
) -> UCanonical<InEnvironment<Goal<I>>>
[src]

Returns a canonical goal in which the outermost exists<> and forall<> quantifiers (as well as implications) have been "peeled" and are converted into free universal or existential variables. Assumes that this goal is a "closed goal" which does not -- at present -- contain any variables. Useful for REPLs and tests but not much else.

pub fn into_closed_goal(
    self,
    interner: &I
) -> UCanonical<InEnvironment<Goal<I>>>
[src]

Given a goal with no free variables (a "closed" goal), creates a canonical form suitable for solving. This is a suitable choice if you don't actually care about the values of any of the variables within; otherwise, you might want into_peeled_goal.

Panics

Will panic if this goal does in fact contain free variables.

Loading content...

Implementors

Loading content...