Trait chalk_ir::cast::CastTo

pub trait CastTo<T: HasInterner>: Sized {
    fn cast_to(self, interner: &T::Interner) -> T;
}

The "helper" trait for cast that actually implements the transformations. You can also use this if you want to have functions that take (e.g.) an impl CastTo<Goal<_>> or something like that.

Required methods

fn cast_to(self, interner: &T::Interner) -> T

Cast a value to type T.

Loading content...

Implementations on Foreign Types

impl<T, U> CastTo<Option<U>> for Option<T> where
    T: CastTo<U>,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Option<U>

impl<T, U, E> CastTo<Result<U, E>> for Result<T, E> where
    T: CastTo<U>,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Result<U, E>

impl<T, U> CastTo<Vec<U>> for Vec<T> where
    T: CastTo<U> + HasInterner,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Vec<U>

impl<T, '_> CastTo<T> for &'_ T where
    T: Clone + HasInterner, 

fn cast_to(self, _interner: &T::Interner) -> T

Loading content...

Implementors

impl<I> CastTo<TypeName<I>> for AdtId<I> where
    I: Interner, 

fn cast_to(self, _interner: &I) -> TypeName<I>

impl<I> CastTo<TypeName<I>> for FnDefId<I> where
    I: Interner, 

fn cast_to(self, _interner: &I) -> TypeName<I>

impl<I> CastTo<TypeName<I>> for GeneratorId<I> where
    I: Interner, 

fn cast_to(self, _interner: &I) -> TypeName<I>

impl<I> CastTo<TypeName<I>> for OpaqueTyId<I> where
    I: Interner, 

fn cast_to(self, _interner: &I) -> TypeName<I>

impl<I, T> CastTo<ProgramClause<I>> for Binders<T> where
    I: Interner,
    T: HasInterner<Interner = I> + CastTo<DomainGoal<I>>, 

fn cast_to(self, interner: &I) -> ProgramClause<I>

impl<I: Interner> CastTo<Constraint<I>> for Constraint<I>

fn cast_to(
    self,
    _interner: &<Constraint<I> as HasInterner>::Interner
) -> Constraint<I>

impl<I: Interner> CastTo<DomainGoal<I>> for DomainGoal<I>

fn cast_to(
    self,
    _interner: &<DomainGoal<I> as HasInterner>::Interner
) -> DomainGoal<I>

impl<I: Interner> CastTo<DomainGoal<I>> for FromEnv<I>

fn cast_to(self, _interner: &I) -> DomainGoal<I>

impl<I: Interner> CastTo<DomainGoal<I>> for WellFormed<I>

fn cast_to(self, _interner: &I) -> DomainGoal<I>

impl<I: Interner> CastTo<DomainGoal<I>> for Normalize<I>

fn cast_to(self, _interner: &I) -> DomainGoal<I>

impl<I: Interner> CastTo<LifetimeData<I>> for LifetimeData<I>

fn cast_to(
    self,
    _interner: &<LifetimeData<I> as HasInterner>::Interner
) -> LifetimeData<I>

impl<I: Interner> CastTo<TyData<I>> for AliasTy<I>

fn cast_to(self, _interner: &I) -> TyData<I>

impl<I: Interner> CastTo<TyData<I>> for TyData<I>

fn cast_to(self, _interner: &<TyData<I> as HasInterner>::Interner) -> TyData<I>

impl<I: Interner> CastTo<TyData<I>> for ApplicationTy<I>

fn cast_to(self, _interner: &I) -> TyData<I>

impl<I: Interner> CastTo<VariableKind<I>> for VariableKind<I>

fn cast_to(
    self,
    _interner: &<VariableKind<I> as HasInterner>::Interner
) -> VariableKind<I>

impl<I: Interner> CastTo<WhereClause<I>> for WhereClause<I>

fn cast_to(
    self,
    _interner: &<WhereClause<I> as HasInterner>::Interner
) -> WhereClause<I>

impl<I: Interner> CastTo<WhereClause<I>> for AliasEq<I>

fn cast_to(self, _interner: &I) -> WhereClause<I>

