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§
Required Methods§
Implementors§
source§impl<E> NamedEventParser for Parser<E>where
E: StaticNamed + FromStr + Event + 'static,
ParseEventError: From<<E as FromStr>::Err>,
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
.