Struct ErasedTypeMap 

pub struct ErasedTypeMap { /* private fields */ }

A map from expression ids to their erased forms.

Implementations

impl ErasedTypeMap

pub fn new() -> Self

Create an empty map.

pub fn insert(&mut self, id: u64, erased: ErasedExprExt)

Insert a mapping.

pub fn get(&self, id: u64) -> Option<&ErasedExprExt>

Look up by id.

pub fn len(&self) -> usize

Return the number of entries.

pub fn is_empty(&self) -> bool

Return whether empty.

Trait Implementations

impl Default for ErasedTypeMap

fn default() -> Self

Returns the “default value” for a type.