Trait lark_ty::map_family::Map

pub trait Map<S: TypeFamily, T: TypeFamily>: Clone {
    type Output;
    fn map(
        &self, 
        mapper: &mut impl FamilyMapper<S, T>
    ) -> Self::Output;
}

Associated Types

type Output

Loading content...

Required methods

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

Loading content...

Implementations on Foreign Types

impl<S, T, V, '_> Map<S, T> for &'_ V where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = V::Output

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T, V> Map<S, T> for Arc<V> where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = Arc<V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T, V> Map<S, T> for Option<V> where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = Option<V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T, V> Map<S, T> for Vec<V> where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = Vec<V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T, V> Map<S, T> for Seq<V> where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = Seq<V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<K, S, T, V> Map<S, T> for BTreeMap<K, V> where
    K: Clone + Eq + Ord,
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = BTreeMap<K, V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<K, S, T, V> Map<S, T> for FxIndexMap<K, V> where
    K: Clone + Eq + Hash,
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T>, 

type Output = FxIndexMap<K, V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T, V> Map<S, T> for FxIndexSet<V> where
    S: TypeFamily,
    T: TypeFamily,
    V: Map<S, T> + Eq + Hash,
    V::Output: Eq + Hash, 

type Output = FxIndexSet<V::Output>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Entity where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Entity

fn map(
    &self,
    _mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

Loading content...

Implementors

impl<S, T> Map<S, T> for BaseKind<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = BaseKind<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for BaseData<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = BaseData<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Erased where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Erased

fn map(
    &self,
    _mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Generics<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Generics<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Signature<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Signature<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Ty<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Ty<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<S, T> Map<S, T> for Generic<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Generic<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

Loading content...