[−][src]Trait moore_vhdl::term::ScopeSpecificTermContext
Required methods
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: S
) -> Result<Spanned<Term<'t>>>
&self,
name: Spanned<ResolvableName>,
scope: S
) -> Result<Spanned<Term<'t>>>
fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<S>
Implementors
impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>
[src]
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: &'t ScopeData<'t>
) -> Result<Spanned<Term<'t>>>
[src]
&self,
name: Spanned<ResolvableName>,
scope: &'t ScopeData<'t>
) -> Result<Spanned<Term<'t>>>
Map a resolvable name to a term, resolving it within a scope.
fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<&'t ScopeData<'t>>
[src]
impl<'t, 'sbc, 'lazy, 'sb, 'ast, 'ctx> ScopeSpecificTermContext<'t, ScopeRef, Def> for TermContext<&'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>, ScopeRef, Def> where
'lazy: 'sbc,
'sb: 'lazy,
'ast: 'sb,
'ctx: 'sb,
[src]
'lazy: 'sbc,
'sb: 'lazy,
'ast: 'sb,
'ctx: 'sb,
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: ScopeRef
) -> Result<Spanned<Term<'t>>>
[src]
&self,
name: Spanned<ResolvableName>,
scope: ScopeRef
) -> Result<Spanned<Term<'t>>>
Map a resolvable name to a term, resolving it within a scope.