Struct ra_ap_hir_ty::Substitution

pub struct Substitution(_);

A list of substitutions for generic parameters.

Implementations

impl Substitution

pub fn interned(&self) -> &[GenericArg]

pub fn len(&self, _: &Interner) -> usize

pub fn is_empty(&self, _: &Interner) -> bool

pub fn at(&self, _: &Interner, i: usize) -> &GenericArg

pub fn empty(_: &Interner) -> Substitution

pub fn iter(&self, _: &Interner) -> Iter<'_, GenericArg>

pub fn from_iter(
    interner: &Interner,
    elements: impl IntoIterator<Item = impl CastTo<GenericArg>>
) -> Self

pub fn intern(interned: SmallVec<[GenericArg; 2]>) -> Substitution

pub fn interned_mut(&mut self) -> &mut SmallVec<[GenericArg; 2]>

impl Substitution

pub fn single(ty: Ty) -> Substitution

pub fn prefix(&self, n: usize) -> Substitution

pub fn suffix(&self, n: usize) -> Substitution

Trait Implementations

impl Clone for Substitution

fn clone(&self) -> Substitution

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Substitution

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Substitution

impl Hash for Substitution

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Substitution> for Substitution

fn eq(&self, other: &Substitution) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Substitution) -> bool

This method tests for !=.

impl StructuralEq for Substitution

impl StructuralPartialEq for Substitution

impl TypeWalk for Substitution

fn walk(&self, f: &mut impl FnMut(&Ty))

fn walk_mut_binders(
    &mut self,
    f: &mut impl FnMut(&mut Ty, DebruijnIndex),
    binders: DebruijnIndex
)

Walk the type, counting entered binders.

fn walk_mut(&mut self, f: &mut impl FnMut(&mut Ty))

fn fold_binders(
    self,
    f: &mut impl FnMut(Ty, DebruijnIndex) -> Ty,
    binders: DebruijnIndex
) -> Self where
    Self: Sized, 

fn fold(self, f: &mut impl FnMut(Ty) -> Ty) -> Self where
    Self: Sized, 

fn subst_bound_vars(self, substs: &Substitution) -> Self where
    Self: Sized, 

Substitutes TyKind::Bound vars with the given substitution.

fn subst_bound_vars_at_depth(
    self,
    substs: &Substitution,
    depth: DebruijnIndex
) -> Self where
    Self: Sized, 

Substitutes TyKind::Bound vars with the given substitution.

fn shift_bound_vars(self, n: DebruijnIndex) -> Self where
    Self: Sized, 

Shifts up debruijn indices of TyKind::Bound vars by n.

fn shift_bound_vars_out(self, n: DebruijnIndex) -> Self where
    Self: Sized + Debug, 

Shifts debruijn indices of TyKind::Bound vars out (down) by n.