Struct gluon_base::ast::ArenaRef [−][src]
pub struct ArenaRef<'a, 'ast, Id>(_, _);
Implementations
pub fn alloc_extend<T>(self, iter: impl IntoIterator<Item = T>) -> &'ast mut [T] where
T: AstAlloc<'ast, Id> + 'ast,
Trait Implementations
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 with_forall(&mut self, typ: T, from: &T) -> T where
Id: Clone + Eq + Hash,
T: TypeExt<Id = Id> + Clone,
T::Generics: FromIterator<Generic<Id>> + Clone,
fn tuple<S, I>(&mut self, symbols: &mut S, elems: I) -> T where
S: ?Sized + IdentEnv<Ident = Id>,
T::SpannedId: From<(Id, Span<BytePos>)>,
I: IntoIterator<Item = T>,
T: HasSpan,
fn tuple_<S, I>(&mut self, symbols: &mut S, elems: I) -> Type<Id, T> where
S: ?Sized + IdentEnv<Ident = Id>,
T::SpannedId: From<(Id, Span<BytePos>)>,
T: HasSpan,
I: IntoIterator<Item = T>,
fn function<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_implicit<I>(&mut self, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
fn function_type<I>(&mut self, arg_type: ArgType, args: I, ret: T) -> T where
I: IntoIterator<Item = T>,
I::IntoIter: DoubleEndedIterator<Item = T>,
Auto Trait Implementations
impl<'a, 'ast, Id> !RefUnwindSafe for ArenaRef<'a, 'ast, Id>
impl<'a, 'ast, Id> !UnwindSafe for ArenaRef<'a, 'ast, Id>
Blanket Implementations
Mutably borrows from an owned value. Read more