[−][src]Trait lark_ty::map_family::FamilyMapper
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
Implementors
impl<DB, F, '_> FamilyMapper<F, F> for Identity<'_, DB> where
DB: AsRef<F::InternTables>,
F: TypeFamily,
[src]
DB: AsRef<F::InternTables>,
F: TypeFamily,