[−][src]Trait walrus::ir::Ast

pub trait Ast: Into<Expr> {
    type Id: Into<ExprId>;
    fn new_id(id: ExprId) -> Self::Id;
}

A trait for anything that is an AST node in our IR.

Implementations of this trait are generated by #[walrus_expr].

Associated Types

`type Id: Into<ExprId>`

The identifier type for this AST node.

Loading content...

Required methods

`fn new_id(id: ExprId) -> Self::Id`

Create a new identifier given an ExprId that references an Expr of this type.

Loading content...

Implementors

`impl Ast for AtomicNotify`[src]

`type Id = AtomicNotifyId`

`fn new_id(id: ExprId) -> AtomicNotifyId`[src]

`impl Ast for AtomicRmw`[src]

`type Id = AtomicRmwId`

`fn new_id(id: ExprId) -> AtomicRmwId`[src]

`impl Ast for AtomicWait`[src]

`type Id = AtomicWaitId`

`fn new_id(id: ExprId) -> AtomicWaitId`[src]

`impl Ast for Binop`[src]

`type Id = BinopId`

`fn new_id(id: ExprId) -> BinopId`[src]

`impl Ast for Block`[src]

`type Id = BlockId`

`fn new_id(id: ExprId) -> BlockId`[src]

`impl Ast for Br`[src]

`type Id = BrId`

`fn new_id(id: ExprId) -> BrId`[src]

`impl Ast for BrIf`[src]

`type Id = BrIfId`

`fn new_id(id: ExprId) -> BrIfId`[src]

`impl Ast for BrTable`[src]

`type Id = BrTableId`

`fn new_id(id: ExprId) -> BrTableId`[src]

`impl Ast for Call`[src]

`type Id = CallId`

`fn new_id(id: ExprId) -> CallId`[src]

`impl Ast for CallIndirect`[src]

`type Id = CallIndirectId`

`fn new_id(id: ExprId) -> CallIndirectId`[src]

`impl Ast for Cmpxchg`[src]

`type Id = CmpxchgId`

`fn new_id(id: ExprId) -> CmpxchgId`[src]

`impl Ast for Const`[src]

`type Id = ConstId`

`fn new_id(id: ExprId) -> ConstId`[src]

`impl Ast for DataDrop`[src]

`type Id = DataDropId`

`fn new_id(id: ExprId) -> DataDropId`[src]

`impl Ast for Drop`[src]

`type Id = DropId`

`fn new_id(id: ExprId) -> DropId`[src]

`impl Ast for GlobalGet`[src]

`type Id = GlobalGetId`

`fn new_id(id: ExprId) -> GlobalGetId`[src]

`impl Ast for GlobalSet`[src]

`type Id = GlobalSetId`

`fn new_id(id: ExprId) -> GlobalSetId`[src]

`impl Ast for IfElse`[src]

`type Id = IfElseId`

`fn new_id(id: ExprId) -> IfElseId`[src]

`impl Ast for Load`[src]

`type Id = LoadId`

`fn new_id(id: ExprId) -> LoadId`[src]

`impl Ast for LocalGet`[src]

`type Id = LocalGetId`

`fn new_id(id: ExprId) -> LocalGetId`[src]

`impl Ast for LocalSet`[src]

`type Id = LocalSetId`

`fn new_id(id: ExprId) -> LocalSetId`[src]

`impl Ast for LocalTee`[src]

`type Id = LocalTeeId`

`fn new_id(id: ExprId) -> LocalTeeId`[src]

`impl Ast for MemoryCopy`[src]

`type Id = MemoryCopyId`

`fn new_id(id: ExprId) -> MemoryCopyId`[src]

`impl Ast for MemoryFill`[src]

`type Id = MemoryFillId`

`fn new_id(id: ExprId) -> MemoryFillId`[src]

`impl Ast for MemoryGrow`[src]

`type Id = MemoryGrowId`

`fn new_id(id: ExprId) -> MemoryGrowId`[src]

`impl Ast for MemoryInit`[src]

`type Id = MemoryInitId`

