Struct gluon_parser::infix::Reparser

pub struct Reparser<'s, 'ast, Id: 's> { /* fields omitted */ }

Implementations

impl<'s, 'ast, Id> Reparser<'s, 'ast, Id>

pub fn new(
    arena: ArenaRef<'s, 'ast, Id>,
    operators: OpTable<Id>,
    symbols: &'s dyn IdentEnv<Ident = Id>
) -> Self

pub fn reparse(
    &mut self,
    expr: &mut SpannedExpr<'ast, Id>
) -> Result<(), Errors<Spanned<Error, BytePos>>> where
    Id: Eq + Hash + AsRef<str> + Clone + Debug, 

Trait Implementations

impl<'a, 's, 'ast, Id> MutVisitor<'a, 'ast> for Reparser<'s, 'ast, Id> where
    Id: Eq + Hash + AsRef<str> + Clone + Debug + 'a + 'ast, 

type Ident = Id

fn visit_expr(&mut self, e: &'a mut SpannedExpr<'ast, Self::Ident>)

fn visit_pattern(
    &mut self,
    e: &'a mut Spanned<Pattern<'ast, Self::Ident>, ByteIndex>
)

fn visit_spanned_typed_ident(
    &mut self,
    id: &'a mut Spanned<TypedIdent<Self::Ident, ArcType<Self::Ident>>, ByteIndex>
)

fn visit_ident(
    &mut self,
    id: &'a mut TypedIdent<Self::Ident, ArcType<Self::Ident>>
)

fn visit_alias(
    &mut self,
    alias: &'a mut Spanned<AliasData<Self::Ident, AstType<'ast, Self::Ident>>, ByteIndex>
)

fn visit_spanned_ident(&mut self, &'a mut Spanned<Self::Ident, ByteIndex>)

fn visit_typ(&mut self, &'a mut ArcType<Self::Ident>)

fn visit_ast_type(&mut self, s: &'a mut AstType<'ast, Self::Ident>)