Trait gluon_check::substitution::Substitutable

pub trait Substitutable: Sized {
    type Variable: Variable;
    type Factory: VariableFactory<Variable = Self::Variable>;
    type Interner: Default;

    // Required methods
    fn from_variable(subs: &Substitution<Self>, x: Self::Variable) -> Self;
    fn into_variable(&mut self, x: Self::Variable);
    fn is_unique(self_: &Self) -> bool;
    fn get_var(&self) -> Option<&Self::Variable>;
    fn traverse<'a, F>(&'a self, f: &mut F)
       where F: Walker<'a, Self>;
    fn instantiate(&self, subs: &Substitution<Self>) -> Self;

    // Provided methods
    fn get_id(&self) -> Option<u32> { ... }
    fn contains_variables(&self) -> bool { ... }
}

Trait implemented on types which may contain substitutable variables

Required 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>,

fn instantiate(&self, subs: &Substitution<Self>) -> Self

Provided Methods

fn get_id(&self) -> Option<u32>

fn contains_variables(&self) -> bool

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Substitutable for ArcKind

type Variable = u32

type Factory = ()

type Interner = NullInterner

fn from_variable(_: &Substitution<Self>, x: u32) -> ArcKind

fn into_variable(&mut self, x: Self::Variable)

fn is_unique(self_: &Self) -> bool

fn get_var(&self) -> Option<&u32>

fn traverse<'a, F>(&'a self, f: &mut F)

where F: Walker<'a, ArcKind>,

fn instantiate(&self, _subs: &Substitution<Self>) -> Self

impl Substitutable for RcType<Symbol>

type Variable = TypeVariable

type Factory = ArcKind

type Interner = TypeCache<Symbol, ArcType>

fn from_variable(subs: &Substitution<Self>, var: TypeVariable) -> Self

fn into_variable(&mut self, x: Self::Variable)

fn is_unique(self_: &Self) -> bool

fn get_var(&self) -> Option<&TypeVariable>

fn get_id(&self) -> Option<u32>

fn traverse<'a, F>(&'a self, f: &mut F)

where F: Walker<'a, Self>,

fn instantiate(&self, subs: &Substitution<Self>) -> Self

fn contains_variables(&self) -> bool

Implementors