[−][src]Struct chalk_ir::EqGoal

pub struct EqGoal<I: Interner> {
    pub a: GenericArg<I>,
    pub b: GenericArg<I>,
}

Fields

a: GenericArgb: GenericArg

Trait Implementations

`impl<I: Interner> CastTo<Goal> for EqGoal`[src]

`fn cast_to(self, interner: &I) -> Goal`[src]

`impl<I: Clone + Interner> Clone for EqGoal`[src]

`fn clone(&self) -> EqGoal`[src]

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

`impl<I: Interner> Debug for EqGoal`[src]

`fn fmt(&self, fmt: &mut Formatter) -> Result<(), Error>`[src]

`impl<I: Eq + Interner> Eq for EqGoal`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for EqGoal where _TI: TargetInterner,` [src]

`type Result = EqGoal<_TI>`

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

`fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i, _TI: 'i,` [src]

`impl<I: Hash + Interner> Hash for EqGoal`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

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

`impl<I: PartialEq + Interner> PartialEq<EqGoal> for EqGoal`[src]

`fn eq(&self, other: &EqGoal) -> bool`[src]

`fn ne(&self, other: &EqGoal) -> bool`[src]

`impl<I: Interner> StructuralEq for EqGoal`[src]

`impl<I: Interner> StructuralPartialEq for EqGoal`[src]

`impl<I: Interner> Visit for EqGoal`[src]

`fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex ) -> R where I: 'i,` [src]

`impl<I: Interner> Zip for EqGoal`[src]

`fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, a: &Self, b: &Self ) -> Fallible<()> where I: 'i,` [src]

Auto Trait Implementations

`impl RefUnwindSafe for EqGoal where ::InternedGenericArg: RefUnwindSafe,`

`impl Send for EqGoal where ::InternedGenericArg: Send,`

`impl Sync for EqGoal where ::InternedGenericArg: Sync,`

`impl Unpin for EqGoal where ::InternedGenericArg: Unpin,`

`impl UnwindSafe for EqGoal where ::InternedGenericArg: UnwindSafe,`

