[][src]Struct chalk_ir::ApplicationTy

pub struct ApplicationTy<I: Interner> {
    pub name: TypeName<I>,
    pub substitution: Substitution<I>,
}

Fields

name: TypeName<I>substitution: Substitution<I>

Implementations

impl<I: Interner> ApplicationTy<I>[src]

pub fn debug<'a>(&'a self, interner: &'a I) -> ApplicationTyDebug<'a, I>[src]

impl<I: Interner> ApplicationTy<I>[src]

pub fn intern(self, interner: &I) -> Ty<I>[src]

pub fn type_parameters<'a>(
    &'a self,
    interner: &'a I
) -> impl Iterator<Item = Ty<I>> + 'a
[src]

pub fn first_type_parameter(&self, interner: &I) -> Option<Ty<I>>[src]

pub fn len_type_parameters(&self, interner: &I) -> usize[src]

Trait Implementations

impl<I: Interner> CastTo<TyData<I>> for ApplicationTy<I>[src]

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

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

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

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

type Result = ApplicationTy<_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

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

type Interner = I

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

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

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

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

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

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

Auto Trait Implementations

impl<I> RefUnwindSafe for ApplicationTy<I> where
    <I as Interner>::DefId: RefUnwindSafe,
    <I as Interner>::InternedAdtId: RefUnwindSafe,
    <I as Interner>::InternedSubstitution: RefUnwindSafe

impl<I> Send for ApplicationTy<I> where
    <I as Interner>::DefId: Send,
    <I as Interner>::InternedAdtId: Send,
    <I as Interner>::InternedSubstitution: Send

impl<I> Sync for ApplicationTy<I> where
    <I as Interner>::DefId: Sync,
    <I as Interner>::InternedAdtId: Sync,
    <I as Interner>::InternedSubstitution: Sync

impl<I> Unpin for ApplicationTy<I> where
    <I as Interner>::DefId: Unpin,
    <I as Interner>::InternedAdtId: Unpin,
    <I as Interner>::InternedSubstitution: Unpin

impl<I> UnwindSafe for ApplicationTy<I> where
    <I as Interner>::DefId: UnwindSafe,
    <I as Interner>::InternedAdtId: UnwindSafe,
    <I as Interner>::InternedSubstitution: UnwindSafe

Blanket Implementations

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

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

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

impl<T> Cast for T[src]

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

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

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

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

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

type Owned = T

The resulting type after obtaining ownership.

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

type Error = Infallible

The type returned in the event of a conversion error.

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

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

The type returned in the event of a conversion error.

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