Struct parze::Declaration

pub struct Declaration<'a, T: Clone + 'a, O: 'a, E: ParseError<'a, T> = DefaultParseError<T>> { /* fields omitted */ }

A type used to separate the declaration and definition of a parser such that it may be defined in terms of itself.

This type is the primary route through which recursive parsers are defined, although call(f) may also be used.

Methods

impl<'a, T: Clone + 'a, O: 'a, E: ParseError<'a, T> + 'a> Declaration<'a, T, O, E>

pub fn new() -> Self

Create a new parser declaration.

pub fn link(&self) -> Parser<'a, T, O, E>

Create a parser that is linked to this declaration. If the resultant parser is used before this declaration is defined (see .define) then a panic will occur.

pub fn define(self, parser: Parser<'a, T, O, E>) -> Parser<'a, T, O, E>

Provider a parser definition for this declaration, thereby sealing it as a well-defined parser.