Blanket Implementations

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow(&self) -> &T`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`fn cast(self, interner: &U::Interner) -> U where Self: CastTo, U: HasInterner,` [src]

`impl<T, I> CastTo<Goal> for T where I: Interner, T: CastTo<DomainGoal>,` [src]

`fn cast_to(Self, &I) -> Goal`[src]

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

`fn from(t: T) -> T`[src]

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

`fn into(self) -> U`[src]

`impl<T, I> Shift for T where I: Interner, T: Fold<I, I>,` [src]

`fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_out_to( &Self, &I, DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

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

`type Owned = T`

The resulting type after obtaining ownership.

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T, I> VisitExt for T where I: Interner, T: Visit,` [src]

`fn has_free_vars(&self, interner: &I) -> bool`[src]

[−][src]Struct chalk_ir::EqGoal

Fields

Trait Implementations

impl<I: Interner> CastTo<Goal<I>> for EqGoal<I>[src]

fn cast_to(self, interner: &I) -> Goal<I>[src]

impl<I: Clone + Interner> Clone for EqGoal<I>[src]

fn clone(&self) -> EqGoal<I>[src]

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

impl<I: Interner> Debug for EqGoal<I>[src]

fn fmt(&self, fmt: &mut Formatter) -> Result<(), Error>[src]

impl<I: Eq + Interner> Eq for EqGoal<I>[src]

impl<I: Interner, _TI> Fold<I, _TI> for EqGoal<I> where _TI: TargetInterner<I>, [src]

type Result = EqGoal<_TI>

fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex) -> Fallible<Self::Result> where I: 'i, _TI: 'i, [src]

impl<I: Hash + Interner> Hash for EqGoal<I>[src]

fn hash<__H: Hasher>(&self, state: &mut __H)[src]

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

impl<I: PartialEq + Interner> PartialEq<EqGoal<I>> for EqGoal<I>[src]

fn eq(&self, other: &EqGoal<I>) -> bool[src]

fn ne(&self, other: &EqGoal<I>) -> bool[src]

impl<I: Interner> StructuralEq for EqGoal<I>[src]

impl<I: Interner> StructuralPartialEq for EqGoal<I>[src]

impl<I: Interner> Visit<I> for EqGoal<I>[src]

fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex) -> R where I: 'i, [src]

impl<I: Interner> Zip<I> for EqGoal<I>[src]

fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, a: &Self, b: &Self) -> Fallible<()> where I: 'i, [src]

Auto Trait Implementations

impl<I> RefUnwindSafe for EqGoal<I> where <I as Interner>::InternedGenericArg: RefUnwindSafe,

impl<I> Send for EqGoal<I> where <I as Interner>::InternedGenericArg: Send,

impl<I> Sync for EqGoal<I> where <I as Interner>::InternedGenericArg: Sync,

impl<I> Unpin for EqGoal<I> where <I as Interner>::InternedGenericArg: Unpin,

impl<I> UnwindSafe for EqGoal<I> where <I as Interner>::InternedGenericArg: UnwindSafe,

Blanket Implementations

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

fn type_id(&self) -> TypeId[src]

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

fn borrow(&self) -> &T[src]

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

fn borrow_mut(&mut self) -> &mut T[src]

impl<T> Cast for T[src]

fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner, [src]

impl<T, I> CastTo<Goal<I>> for T where I: Interner, T: CastTo<DomainGoal<I>>, [src]

fn cast_to(Self, &I) -> Goal<I>[src]

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

fn from(t: T) -> T[src]

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

fn into(self) -> U[src]

impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>, [src]

fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result[src]

fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result[src]

fn shifted_out_to( &Self, &I, DebruijnIndex) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

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

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

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

type Error = Infallible

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]

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

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]

fn has_free_vars(&self, interner: &I) -> bool[src]

`impl<I: Interner> CastTo<Goal<I>> for EqGoal<I>`[src]

`fn cast_to(self, interner: &I) -> Goal<I>`[src]

`impl<I: Clone + Interner> Clone for EqGoal<I>`[src]

`fn clone(&self) -> EqGoal<I>`[src]

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

`impl<I: Interner> Debug for EqGoal<I>`[src]

`fn fmt(&self, fmt: &mut Formatter) -> Result<(), Error>`[src]

`impl<I: Eq + Interner> Eq for EqGoal<I>`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for EqGoal<I> where _TI: TargetInterner<I>,` [src]

`type Result = EqGoal<_TI>`

`fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i, _TI: 'i,` [src]

`impl<I: Hash + Interner> Hash for EqGoal<I>`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

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

`impl<I: PartialEq + Interner> PartialEq<EqGoal<I>> for EqGoal<I>`[src]

`fn eq(&self, other: &EqGoal<I>) -> bool`[src]

`fn ne(&self, other: &EqGoal<I>) -> bool`[src]

`impl<I: Interner> StructuralEq for EqGoal<I>`[src]

`impl<I: Interner> StructuralPartialEq for EqGoal<I>`[src]

`impl<I: Interner> Visit<I> for EqGoal<I>`[src]

`fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex ) -> R where I: 'i,` [src]

`impl<I: Interner> Zip<I> for EqGoal<I>`[src]

`fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, a: &Self, b: &Self ) -> Fallible<()> where I: 'i,` [src]

`impl<I> RefUnwindSafe for EqGoal<I> where <I as Interner>::InternedGenericArg: RefUnwindSafe,`

`impl<I> Send for EqGoal<I> where <I as Interner>::InternedGenericArg: Send,`

`impl<I> Sync for EqGoal<I> where <I as Interner>::InternedGenericArg: Sync,`

`impl<I> Unpin for EqGoal<I> where <I as Interner>::InternedGenericArg: Unpin,`

`impl<I> UnwindSafe for EqGoal<I> where <I as Interner>::InternedGenericArg: UnwindSafe,`

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow(&self) -> &T`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner,` [src]

`impl<T, I> CastTo<Goal<I>> for T where I: Interner, T: CastTo<DomainGoal<I>>,` [src]

`fn cast_to(Self, &I) -> Goal<I>`[src]

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

`fn from(t: T) -> T`[src]

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

`fn into(self) -> U`[src]

`impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>,` [src]

`fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_out_to( &Self, &I, DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

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

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

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

`type Error = Infallible`

`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]

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

`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]

`fn has_free_vars(&self, interner: &I) -> bool`[src]