Struct gluon_base::instantiate::Instantiator

pub struct Instantiator {
    pub named_variables: FnvMap<Symbol, ArcType>,
}

Fields

named_variables: FnvMap<Symbol, ArcType>

Methods

impl Instantiator

fn new() -> Instantiator

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

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

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

Trait Implementations

impl Debug for Instantiator

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

Formats the value using the given formatter.

impl Default for Instantiator

fn default() -> Instantiator

Returns the "default value" for a type.