Struct gluon_vm::core::interpreter::Pure

pub struct Pure<'a, 'l: 'a, 'g: 'a>(/* private fields */);

Trait Implementations

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

type Producer = DifferentLifetime<'l, 'expr>

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

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

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

fn visit_binding(&mut self, _: &Symbol) -> Option<Symbol>

fn visit_type(&mut self, _: &'b ArcType) -> Option<ArcType>

fn visit_pattern(&mut self, expr: &'b Pattern) -> Option<Pattern>

fn visit_alt(&mut self, alt: &'b Alternative<'b>) -> Option<Alternative<'a>>

fn detach_producer(&self) -> Option<Self::Producer>

fn producer(&self) -> Self::Producer

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