Struct gluon_base::instantiate::Instantiator
[−]
[src]
pub struct Instantiator { pub named_variables: FnvMap<Symbol, ArcType>, }
Fields
named_variables: FnvMap<Symbol, ArcType>
Methods
impl Instantiator
[src]
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
[src]
impl Default for Instantiator
[src]
fn default() -> Instantiator
Returns the "default value" for a type. Read more