Struct SymbolGen

pub struct SymbolGen { /* private fields */ }

Generates fresh symbols for internal use during typechecking and flattening. These are guaranteed not to collide with the user’s symbols because they use a reserved prefix.

Implementations

impl SymbolGen

pub fn new(reserved_string: String) -> Self

pub fn has_been_used(&self) -> bool

pub fn reserved_prefix(&self) -> &str

pub fn is_reserved(&self, symbol: &str) -> bool

Trait Implementations

impl Clone for SymbolGen

fn clone(&self) -> SymbolGen

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolGen

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

Formats the value using the given formatter.

impl FreshGen<String, String> for SymbolGen

fn fresh(&mut self, name_hint: &String) -> String

impl FreshGen<str, String> for SymbolGen

fn fresh(&mut self, name_hint: &str) -> String

impl PartialEq for SymbolGen

fn eq(&self, other: &SymbolGen) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for SymbolGen

impl StructuralPartialEq for SymbolGen