Struct gluon_base::instantiate::Instantiator

pub struct Instantiator {
    pub named_variables: RefCell<HashMap<Symbol, TcType>>,
}

Fields

named_variables: RefCell<HashMap<Symbol, TcType>>

Methods

impl Instantiator

fn new() -> Instantiator

fn instantiate<F>(&mut self, typ: &TcType, on_unbound: F) -> TcType where F: FnMut(&Symbol) -> TcType

Instantiates a type, replacing all generic variables with fresh type variables

fn instantiate_<F>(&mut self, typ: &TcType, on_unbound: F) -> TcType where F: FnMut(&Symbol) -> TcType

Trait Implementations

impl Default for Instantiator

fn default() -> Instantiator

Returns the "default value" for a type.

impl Debug for Instantiator

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.