Struct pomelo_hir::FileArenaImpl

pub(crate) struct FileArenaImpl<NameInterner> {
    pub(crate) pats: Arena<Pat>,
    pub(crate) exprs: Arena<Expr>,
    pub(crate) decs: Arena<Dec>,
    pub(crate) tys: Arena<Ty>,
    pub(crate) name_interner: NameInterner,
    pub(crate) ast_map: AstIdMap,
}

Fields

pats: Arena<Pat>

exprs: Arena<Expr>

decs: Arena<Dec>

tys: Arena<Ty>

name_interner: NameInterner

ast_map: AstIdMap

Trait Implementations

impl<NameInterner: Clone> Clone for FileArenaImpl<NameInterner>

fn clone(&self) -> FileArenaImpl<NameInterner>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<NameInterner: Debug> Debug for FileArenaImpl<NameInterner>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<NameInterner: Default> Default for FileArenaImpl<NameInterner>

fn default() -> FileArenaImpl<NameInterner>

Returns the “default value” for a type.

impl<I: NameInterner> FileArena for FileArenaImpl<I>

fn get_pat(&self, index: Idx<Pat>) -> &Pat

fn get_expr(&self, index: Idx<Expr>) -> &Expr

fn get_dec(&self, index: Idx<Dec>) -> &Dec

fn get_ty(&self, index: Idx<Ty>) -> &Ty

fn get_name(&self, index: Idx<String>) -> &str

impl<I: NameInterner> FileArenaExt for FileArenaImpl<I>

fn alloc_pat(&mut self, pat: Pat) -> Idx<Pat>

fn get_pat_mut(&mut self, index: Idx<Pat>) -> &mut Pat

fn alloc_expr(&mut self, expr: Expr) -> Idx<Expr>

fn get_expr_mut(&mut self, index: Idx<Expr>) -> &mut Expr

fn alloc_dec(&mut self, dec: Dec) -> Idx<Dec>

fn get_dec_mut(&mut self, index: Idx<Dec>) -> &mut Dec

fn alloc_ty(&mut self, ty: Ty) -> Idx<Ty>

fn get_ty_mut(&mut self, index: Idx<Ty>) -> &mut Ty

fn alloc_ast_id<N>(&mut self, ast: &N) -> FileAstIdx<N>where
    N: AstNode<Language = SML>,

fn get_ast_id<N>(&self, index: FileAstIdx<N>) -> Option<AstPtr<N>>where
    N: AstNode<Language = SML>,

fn get_ast_span<N>(&self, index: FileAstIdx<N>) -> Option<(usize, usize)>where
    N: AstNode<Language = SML>,

impl<I: NameInterner> NameInterner for FileArenaImpl<I>

fn fresh(&mut self) -> u32

fn alloc(&mut self, s: &str) -> Idx<String>

fn get(&self, index: Idx<String>) -> &str

fn fresh_vid(&mut self) -> VId

fn fresh_strid(&mut self) -> StrId

fn fresh_tyvar(&mut self) -> TyVar

fn fresh_tycon(&mut self) -> TyCon

impl<NameInterner: PartialEq> PartialEq<FileArenaImpl<NameInterner>> for FileArenaImpl<NameInterner>

fn eq(&self, other: &FileArenaImpl<NameInterner>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<NameInterner: Eq> Eq for FileArenaImpl<NameInterner>

impl<NameInterner> StructuralEq for FileArenaImpl<NameInterner>

impl<NameInterner> StructuralPartialEq for FileArenaImpl<NameInterner>