Struct FVarIdGen 

pub struct FVarIdGen { /* private fields */ }

Generator for fresh free variable IDs.

Produces a strictly increasing sequence of unique IDs.

Implementations

impl FVarIdGen

pub fn new() -> Self

Create a new generator starting at 0.

pub fn fresh(&mut self) -> FVarId

Produce the next fresh ID.

pub fn peek(&self) -> FVarId

Peek at the next ID without consuming it.

pub fn reset(&mut self)

Reset the generator.

pub fn current(&self) -> u64

Return the current counter value.

Trait Implementations

impl Debug for FVarIdGen

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

Formats the value using the given formatter.

impl Default for FVarIdGen

fn default() -> FVarIdGen

Returns the “default value” for a type.