`fn new_id(id: ExprId) -> MemoryInitId`[src]

`impl Ast for MemorySize`[src]

`type Id = MemorySizeId`

`fn new_id(id: ExprId) -> MemorySizeId`[src]

`impl Ast for Return`[src]

`type Id = ReturnId`

`fn new_id(id: ExprId) -> ReturnId`[src]

`impl Ast for Select`[src]

`type Id = SelectId`

`fn new_id(id: ExprId) -> SelectId`[src]

`impl Ast for Store`[src]

`type Id = StoreId`

`fn new_id(id: ExprId) -> StoreId`[src]

`impl Ast for Unop`[src]

`type Id = UnopId`

`fn new_id(id: ExprId) -> UnopId`[src]

`impl Ast for Unreachable`[src]

`type Id = UnreachableId`

`fn new_id(id: ExprId) -> UnreachableId`[src]

`impl Ast for WithSideEffects`[src]

`type Id = WithSideEffectsId`

`fn new_id(id: ExprId) -> WithSideEffectsId`[src]

Loading content...

[−][src]Trait walrus::ir::Ast

Associated Types

type Id: Into<ExprId>

Required methods

fn new_id(id: ExprId) -> Self::Id

Implementors

impl Ast for AtomicNotify[src]

type Id = AtomicNotifyId

fn new_id(id: ExprId) -> AtomicNotifyId[src]

impl Ast for AtomicRmw[src]

type Id = AtomicRmwId

fn new_id(id: ExprId) -> AtomicRmwId[src]

impl Ast for AtomicWait[src]

type Id = AtomicWaitId

fn new_id(id: ExprId) -> AtomicWaitId[src]

impl Ast for Binop[src]

type Id = BinopId

fn new_id(id: ExprId) -> BinopId[src]

impl Ast for Block[src]

type Id = BlockId

fn new_id(id: ExprId) -> BlockId[src]

impl Ast for Br[src]

type Id = BrId

fn new_id(id: ExprId) -> BrId[src]

impl Ast for BrIf[src]

type Id = BrIfId

fn new_id(id: ExprId) -> BrIfId[src]

impl Ast for BrTable[src]

type Id = BrTableId

fn new_id(id: ExprId) -> BrTableId[src]

impl Ast for Call[src]

type Id = CallId

fn new_id(id: ExprId) -> CallId[src]

impl Ast for CallIndirect[src]

type Id = CallIndirectId

fn new_id(id: ExprId) -> CallIndirectId[src]

impl Ast for Cmpxchg[src]

type Id = CmpxchgId

fn new_id(id: ExprId) -> CmpxchgId[src]

impl Ast for Const[src]

type Id = ConstId

fn new_id(id: ExprId) -> ConstId[src]

impl Ast for DataDrop[src]

type Id = DataDropId

fn new_id(id: ExprId) -> DataDropId[src]

impl Ast for Drop[src]

type Id = DropId

fn new_id(id: ExprId) -> DropId[src]

impl Ast for GlobalGet[src]

type Id = GlobalGetId

fn new_id(id: ExprId) -> GlobalGetId[src]

impl Ast for GlobalSet[src]

type Id = GlobalSetId

fn new_id(id: ExprId) -> GlobalSetId[src]

impl Ast for IfElse[src]

type Id = IfElseId

fn new_id(id: ExprId) -> IfElseId[src]

impl Ast for Load[src]

type Id = LoadId

fn new_id(id: ExprId) -> LoadId[src]

impl Ast for LocalGet[src]

type Id = LocalGetId

fn new_id(id: ExprId) -> LocalGetId[src]

impl Ast for LocalSet[src]

type Id = LocalSetId

fn new_id(id: ExprId) -> LocalSetId[src]

impl Ast for LocalTee[src]

type Id = LocalTeeId

fn new_id(id: ExprId) -> LocalTeeId[src]

impl Ast for MemoryCopy[src]

type Id = MemoryCopyId

fn new_id(id: ExprId) -> MemoryCopyId[src]

impl Ast for MemoryFill[src]

type Id = MemoryFillId

