[−][src]Trait gluon_check::substitution::Substitutable
Trait implemented on types which may contain substitutable variables
Associated Types
type Variable: Variable
type Factory: VariableFactory<Variable = Self::Variable>
type Interner: Default
Required methods
fn from_variable(subs: &Substitution<Self>, x: Self::Variable) -> Self
Constructs a new object from its variable type
fn into_variable(&mut self, x: Self::Variable)
fn is_unique(self_: &Self) -> bool
fn get_var(&self) -> Option<&Self::Variable>
Retrieves the variable if self
is a variable otherwise returns None
fn traverse<'a, F>(&'a self, f: &mut F) where
F: Walker<'a, Self>,
F: Walker<'a, Self>,
fn instantiate(&self, subs: &Substitution<Self>) -> Self
Provided methods
fn get_id(&self) -> Option<u32>
fn contains_variables(&self) -> bool
fn on_union(&self) -> Option<&Self>
Implementations on Foreign Types
impl Substitutable for ArcKind
[src]
type Variable = u32
type Factory = ()
type Interner = NullInterner
fn from_variable(_: &Substitution<Self>, x: u32) -> ArcKind
[src]
fn into_variable(&mut self, x: Self::Variable)
[src]
fn is_unique(self_: &Self) -> bool
[src]
fn get_var(&self) -> Option<&u32>
[src]
fn traverse<'a, F>(&'a self, f: &mut F) where
F: Walker<'a, ArcKind>,
[src]
F: Walker<'a, ArcKind>,
fn instantiate(&self, _subs: &Substitution<Self>) -> Self
[src]
fn get_id(&self) -> Option<u32>
[src]
fn contains_variables(&self) -> bool
[src]
fn on_union(&self) -> Option<&Self>
[src]
impl Substitutable for RcType<Symbol>
[src]
type Variable = TypeVariable
type Factory = ArcKind
type Interner = SharedInterner<Symbol, Self>
fn from_variable(subs: &Substitution<Self>, var: TypeVariable) -> Self
[src]
fn into_variable(&mut self, x: Self::Variable)
[src]
fn is_unique(self_: &Self) -> bool
[src]
fn get_var(&self) -> Option<&TypeVariable>
[src]
fn get_id(&self) -> Option<u32>
[src]
fn traverse<'a, F>(&'a self, f: &mut F) where
F: Walker<'a, Self>,
[src]
F: Walker<'a, Self>,