Trait chalk_rust_ir::ToParameter

pub trait ToParameter {
    fn to_parameter_at_depth<I: Interner>(
        &self, 
        interner: &I, 
        debruijn: DebruijnIndex
    ) -> Parameter<I>;

    fn to_parameter<I: Interner>(&self, interner: &I) -> Parameter<I> { ... }
}

Required methods

fn to_parameter_at_depth<I: Interner>(
    &self,
    interner: &I,
    debruijn: DebruijnIndex
) -> Parameter<I>

Loading content...

Provided methods

fn to_parameter<I: Interner>(&self, interner: &I) -> Parameter<I>

Utility for converting a list of all the binders into scope into references to those binders. Simply pair the binders with the indices, and invoke to_parameter() on the (binder, index) pair. The result will be a reference to a bound variable of appropriate kind at the corresponding index.

Loading content...

Implementations on Foreign Types

impl<'a> ToParameter for (&'a ParameterKind<()>, usize)

fn to_parameter_at_depth<I: Interner>(
    &self,
    interner: &I,
    debruijn: DebruijnIndex
) -> Parameter<I>

Loading content...

Implementors

Loading content...