Trait moore_vhdl::term::DefSpecificTermContext

pub trait DefSpecificTermContext<'t, D> {
    fn termify_defs(
        &self, 
        name: Spanned<ResolvableName>, 
        defs: Vec<Spanned<D>>
    ) -> Result<Spanned<Term<'t>>>;
}

Required methods

fn termify_defs(
    &self,
    name: Spanned<ResolvableName>,
    defs: Vec<Spanned<D>>
) -> Result<Spanned<Term<'t>>>

Termify the result of a name resolution.

This ensures that there is only one definition, or in case of something overloadable, that all definitions are of the same kind.

Loading content...

Implementors

impl<'t, C: DiagEmitter, S> DefSpecificTermContext<'t, Def2<'t>> for TermContext<C, S, Def2<'t>>

fn termify_defs(
    &self,
    name: Spanned<ResolvableName>,
    defs: Vec<Spanned<Def2<'t>>>
) -> Result<Spanned<Term<'t>>>

impl<'t, C: DiagEmitter, S> DefSpecificTermContext<'t, Def> for TermContext<C, S, Def>

fn termify_defs(
    &self,
    name: Spanned<ResolvableName>,
    defs: Vec<Spanned<Def>>
) -> Result<Spanned<Term<'t>>>

Loading content...