Struct gluon_parser::infix::Reparser

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

Methods

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

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

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

Trait Implementations

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

type Ident = Id

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

fn visit_pattern(&mut self, e: &'a mut Spanned<Pattern<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<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 Spanned<Type<Self::Ident, AstType<Self::Ident>>, ByteIndex>
)