Trait Symbol

pub trait Symbol<'input, G> {
    type Output;

    // Required methods
    fn pretty_print(&self) -> String;
    fn parse(
        &self,
        grammar: &mut G,
        input: Input<'input>,
    ) -> ParseResult<'input, Self::Output>;

    // Provided methods
    fn parse_complete(
        &self,
        grammar: &mut G,
        text: &'input str,
    ) -> Result<Self::Output, Error<'input>> { ... }
    fn parse_prefix(
        &self,
        grammar: &mut G,
        text: &'input str,
    ) -> ParseResult<'input, Self::Output> { ... }
}

Required Associated Types

type Output

Required Methods

fn pretty_print(&self) -> String

fn parse( &self, grammar: &mut G, input: Input<'input>, ) -> ParseResult<'input, Self::Output>

Provided Methods

fn parse_complete( &self, grammar: &mut G, text: &'input str, ) -> Result<Self::Output, Error<'input>>

fn parse_prefix( &self, grammar: &mut G, text: &'input str, ) -> ParseResult<'input, Self::Output>

Implementations on Foreign Types

impl<'input, G> Symbol<'input, G> for &'static str

type Output = &'static str

fn pretty_print(&self) -> String

fn parse( &self, _: &mut G, start: Input<'input>, ) -> ParseResult<'input, &'static str>

Implementors

impl<'input, G> Symbol<'input, G> for Empty

type Output = ()

impl<'input, G> Symbol<'input, G> for RegexNt

type Output = &'input str

impl<'input, G> Symbol<'input, G> for Whitespace

type Output = ()

impl<'input, G, P> Symbol<'input, G> for Optional<P>

where P: Symbol<'input, G>,

type Output = Option<<P as Symbol<'input, G>>::Output>

impl<'input, G, P, S> Symbol<'input, G> for Repeat<P, S>

where P: Symbol<'input, G>, S: Symbol<'input, G>,

type Output = Vec<<P as Symbol<'input, G>>::Output>

impl<'input, NT1, P2, G> Symbol<'input, G> for Join<NT1, P2>

where NT1: Symbol<'input, G>, P2: Symbol<'input, G>,

type Output = (<NT1 as Symbol<'input, G>>::Output, <P2 as Symbol<'input, G>>::Output)

impl<'input, NT1, P2, R, G> Symbol<'input, G> for Or<NT1, P2>

where NT1: Symbol<'input, G, Output = R>, P2: Symbol<'input, G, Output = R>,

type Output = R