[−][src]Enum chalk_ir::ClausePriority
Specifies how important an implication is.
Variants
High priority, the solver should prioritize this.
Low priority, this implication has lower chance to be relevant to the goal.
Trait Implementations
impl BitAnd<ClausePriority> for ClausePriority
[src]
type Output = ClausePriority
The resulting type after applying the &
operator.
pub fn bitand(self, rhs: ClausePriority) -> Self::Output
[src]
impl Clone for ClausePriority
[src]
pub fn clone(&self) -> ClausePriority
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Copy for ClausePriority
[src]
impl Debug for ClausePriority
[src]
impl Eq for ClausePriority
[src]
impl<I: Interner> Fold<I> for ClausePriority
[src]
type Result = Self
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
pub fn fold_with<'i>(
&self,
_folder: &mut dyn Folder<'i, I>,
_outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
[src]
&self,
_folder: &mut dyn Folder<'i, I>,
_outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
impl Hash for ClausePriority
[src]
pub fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl PartialEq<ClausePriority> for ClausePriority
[src]
pub fn eq(&self, other: &ClausePriority) -> bool
[src]
#[must_use]pub fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
impl StructuralEq for ClausePriority
[src]
impl StructuralPartialEq for ClausePriority
[src]
impl<I: Interner> Visit<I> for ClausePriority
[src]
pub fn visit_with<'i, B>(
&self,
_visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
_outer_binder: DebruijnIndex
) -> ControlFlow<B> where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
_outer_binder: DebruijnIndex
) -> ControlFlow<B> where
I: 'i,
impl<I: Interner> Zip<I> for ClausePriority
[src]
Auto Trait Implementations
impl RefUnwindSafe for ClausePriority
impl Send for ClausePriority
impl Sync for ClausePriority
impl Unpin for ClausePriority
impl UnwindSafe for ClausePriority
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
[src]
pub fn cast<U>(self, interner: &U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
[src]
Self: CastTo<U>,
U: HasInterner,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, I> Shift<I> for T where
I: Interner,
T: Fold<I>,
[src]
I: Interner,
T: Fold<I>,
pub fn shifted_in(&Self, &I) -> <T as Fold<I>>::Result
[src]
pub fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I>>::Result
[src]
pub fn shifted_out_to(
&Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>
[src]
&Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>
pub fn shifted_out(&Self, &I) -> Result<<T as Fold<I>>::Result, NoSolution>
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T, I> VisitExt<I> for T where
I: Interner,
T: Visit<I>,
[src]
I: Interner,
T: Visit<I>,