#[doc(hidden)]
pub extern crate pest;
extern crate void;
#[doc(inline)]
pub use void::Void;
use {
pest::{
iterators::{Pair, Pairs},
RuleType,
},
std::marker::PhantomData,
};
#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash)]
pub enum ConversionError<FatalError> {
NoMatch,
Malformed(FatalError),
}
pub trait FromPest<'pest>: Sized {
type Rule: RuleType;
type FatalError;
fn from_pest(
pest: &mut Pairs<'pest, Self::Rule>,
) -> Result<Self, ConversionError<Self::FatalError>>;
}
impl<'pest, Rule: RuleType, T: FromPest<'pest, Rule = Rule>> FromPest<'pest> for PhantomData<T> {
type Rule = Rule;
type FatalError = T::FatalError;
fn from_pest(pest: &mut Pairs<'pest, Rule>) -> Result<Self, ConversionError<T::FatalError>> {
T::from_pest(pest).map(|_| PhantomData)
}
}
impl<'pest, Rule: RuleType, T: FromPest<'pest, Rule = Rule>> FromPest<'pest> for Box<T> {
type Rule = Rule;
type FatalError = T::FatalError;
fn from_pest(pest: &mut Pairs<'pest, Rule>) -> Result<Self, ConversionError<T::FatalError>> {
T::from_pest(pest).map(Box::new)
}
}
impl<'pest, Rule: RuleType, T: FromPest<'pest, Rule = Rule>> FromPest<'pest> for Option<T> {
type Rule = Rule;
type FatalError = T::FatalError;
fn from_pest(pest: &mut Pairs<'pest, Rule>) -> Result<Self, ConversionError<T::FatalError>> {
match T::from_pest(pest) {
Err(ConversionError::NoMatch) => Ok(None),
result => result.map(Some),
}
}
}
impl<'pest, Rule: RuleType, T: FromPest<'pest, Rule = Rule>> FromPest<'pest> for Vec<T> {
type Rule = Rule;
type FatalError = T::FatalError;
fn from_pest(pest: &mut Pairs<'pest, Rule>) -> Result<Self, ConversionError<T::FatalError>> {
let mut acc = vec![];
loop {
match T::from_pest(pest) {
Ok(t) => acc.push(t),
Err(ConversionError::NoMatch) => break,
Err(error @ ConversionError::Malformed(_)) => return Err(error),
}
}
Ok(acc)
}
}
impl<'pest, Rule: RuleType> FromPest<'pest> for Pair<'pest, Rule> {
type Rule = Rule;
type FatalError = Void;
fn from_pest(pest: &mut Pairs<'pest, Rule>) -> Result<Self, ConversionError<Void>> {
pest.next().ok_or(ConversionError::NoMatch)
}
}