[−][src]Struct chalk_ir::FnPointer

pub struct FnPointer<I: Interner> {
    pub num_binders: usize,
    pub sig: FnSig<I>,
    pub substitution: Substitution<I>,
}

for<'a...'z> X -- all binders are instantiated at once, and we use deBruijn indices within self.ty

Fields

num_binders: usizesig: FnSigsubstitution: Substitution

Trait Implementations

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

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

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

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

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

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

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

`impl<I: Interner, TI: TargetInterner> Fold<I, TI> for FnPointer`[src]

`type Result = FnPointer<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: Interner> HasInterner for FnPointer`[src]

`type Interner = I`

The interner associated with the type.

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

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

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

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

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

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

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

Auto Trait Implementations

`impl RefUnwindSafe for FnPointer where ::FnAbi: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe,`

`impl Send for FnPointer where ::FnAbi: Send, ::InternedSubstitution: Send,`

`impl Sync for FnPointer where ::FnAbi: Sync, ::InternedSubstitution: Sync,`

`impl Unpin for FnPointer where ::FnAbi: Unpin, ::InternedSubstitution: Unpin,`

`impl UnwindSafe for FnPointer where ::FnAbi: UnwindSafe, ::InternedSubstitution: 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> 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::FnPointer

Fields

Trait Implementations

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

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

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

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

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

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

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

impl<I: Interner, TI: TargetInterner<I>> Fold<I, TI> for FnPointer<I>[src]

type Result = FnPointer<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: Interner> HasInterner for FnPointer<I>[src]

type Interner = I

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

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

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

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

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

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

Auto Trait Implementations

impl<I> RefUnwindSafe for FnPointer<I> where <I as Interner>::FnAbi: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,

impl<I> Send for FnPointer<I> where <I as Interner>::FnAbi: Send, <I as Interner>::InternedSubstitution: Send,

impl<I> Sync for FnPointer<I> where <I as Interner>::FnAbi: Sync, <I as Interner>::InternedSubstitution: Sync,

impl<I> Unpin for FnPointer<I> where <I as Interner>::FnAbi: Unpin, <I as Interner>::InternedSubstitution: Unpin,

impl<I> UnwindSafe for FnPointer<I> where <I as Interner>::FnAbi: UnwindSafe, <I as Interner>::InternedSubstitution: 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> 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: Clone + Interner> Clone for FnPointer<I>`[src]

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

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

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

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

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

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

`impl<I: Interner, TI: TargetInterner<I>> Fold<I, TI> for FnPointer<I>`[src]

`type Result = FnPointer<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: Interner> HasInterner for FnPointer<I>`[src]

`type Interner = I`

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

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

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

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

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

`impl<I: Interner> Visit<I> for FnPointer<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> RefUnwindSafe for FnPointer<I> where <I as Interner>::FnAbi: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,`

`impl<I> Send for FnPointer<I> where <I as Interner>::FnAbi: Send, <I as Interner>::InternedSubstitution: Send,`

`impl<I> Sync for FnPointer<I> where <I as Interner>::FnAbi: Sync, <I as Interner>::InternedSubstitution: Sync,`

`impl<I> Unpin for FnPointer<I> where <I as Interner>::FnAbi: Unpin, <I as Interner>::InternedSubstitution: Unpin,`

`impl<I> UnwindSafe for FnPointer<I> where <I as Interner>::FnAbi: UnwindSafe, <I as Interner>::InternedSubstitution: 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> 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]