Enum chalk_engine::Literal
[−]
[src]
pub enum Literal<C: Context, I: InferenceContext<C>> { Positive(I::GoalInEnvironment), Negative(I::GoalInEnvironment), }
Either A
or ~A
, where A
is a Env |- Goal
.
Variants
Positive(I::GoalInEnvironment)
Negative(I::GoalInEnvironment)
Trait Implementations
impl<C: Context, I: InferenceContext<C>> PartialEq for Literal<C, I>
[src]
fn eq(&self, other: &Literal<C, I>) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
impl<C: Context, I: InferenceContext<C>> Eq for Literal<C, I>
[src]
impl<C: Context, I: InferenceContext<C>> Hash for Literal<C, I>
[src]
fn hash<H: Hasher>(&self, state: &mut H)
[src]
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl<C: Clone + Context, I: Clone + InferenceContext<C>> Clone for Literal<C, I> where
I::GoalInEnvironment: Clone,
I::GoalInEnvironment: Clone,
[src]
I::GoalInEnvironment: Clone,
I::GoalInEnvironment: Clone,
fn clone(&self) -> Literal<C, I>
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<C: Debug + Context, I: Debug + InferenceContext<C>> Debug for Literal<C, I> where
I::GoalInEnvironment: Debug,
I::GoalInEnvironment: Debug,
[src]
I::GoalInEnvironment: Debug,
I::GoalInEnvironment: Debug,
Auto Trait Implementations
impl<C, I> Send for Literal<C, I> where
<I as InferenceContext<C>>::GoalInEnvironment: Send,
<I as InferenceContext<C>>::GoalInEnvironment: Send,
impl<C, I> Sync for Literal<C, I> where
<I as InferenceContext<C>>::GoalInEnvironment: Sync,
<I as InferenceContext<C>>::GoalInEnvironment: Sync,