Struct parze::Declaration

pub struct Declaration<'a, T: Clone + 'a, O: 'a, E: ParseError<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<T> + 'a> Declaration<'a, T, O, E>

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, impl ParseFn<T, O, E>>
) -> Parser<'a, T, O, E>

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

Trait Implementations

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

fn default() -> Self

Returns the "default value" for a type.