Struct NonEmpty 

pub struct NonEmpty<P>(pub P);

Discards empty strings from a match.

Some atoms that needs to match an undefined number of other atoms (like Repeat or LazyRepeat) may enter in an infinite loop if the inner atom matches an empty string "". In that case there is always a match but the atom does not progress, resulting so in an endless cycle.

This tool takes another tool and converts any match with an empty string with a missing match, avoiding this issue.

Tuple Fields

0: P

Trait Implementations

impl<P: Clone> Clone for NonEmpty<P>

fn clone(&self) -> NonEmpty<P>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug> Debug for NonEmpty<P>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: Default> Default for NonEmpty<P>

fn default() -> NonEmpty<P>

Returns the “default value” for a type.

impl<'a, P> Tool<'a> for NonEmpty<P>

where P: Tool<'a>,

type Data = <P as Tool<'a>>::Data

Associated data type.

type Error = Option<<P as Tool<'a>>::Error>

Error type.

fn parse( &self, st: View<'a>, ) -> Result<(Self::Data, usize, View<'a>), Self::Error>

The main parsing algorithm.

impl<P: Copy> Copy for NonEmpty<P>