Struct moore_svlog::hir::Module

pub struct Module<'a> {
    pub ast: &'a Module<'a>,
    pub ports_new: &'a PortList<'a>,
    pub params: &'a [NodeId],
    pub block: ModuleBlock,
    pub last_rib: NodeId,
}

A module.

Fields

ast: &'a Module<'a>

The AST node.

ports_new: &'a PortList<'a>

The ports of the module.

params: &'a [NodeId]

The parameters of the module.

block: ModuleBlock

The contents of the module.

last_rib: NodeId

The bottom of the name scope tree.

Methods from Deref<Target = &'a Module<'a>>

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

pub fn inst(&self) -> &'a Node<'a, InstData<'a>>

Get the parent instantiation.

Trait Implementations

impl<'a, 'hir> Alloc<'a, 'a, Module<'hir>> for Arena<'hir> where
    'hir: 'a, 

fn alloc(&'a self, value: Module<'hir>) -> &'a mut Module<'hir>

Allocate a value of type T.

impl<'a> Debug for Module<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Deref for Module<'a>

type Target = &'a Module<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl HasDesc for Module<'_>

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node’s name.

impl HasSpan for Module<'_>

fn span(&self) -> Span

Obtain the full span of the input file that this node covers.

fn human_span(&self) -> Span

Obtain a span which can be used to refer to this node in error messages presented to humans. This will generally be the name for things like entities, processes, and variables. Defaults to return whatever span() returns.

impl<'a> PartialEq<Module<'a>> for Module<'a>

fn eq(&self, other: &Module<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Module<'a>) -> bool

This method tests for !=.

impl<'a> Eq for Module<'a>

impl<'a> StructuralEq for Module<'a>

impl<'a> StructuralPartialEq for Module<'a>