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.

Required Methods§

Provided Methods§

Implementors§