Struct gluon_base::ast::ArenaRef

pub struct ArenaRef<'a, 'ast, Id>(/* private fields */);

Implementations

impl<'a, 'ast, Id> ArenaRef<'a, 'ast, Id>

pub fn alloc<T>(self, value: T) -> &'ast mut Twhere T: AstAlloc<'ast, Id> + 'ast,

pub fn alloc_extend<T>(self, iter: impl IntoIterator<Item = T>) -> &'ast mut [T]where T: AstAlloc<'ast, Id> + 'ast,

Trait Implementations

impl<'a, 'ast, Id> Clone for ArenaRef<'a, 'ast, Id>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'ast, Id> TypeContext<Id, AstType<'ast, Id>> for ArenaRef<'_, 'ast, Id>

fn intern(&mut self, typ: Type<Id, AstType<'ast, Id>>) -> AstType<'ast, Id>

fn intern_types( &mut self, types: impl IntoIterator<Item = AstType<'ast, Id>> ) -> &'ast mut [AstType<'ast, Id>]

fn intern_generics( &mut self, types: impl IntoIterator<Item = Generic<Id>> ) -> &'ast mut [Generic<Id>]

fn intern_fields( &mut self, types: impl IntoIterator<Item = Field<Spanned<Id, BytePos>, AstType<'ast, Id>>> ) -> &'ast mut [Field<Spanned<Id, BytePos>, AstType<'ast, Id>>]

fn intern_type_fields( &mut self, types: impl IntoIterator<Item = Field<Spanned<Id, BytePos>, Alias<Id, AstType<'ast, Id>>>> ) -> &'ast mut [Field<Spanned<Id, BytePos>, Alias<Id, AstType<'ast, Id>>>]

fn intern_flags( &mut self, typ: Type<Id, AstType<'ast, Id>>, _flags: Flags ) -> AstType<'ast, Id>

fn hole(&mut self) -> T

fn opaque(&mut self) -> T

fn error(&mut self) -> T

fn builtin(&mut self, typ: BuiltinType) -> T

fn forall(&mut self, params: T::Generics, typ: T) -> T

fn array(&mut self, typ: T) -> T

fn array_builtin(&mut self) -> T

fn app(&mut self, id: T, args: T::Types) -> T

fn variant(&mut self, fields: T::Fields) -> T

fn poly_variant(&mut self, fields: T::Fields, rest: T) -> T

fn effect(&mut self, fields: T::Fields) -> T

fn poly_effect(&mut self, fields: T::Fields, rest: T) -> T

fn record(&mut self, types: T::TypeFields, fields: T::Fields) -> T

fn poly_record(&mut self, types: T::TypeFields, fields: T::Fields, rest: T) -> T

fn extend_full_row( &mut self, types: T::TypeFields, fields: T::Fields, rest: T ) -> T

fn extend_row(&mut self, fields: T::Fields, rest: T) -> T

fn extend_type_row(&mut self, types: T::TypeFields, rest: T) -> T

fn empty_row(&mut self) -> T

fn function<I>(&mut self, args: I, ret: T) -> Twhere I: IntoIterator<Item = T>, I::IntoIter: DoubleEndedIterator<Item = T>,

fn function_implicit<I>(&mut self, args: I, ret: T) -> Twhere I: IntoIterator<Item = T>, I::IntoIter: DoubleEndedIterator<Item = T>,

fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> Twhere I: IntoIterator<Item = T>, I::IntoIter: DoubleEndedIterator<Item = T>,

fn generic(&mut self, typ: Generic<Id>) -> T

fn skolem(&mut self, typ: Skolem<Id>) -> T

fn variable(&mut self, typ: TypeVariable) -> T

fn alias(&mut self, name: Id, args: T::Generics, typ: T) -> T

fn ident(&mut self, id: KindedIdent<Id>) -> T

fn projection(&mut self, id: AppVec<Id>) -> T

fn function_builtin(&mut self) -> T

fn string(&mut self) -> T

fn char(&mut self) -> T

fn byte(&mut self) -> T

fn int(&mut self) -> T

fn float(&mut self) -> T

fn unit(&mut self) -> T

fn builtin_type(&mut self, typ: BuiltinType) -> T

fn new_alias(&mut self, name: Id, args: T::Generics, typ: T) -> Alias<Id, T>

fn new_data_alias(&mut self, data: AliasData<Id, T>) -> Alias<Id, T>

impl<'a, 'ast, Id> Copy for ArenaRef<'a, 'ast, Id>