Type Definition lark_ty::Generic

type Generic<F: TypeFamily> = GenericKind<Ty<F>>;

The value of a single generic argument; e.g., in a type like Vec<i32>, this might be the i32.

Trait Implementations

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