Trait pomelo_hir::NameInterner
source · pub trait NameInterner {
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 { ... }
}
Expand description
Interface for interning and generating identifiers.