Enum moore_vhdl::scope2::Def2 [−][src]
pub enum Def2<'t> {
Node(&'t dyn LatentNode<'t, dyn Node<'t>>),
Lib(&'t Library<'t>),
Pkg(&'t dyn LatentNode<'t, Package2<'t>>),
Type(&'t dyn LatentNode<'t, TypeDecl2<'t>>),
Enum(TypeVariantDef<'t>),
Unit(TypeVariantDef<'t>),
}
Expand description
A definition.
Variants
Node(&'t dyn LatentNode<'t, dyn Node<'t>>)
Any node.
Tuple Fields of Node
0: &'t dyn LatentNode<'t, dyn Node<'t>>
Lib(&'t Library<'t>)
A library.
Tuple Fields of Lib
0: &'t Library<'t>
Pkg(&'t dyn LatentNode<'t, Package2<'t>>)
A package.
Tuple Fields of Pkg
0: &'t dyn LatentNode<'t, Package2<'t>>
Type(&'t dyn LatentNode<'t, TypeDecl2<'t>>)
A type declaration.
Tuple Fields of Type
0: &'t dyn LatentNode<'t, TypeDecl2<'t>>
Enum(TypeVariantDef<'t>)
An enumeration type variant.
Tuple Fields of Enum
0: TypeVariantDef<'t>
Unit(TypeVariantDef<'t>)
A physical type unit.
Tuple Fields of Unit
0: TypeVariantDef<'t>
Implementations
Trait Implementations
impl<'t, C: DiagEmitter, S> DefSpecificTermContext<'t, Def2<'t>> for TermContext<C, S, Def2<'t>>
impl<'t, C: DiagEmitter, S> DefSpecificTermContext<'t, Def2<'t>> for TermContext<C, S, Def2<'t>>
impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>
impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: &'t ScopeData<'t>
) -> Result<Spanned<Term<'t>>>
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: &'t ScopeData<'t>
) -> Result<Spanned<Term<'t>>>
Map a resolvable name to a term, resolving it within a scope.
Auto Trait Implementations
impl<'t> !RefUnwindSafe for Def2<'t>
impl<'t> !UnwindSafe for Def2<'t>
Blanket Implementations
Mutably borrows from an owned value. Read more