Trait lark_ty::map_family::FamilyMapper

pub trait FamilyMapper<S: TypeFamily, T: TypeFamily> {
    fn map_ty(&mut self, ty: Ty<S>) -> Ty<T>;
    fn map_placeholder(&mut self, placeholder: S::Placeholder) -> T::Placeholder;
    fn map_perm(&mut self, perm: S::Perm) -> T::Perm;
}

Required methods

fn map_ty(&mut self, ty: Ty<S>) -> Ty<T>

fn map_placeholder(&mut self, placeholder: S::Placeholder) -> T::Placeholder

fn map_perm(&mut self, perm: S::Perm) -> T::Perm

Loading content...

Implementors

impl<DB, F, '_> FamilyMapper<F, F> for Identity<'_, DB> where
    DB: AsRef<F::InternTables>,
    F: TypeFamily, 

fn map_ty(&mut self, ty: Ty<F>) -> Ty<F>

fn map_placeholder(&mut self, placeholder: F::Placeholder) -> F::Placeholder

fn map_perm(&mut self, perm: F::Perm) -> F::Perm

Loading content...