[−][src]Struct chalk_ir::FnSubst

pub struct FnSubst<I: Interner>(pub Substitution<I>);

A wrapper for the substs on a Fn.

Trait Implementations

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

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

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

`impl<I: Interner> Copy for FnSubst where I::InternedSubstitution: Copy,` [src]

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

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

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

`impl<I: Interner> Fold for FnSubst`[src]

`type Result = FnSubst`

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]

`impl<I: Interner> HasInterner for FnSubst`[src]

`type Interner = I`

The interner associated with the type.

`impl<I: Hash + Interner> Hash for FnSubst`[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]

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

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

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

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

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

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

`pub fn visit_with<'i, B>( &self, visitor: &mut dyn Visitor<'i, I, BreakTy = B>, outer_binder: DebruijnIndex ) -> ControlFlow where I: 'i,` [src]

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

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

Auto Trait Implementations

`impl RefUnwindSafe for FnSubst where ::InternedSubstitution: RefUnwindSafe,` [src]

`impl Send for FnSubst where ::InternedSubstitution: Send,` [src]

`impl Sync for FnSubst where ::InternedSubstitution: Sync,` [src]

`impl Unpin for FnSubst where ::InternedSubstitution: Unpin,` [src]

`impl UnwindSafe for FnSubst where ::InternedSubstitution: UnwindSafe,` [src]

Blanket Implementations

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

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

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

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

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

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

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

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

`impl<T, I> CouldMatch<T> for T where T: Zip + HasInterner<Interner = I> + ?Sized, I: Interner,` [src]

`pub fn could_match(&Self, &I, &dyn UnificationDatabase, &T) -> bool`[src]

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

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

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

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

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

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

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

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

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

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

`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 for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub 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.

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

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

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

[−][src]Struct chalk_ir::FnSubst

Trait Implementations

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

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

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

impl<I: Interner> Copy for FnSubst<I> where I::InternedSubstitution: Copy, [src]

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

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

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

impl<I: Interner> Fold<I> for FnSubst<I>[src]

type Result = FnSubst<I>

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

impl<I: Interner> HasInterner for FnSubst<I>[src]

type Interner = I

impl<I: Hash + Interner> Hash for FnSubst<I>[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]

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

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

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

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

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

impl<I: Interner> Visit<I> for FnSubst<I>[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]

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

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

Auto Trait Implementations

impl<I> RefUnwindSafe for FnSubst<I> where <I as Interner>::InternedSubstitution: RefUnwindSafe, [src]

impl<I> Send for FnSubst<I> where <I as Interner>::InternedSubstitution: Send, [src]

impl<I> Sync for FnSubst<I> where <I as Interner>::InternedSubstitution: Sync, [src]

impl<I> Unpin for FnSubst<I> where <I as Interner>::InternedSubstitution: Unpin, [src]

impl<I> UnwindSafe for FnSubst<I> where <I as Interner>::InternedSubstitution: UnwindSafe, [src]

Blanket Implementations

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

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

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

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

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

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]

impl<T, I> CouldMatch<T> for T where T: Zip<I> + HasInterner<Interner = I> + ?Sized, I: Interner, [src]

pub fn could_match(&Self, &I, &dyn UnificationDatabase<I>, &T) -> bool[src]

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

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

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

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

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

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]

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

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

type Owned = T

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]

type Error = Infallible

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]

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

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

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

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

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

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

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

`impl<I: Interner> Copy for FnSubst<I> where I::InternedSubstitution: Copy,` [src]

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

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

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

`impl<I: Interner> Fold<I> for FnSubst<I>`[src]

`type Result = FnSubst<I>`

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

`impl<I: Interner> HasInterner for FnSubst<I>`[src]

`type Interner = I`

`impl<I: Hash + Interner> Hash for FnSubst<I>`[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]

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

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

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

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

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

`impl<I: Interner> Visit<I> for FnSubst<I>`[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]

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

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

`impl<I> RefUnwindSafe for FnSubst<I> where <I as Interner>::InternedSubstitution: RefUnwindSafe,` [src]

`impl<I> Send for FnSubst<I> where <I as Interner>::InternedSubstitution: Send,` [src]

`impl<I> Sync for FnSubst<I> where <I as Interner>::InternedSubstitution: Sync,` [src]

`impl<I> Unpin for FnSubst<I> where <I as Interner>::InternedSubstitution: Unpin,` [src]

`impl<I> UnwindSafe for FnSubst<I> where <I as Interner>::InternedSubstitution: UnwindSafe,` [src]

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

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

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

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

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

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

`impl<T, I> CouldMatch<T> for T where T: Zip<I> + HasInterner<Interner = I> + ?Sized, I: Interner,` [src]

`pub fn could_match(&Self, &I, &dyn UnificationDatabase<I>, &T) -> bool`[src]

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

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

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

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

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

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

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

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

`type Owned = T`

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

`type Error = Infallible`

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

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

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

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

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