fn new_id(id: ExprId) -> MemoryFillId[src]

impl Ast for MemoryGrow[src]

type Id = MemoryGrowId

fn new_id(id: ExprId) -> MemoryGrowId[src]

impl Ast for MemoryInit[src]

type Id = MemoryInitId

`type Id: Into<ExprId>`

`fn new_id(id: ExprId) -> Self::Id`

`impl Ast for AtomicNotify`[src]

`type Id = AtomicNotifyId`

`fn new_id(id: ExprId) -> AtomicNotifyId`[src]

`impl Ast for AtomicRmw`[src]

`type Id = AtomicRmwId`

`fn new_id(id: ExprId) -> AtomicRmwId`[src]

`impl Ast for AtomicWait`[src]

`type Id = AtomicWaitId`

`fn new_id(id: ExprId) -> AtomicWaitId`[src]

`impl Ast for Binop`[src]

`type Id = BinopId`

`fn new_id(id: ExprId) -> BinopId`[src]

`impl Ast for Block`[src]

`type Id = BlockId`

`fn new_id(id: ExprId) -> BlockId`[src]

`impl Ast for Br`[src]

`type Id = BrId`

`fn new_id(id: ExprId) -> BrId`[src]

`impl Ast for BrIf`[src]

`type Id = BrIfId`

`fn new_id(id: ExprId) -> BrIfId`[src]

`impl Ast for BrTable`[src]

`type Id = BrTableId`

`fn new_id(id: ExprId) -> BrTableId`[src]

`impl Ast for Call`[src]

`type Id = CallId`

`fn new_id(id: ExprId) -> CallId`[src]

`impl Ast for CallIndirect`[src]

`type Id = CallIndirectId`

`fn new_id(id: ExprId) -> CallIndirectId`[src]

`impl Ast for Cmpxchg`[src]

`type Id = CmpxchgId`

`fn new_id(id: ExprId) -> CmpxchgId`[src]

`impl Ast for Const`[src]

`type Id = ConstId`

`fn new_id(id: ExprId) -> ConstId`[src]

`impl Ast for DataDrop`[src]

`type Id = DataDropId`

`fn new_id(id: ExprId) -> DataDropId`[src]

`impl Ast for Drop`[src]

`type Id = DropId`

`fn new_id(id: ExprId) -> DropId`[src]

`impl Ast for GlobalGet`[src]

`type Id = GlobalGetId`

`fn new_id(id: ExprId) -> GlobalGetId`[src]

`impl Ast for GlobalSet`[src]

`type Id = GlobalSetId`

`fn new_id(id: ExprId) -> GlobalSetId`[src]

`impl Ast for IfElse`[src]

`type Id = IfElseId`

`fn new_id(id: ExprId) -> IfElseId`[src]

`impl Ast for Load`[src]

`type Id = LoadId`

`fn new_id(id: ExprId) -> LoadId`[src]

`impl Ast for LocalGet`[src]

`type Id = LocalGetId`

`fn new_id(id: ExprId) -> LocalGetId`[src]

`impl Ast for LocalSet`[src]

`type Id = LocalSetId`

`fn new_id(id: ExprId) -> LocalSetId`[src]

`impl Ast for LocalTee`[src]

`type Id = LocalTeeId`

`fn new_id(id: ExprId) -> LocalTeeId`[src]

`impl Ast for MemoryCopy`[src]

`type Id = MemoryCopyId`

`fn new_id(id: ExprId) -> MemoryCopyId`[src]

`impl Ast for MemoryFill`[src]

`type Id = MemoryFillId`

`fn new_id(id: ExprId) -> MemoryFillId`[src]

`impl Ast for MemoryGrow`[src]

`type Id = MemoryGrowId`

`fn new_id(id: ExprId) -> MemoryGrowId`[src]

`impl Ast for MemoryInit`[src]

`type Id = MemoryInitId`

`fn new_id(id: ExprId) -> MemoryInitId`[src]

`impl Ast for MemorySize`[src]

`type Id = MemorySizeId`

`fn new_id(id: ExprId) -> MemorySizeId`[src]