[−][src]Struct moore_svlog::GlobalArenas

pub struct GlobalArenas<'t> {
    pub ast: Arena<'t>,
    // some fields omitted
}

The arenas that allocate things in the global context.

Use this struct whenever you want to allocate or internalize something during the compilation procedure.

Fields

ast: Arena<'t>

Implementations

impl<'t> GlobalArenas<'t>[src]

pub fn alloc_ids(
    &'t self,
    ids: impl IntoIterator<Item = NodeId>
) -> &'t [NodeId][src]

Allocate a list of node IDs.

pub fn alloc_hir<T>(&'t self, hir: T) -> &'t Tⓘ

Notable traits for &'_ mut R

impl<'_, R> Read for &'_ mut R where
    R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where
    W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;
 where
    Arena<'t>: Alloc<'t, 't, T>,
    T: 't, [src]

Allocate an HIR node into the global context.

pub fn alloc_rib(&'t self, rib: Rib) -> &'t Rib[src]

Allocate a rib.

pub fn alloc_port_list(&'t self, port_list: PortList<'t>) -> &'t PortList<'t>[src]

Allocate a port list.

pub fn alloc_scope(&'t self, scope: Scope<'t>) -> &'t Scope<'t>[src]

Allocate a scope.

pub fn alloc_mir_lvalue(&'t self, mir: Lvalue<'t>) -> &'t Lvalue<'t>[src]

Allocate an MIR lvalue.

pub fn alloc_mir_rvalue(&'t self, mir: Rvalue<'t>) -> &'t Rvalue<'t>[src]

Allocate an MIR rvalue.

pub fn alloc_mir_assignment(&'t self, mir: Assignment<'t>) -> &'t Assignment<'t>[src]

Allocate an MIR assignment.

pub fn alloc_ast_root(&'t self, ast: Root<'t>) -> &'t Root<'_>[src]

Allocate an AST root.

pub fn alloc_ast_type(&'t self, ast: Type<'t>) -> &'t Type<'_>[src]

Allocate an AST type.

pub fn alloc_ast_expr(&'t self, ast: Expr<'t>) -> &'t Expr<'_>[src]

Allocate an AST expression.

Trait Implementations

impl<'t, T: 't> Alloc<'t, 't, T> for GlobalArenas<'t> where
    Arena<'t>: Alloc<'t, 't, T>, [src]

Allow AST nodes to be allocated into GlobalArenas.

impl<'t> Default for GlobalArenas<'t>[src]

Auto Trait Implementations

impl<'t> !RefUnwindSafe for GlobalArenas<'t>[src]

impl<'t> Send for GlobalArenas<'t>[src]

impl<'t> !Sync for GlobalArenas<'t>[src]

impl<'t> Unpin for GlobalArenas<'t>[src]

impl<'t> !UnwindSafe for GlobalArenas<'t>[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.