Struct InstantiationCache

pub struct InstantiationCache {
    pub cache: SeqMap<String, Type>,
}

It is not a proper Monomorphization cache, but similar

Fields

cache: SeqMap<String, Type>

Implementations

impl InstantiationCache

pub fn new() -> Self

pub fn complete_name( path: &[String], base_name: &str, argument_types: &[Type], ) -> String

pub fn add( &mut self, path: &[String], name: &str, ty: Type, argument_type: &[Type], ) -> Result<(), SeqMapError>

pub fn is_empty(&self) -> bool

pub fn get( &self, path: &[String], base_name: &str, argument_type: &[Type], ) -> Option<&Type>

Trait Implementations

impl Clone for InstantiationCache

fn clone(&self) -> InstantiationCache

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InstantiationCache

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

Formats the value using the given formatter.