Struct ra_ap_hir_ty::TyBuilder

pub struct TyBuilder<D> { /* fields omitted */ }

This is a builder for Ty or anything that needs a Substitution.

Implementations

impl<D> TyBuilder<D>

pub fn push(self, arg: impl CastTo<GenericArg>) -> Self

pub fn remaining(&self) -> usize

pub fn fill_with_bound_vars(
    self,
    debruijn: DebruijnIndex,
    starting_from: usize
) -> Self

pub fn fill_with_unknown(self) -> Self

pub fn fill(self, filler: impl Iterator<Item = impl CastTo<GenericArg>>) -> Self

pub fn use_parent_substs(self, parent_substs: &Substitution) -> Self

impl TyBuilder<()>

pub fn unit() -> Ty

pub fn fn_ptr(sig: CallableSig) -> Ty

pub fn builtin(builtin: BuiltinType) -> Ty

pub fn type_params_subst(
    db: &dyn HirDatabase,
    def: impl Into<GenericDefId>
) -> Substitution

pub fn subst_for_def(
    db: &dyn HirDatabase,
    def: impl Into<GenericDefId>
) -> TyBuilder<()>

pub fn build(self) -> Substitution

impl TyBuilder<AdtId>

pub fn adt(db: &dyn HirDatabase, adt: AdtId) -> TyBuilder<AdtId>

pub fn fill_with_defaults(
    self,
    db: &dyn HirDatabase,
    fallback: impl FnMut() -> Ty
) -> Self

pub fn build(self) -> Ty

impl TyBuilder<Tuple>

pub fn tuple(size: usize) -> TyBuilder<Tuple>

pub fn build(self) -> Ty

impl TyBuilder<TraitId>

pub fn trait_ref(db: &dyn HirDatabase, trait_id: TraitId) -> TyBuilder<TraitId>

pub fn build(self) -> TraitRef

impl TyBuilder<TypeAliasId>

pub fn assoc_type_projection(
    db: &dyn HirDatabase,
    type_alias: TypeAliasId
) -> TyBuilder<TypeAliasId>

pub fn build(self) -> ProjectionTy

impl<T: TypeWalk + HasInterner<Interner = Interner>> TyBuilder<Binders<T>>

pub fn build(self) -> T

impl TyBuilder<Binders<Ty>>

pub fn def_ty(db: &dyn HirDatabase, def: TyDefId) -> TyBuilder<Binders<Ty>>

pub fn impl_self_ty(db: &dyn HirDatabase, def: ImplId) -> TyBuilder<Binders<Ty>>

pub fn value_ty(
    db: &dyn HirDatabase,
    def: ValueTyDefId
) -> TyBuilder<Binders<Ty>>