Struct NameGenerator 

pub struct NameGenerator { /* private fields */ }

A name generator for producing fresh variable names.

Implementations

impl NameGenerator

pub fn new(prefix: impl Into<String>) -> Self

Create a new name generator with a given prefix.

pub fn next(&mut self) -> Name

Generate the next fresh name.

pub fn next_fvar_id(&mut self) -> FVarId

Generate the next fresh FVarId.

Trait Implementations

impl Clone for NameGenerator

fn clone(&self) -> NameGenerator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NameGenerator

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

Formats the value using the given formatter.