[][src]Enum chalk_ir::ProgramClause

pub enum ProgramClause {
    Implies(ProgramClauseImplication),
    ForAll(Binders<ProgramClauseImplication>),
}

Variants

Implies(ProgramClauseImplication)ForAll(Binders<ProgramClauseImplication>)

Methods

impl ProgramClause[src]

pub fn in_scope_trait_id(&self) -> Option<TraitId>[src]

See Environment::in_scope_trait_ids

impl ProgramClause[src]

pub fn into_from_env_clause(self) -> ProgramClause[src]

Trait Implementations

impl Zip for ProgramClause[src]

impl Fold for ProgramClause[src]

type Result = ProgramClause

The type of value that will be produced once folding is done. Typically this is Self, unless Self contains borrowed values, in which case owned values are produced (for example, one can fold over a &T value where T: Fold, in which case you get back a T, not a &T). Read more

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T: Cast<DomainGoal>> Cast<ProgramClause> for Binders<T>[src]

impl Cast<ProgramClause> for ProgramClauseImplication[src]

impl Cast<ProgramClause> for Binders<ProgramClauseImplication>[src]

impl CouldMatch<DomainGoal> for ProgramClause[src]

impl Eq for ProgramClause[src]

impl PartialEq<ProgramClause> for ProgramClause[src]

impl Clone for ProgramClause[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl Ord for ProgramClause[src]

fn max(self, other: Self) -> Self1.21.0[src]

Compares and returns the maximum of two values. Read more

fn min(self, other: Self) -> Self1.21.0[src]

Compares and returns the minimum of two values. Read more

fn clamp(self, min: Self, max: Self) -> Self[src]

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval. Read more

impl PartialOrd<ProgramClause> for ProgramClause[src]

impl Hash for ProgramClause[src]

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher
1.3.0[src]

Feeds a slice of this type into the given [Hasher]. Read more

impl Debug for ProgramClause[src]

Auto Trait Implementations

impl Send for ProgramClause

impl Sync for ProgramClause

Blanket Implementations

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Cast<ProgramClause> for T where
    T: Cast<DomainGoal>, 
[src]

impl<T> Shift for T where
    T: Fold + Eq
[src]

impl<T> CouldMatch<T> for T where
    T: Zip
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]