Struct EtaCanonMap 

pub struct EtaCanonMap { /* private fields */ }

Eta canonicalization: maps expression ids to their canonical eta-normal form.

Implementations

impl EtaCanonMap

pub fn new() -> Self

Create an empty canon map.

pub fn insert(&mut self, original: u64, canon: u64)

Record that original canonicalizes to canon.

pub fn canonical(&self, original: u64) -> u64

Return the canonical form of original, or itself if not mapped.

pub fn len(&self) -> usize

Return the number of mappings.

pub fn is_empty(&self) -> bool

Return whether the map is empty.

pub fn originals_of(&self, canon: u64) -> Vec<u64>

Return all original ids that map to canon.

Trait Implementations

impl Default for EtaCanonMap

fn default() -> Self

Returns the “default value” for a type.