Trait perplex_runtime::StateSpace

pub trait StateSpace {
    type Terminal;
    type Nonterminal;
    type Root;
    fn root_state_fn<P: Parser<Terminal = Self::Terminal, Nonterminal = Self::Nonterminal>>(
    ) -> fn(_: &mut P);
    fn root_goto_fn<P: Parser<Terminal = Self::Terminal, Nonterminal = Self::Nonterminal>>(
    ) -> fn(_: &mut P, _: Self::Nonterminal);
}

A description of a parser's state space.

Associated Types

type Terminal

The type of terminals the parser emits.

type Nonterminal

The type of nonterminals the parser emits.

type Root

The type of the reduction produce by the root rule.

Required Methods

fn root_state_fn<P: Parser<Terminal = Self::Terminal, Nonterminal = Self::Nonterminal>>(
) -> fn(_: &mut P)

Return the root state function.

fn root_goto_fn<P: Parser<Terminal = Self::Terminal, Nonterminal = Self::Nonterminal>>(
) -> fn(_: &mut P, _: Self::Nonterminal)

Return the root goto function.

Implementors