Struct sequent::Parser

pub struct Parser<E>(_);

A generic parser for any event type.

Trait Implementations

impl<E> Default for Parser<E>

fn default() -> Self

Returns the “default value” for a type.

impl<E> NamedEventParser for Parser<E>where
    E: StaticNamed + FromStr + Event + 'static,
    ParseEventError: From<<E as FromStr>::Err>,

Blanket NamedEventParser implementation for any compliant Parser.

type State = <E as Event>::State

The state type.

fn parse(
    &self,
    s: &str
) -> Result<Box<dyn Event<State = Self::State>>, ParseEventError>

Constructs an Event object from its string representation.

impl<E> StaticNamed for Parser<E>where
    E: StaticNamed,

Acquired implementation of StaticNamed for any Parser that is parametrised with an Event type that is also StaticNamed.

fn name() -> &'static str

The static name of this type.