Trait gluon_vm::core::optimize::Visitor

pub trait Visitor<'a, 'b> {
    type Producer: ExprProducer<'a, 'b>;

    fn visit_expr(&mut self, expr: CExpr<'b>) -> Option<&'a Expr<'a>>;
    fn detach_allocator(&self) -> Option<&'a Allocator<'a>>;

    fn visit_expr_(&mut self, expr: CExpr<'b>) -> Option<Expr<'a>> { ... }
    fn allocator(&self) -> &'a Allocator<'a> { ... }
}

Required Associated Types

type Producer: ExprProducer<'a, 'b>

Required Methods

fn visit_expr(&mut self, expr: CExpr<'b>) -> Option<&'a Expr<'a>>

fn detach_allocator(&self) -> Option<&'a Allocator<'a>>

Provided Methods

fn visit_expr_(&mut self, expr: CExpr<'b>) -> Option<Expr<'a>>

fn allocator(&self) -> &'a Allocator<'a>

Implementors

impl<'a> Visitor<'a, 'a> for SameLifetime<'a>

type Producer = SameLifetime<'a>

impl<'a, 'b> Visitor<'a, 'b> for DifferentLifetime<'a, 'b>

type Producer = DifferentLifetime<'a, 'b>

impl<'a, 'l, 'g, 'expr> Visitor<'l, 'expr> for Pure<'a, 'l, 'g>

type Producer = DifferentLifetime<'l, 'expr>