[−][src]Trait lark_ty::map_family::Map
Associated Types
type Output
Required methods
fn map(
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
Implementations on Foreign Types
impl<S, T, V, '_> Map<S, T> for &'_ V where
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
[src]
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
impl<S, T, V> Map<S, T> for Arc<V> where
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
[src]
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
type Output = Arc<V::Output>
fn map(
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
[src]
&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>,
[src]
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
type Output = Option<V::Output>
fn map(
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
[src]
&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>,
[src]
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
type Output = Vec<V::Output>
fn map(
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
[src]
&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>,
[src]
S: TypeFamily,
T: TypeFamily,
V: Map<S, T>,
type Output = Seq<V::Output>
fn map(
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
[src]
&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>,
[src]
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
[src]
&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>,
[src]
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
[src]
&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,
[src]
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
[src]
&self,
mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output
impl<S, T> Map<S, T> for Entity where
S: TypeFamily,
T: TypeFamily,
[src]
Loading content...
S: TypeFamily,
T: TypeFamily,
Implementors
impl<S, T> Map<S, T> for BaseKind<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for BaseData<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for Erased where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for Generics<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for Signature<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for Ty<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,
impl<S, T> Map<S, T> for Generic<S> where
S: TypeFamily,
T: TypeFamily,
[src]
S: TypeFamily,
T: TypeFamily,