Trait gluon_base::types::TypeAlloc

pub trait TypeAlloc<T: TypePtr>: Sized {
    type Elem;
    fn alloc_extend(
        iter: impl IntoIterator<Item = Self::Elem>, 
        context: &mut impl ?Sized + TypeContext<T::Id, T>
    ) -> Self;
}

Associated Types

type Elem

Required methods

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

Implementations on Foreign Types

impl<T: TypePtr<Generics = Self>> TypeAlloc<T> for Vec<Generic<<T as TypePtr>::Id>> where
    T: TypePtr, 

type Elem = Generic<<T as TypePtr>::Id>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<'ast, T: TypePtr<Generics = Self>> TypeAlloc<T> for &'ast mut [Generic<<T as TypePtr>::Id>] where
    T: TypePtr, 

type Elem = Generic<<T as TypePtr>::Id>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<'ast, T: TypePtr<Types = Self>> TypeAlloc<T> for &'ast mut [T] where
    T: TypePtr, 

type Elem = T

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<T: TypePtr<Fields = Self>> TypeAlloc<T> for Vec<Field<<T as TypePtr>::SpannedId, T>> where
    T: TypePtr, 

type Elem = Field<<T as TypePtr>::SpannedId, T>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<'ast, T: TypePtr<Fields = Self>> TypeAlloc<T> for &'ast mut [Field<<T as TypePtr>::SpannedId, T>] where
    T: TypePtr, 

type Elem = Field<<T as TypePtr>::SpannedId, T>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<T: TypePtr<TypeFields = Self>> TypeAlloc<T> for Vec<Field<<T as TypePtr>::SpannedId, Alias<<T as TypePtr>::Id, T>>> where
    T: TypePtr, 

type Elem = Field<<T as TypePtr>::SpannedId, Alias<<T as TypePtr>::Id, T>>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

impl<'ast, T: TypePtr<TypeFields = Self>> TypeAlloc<T> for &'ast mut [Field<<T as TypePtr>::SpannedId, Alias<<T as TypePtr>::Id, T>>] where
    T: TypePtr, 

type Elem = Field<<T as TypePtr>::SpannedId, Alias<<T as TypePtr>::Id, T>>

fn alloc_extend(
    iter: impl IntoIterator<Item = Self::Elem>,
    context: &mut impl ?Sized + TypeContext<T::Id, T>
) -> Self

Implementors

impl<T: TypePtr<Types = Self>> TypeAlloc<T> for AppVec<T> where
    T: TypePtr, 

type Elem = T