Trait sequent::NamedEventParser

source ·

pub trait NamedEventParser: Named {
    type State;

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

Expand description

A parser for Event types.

Required Associated Types§

source

type State

The state type.

Required Methods§

source

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

Constructs an Event object from its string representation.

Errors

ParseEventError if the given string slice could not be decoded.

Implementors§

source §

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.

§