impl<I: Interner> CastTo<WhereClause<I>> for LifetimeOutlives<I>

fn cast_to(self, _interner: &I) -> WhereClause<I>

impl<I: Interner> CastTo<WhereClause<I>> for TraitRef<I>

fn cast_to(self, _interner: &I) -> WhereClause<I>

impl<I: Interner> CastTo<Binders<WhereClause<I>>> for QuantifiedWhereClause<I>

fn cast_to(
    self,
    _interner: &<QuantifiedWhereClause<I> as HasInterner>::Interner
) -> QuantifiedWhereClause<I>

impl<I: Interner> CastTo<CanonicalVarKinds<I>> for CanonicalVarKinds<I>

fn cast_to(
    self,
    _interner: &<CanonicalVarKinds<I> as HasInterner>::Interner
) -> CanonicalVarKinds<I>

impl<I: Interner> CastTo<ConstData<I>> for ConstData<I>

fn cast_to(
    self,
    _interner: &<ConstData<I> as HasInterner>::Interner
) -> ConstData<I>

impl<I: Interner> CastTo<GenericArg<I>> for Const<I>

fn cast_to(self, interner: &I) -> GenericArg<I>

impl<I: Interner> CastTo<GenericArg<I>> for GenericArg<I>

fn cast_to(self, _interner: &I) -> GenericArg<I>

impl<I: Interner> CastTo<GenericArg<I>> for Lifetime<I>

fn cast_to(self, interner: &I) -> GenericArg<I>

impl<I: Interner> CastTo<GenericArg<I>> for Ty<I>

fn cast_to(self, interner: &I) -> GenericArg<I>

impl<I: Interner> CastTo<Goal<I>> for EqGoal<I>

fn cast_to(self, interner: &I) -> Goal<I>

impl<I: Interner> CastTo<Goal<I>> for Goal<I>

fn cast_to(self, _interner: &<Goal<I> as HasInterner>::Interner) -> Goal<I>

impl<I: Interner> CastTo<ProgramClause<I>> for ProgramClause<I>

fn cast_to(
    self,
    _interner: &<ProgramClause<I> as HasInterner>::Interner
) -> ProgramClause<I>

impl<I: Interner> CastTo<TraitRef<I>> for TraitRef<I>

fn cast_to(
    self,
    _interner: &<TraitRef<I> as HasInterner>::Interner
) -> TraitRef<I>

impl<I: Interner> CastTo<VariableKinds<I>> for VariableKinds<I>

fn cast_to(
    self,
    _interner: &<VariableKinds<I> as HasInterner>::Interner
) -> VariableKinds<I>

impl<I: Interner> CastTo<WithKind<I, UniverseIndex>> for CanonicalVarKind<I>

fn cast_to(
    self,
    _interner: &<CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>

impl<I: Interner, T: HasInterner<Interner = I> + CastTo<Goal<I>>> CastTo<Goal<I>> for Binders<T>

fn cast_to(self, interner: &I) -> Goal<I>

impl<T, I> CastTo<DomainGoal<I>> for T where
    T: CastTo<WhereClause<I>>,
    I: Interner, 

fn cast_to(self, interner: &I) -> DomainGoal<I>

impl<T, I> CastTo<ProgramClause<I>> for T where
    T: CastTo<DomainGoal<I>>,
    I: Interner, 

fn cast_to(self, interner: &I) -> ProgramClause<I>

impl<T, I: Interner> CastTo<Goal<I>> for T where
    T: CastTo<DomainGoal<I>>, 

fn cast_to(self, interner: &I) -> Goal<I>

impl<T, U> CastTo<Canonical<U>> for Canonical<T> where
    T: CastTo<U> + HasInterner,
    U: HasInterner<Interner = T::Interner>, 

fn cast_to(self, interner: &T::Interner) -> Canonical<U>

impl<T, U, I> CastTo<InEnvironment<U>> for InEnvironment<T> where
    T: HasInterner<Interner = I> + CastTo<U>,
    U: HasInterner<Interner = I>,
    I: Interner, 

fn cast_to(self, interner: &U::Interner) -> InEnvironment<U>

Loading content...