Enum chalk_recursive::fulfill::Obligation

enum Obligation<I: Interner> {
    Prove(InEnvironment<Goal<I>>),
    Refute(InEnvironment<Goal<I>>),
}

A goal that must be resolved

Variants

Prove(InEnvironment<Goal<I>>)

For “positive” goals, we flatten all the way out to leafs within the current Fulfill

Refute(InEnvironment<Goal<I>>)

For “negative” goals, we don’t flatten in this Fulfill, which would require having a logical “or” operator. Instead, we recursively solve in a fresh Fulfill.

Trait Implementations

impl<I: Clone + Interner> Clone for Obligation<I>

fn clone(&self) -> Obligation<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for Obligation<I>

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

Formats the value using the given formatter.

impl<I: PartialEq + Interner> PartialEq for Obligation<I>

fn eq(&self, other: &Obligation<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I: Eq + Interner> Eq for Obligation<I>

impl<I: Interner> StructuralPartialEq for Obligation<I>