Enum combine::error::Commit

source ·
pub enum Commit<T> {
    Commit(T),
    Peek(T),
}
Expand description

Enum used to indicate if a parser committed any items of the stream it was given as an input.

This is used by parsers such as or and choice to determine if they should try to parse with another parser as they will only be able to provide good error reporting if the preceding parser did not commit to the parse.

Variants§

§

Commit(T)

Constructor indicating that the parser has committed to this parse. If a parser after this fails, other parser alternatives will not be attempted (CommitErr will be returned)

§

Peek(T)

Constructor indicating that the parser has not committed to this parse. If a parser after this fails, other parser alternatives will be attempted (EmptyErr will be returned)

Implementations§

source§

impl<T> Commit<T>

source

pub fn is_peek(&self) -> bool

Returns true if self is peek.

source

pub fn into_inner(self) -> T

Extracts the contained value.

source

pub fn into_commit(self) -> Commit<T>

Converts self into the Commit state.

source

pub fn into_peek(self) -> Commit<T>

Converts self into the Peek state.

source

pub fn map<F, U>(self, f: F) -> Commit<U>
where F: FnOnce(T) -> U,

Maps over the contained value without changing the committed state.

source

pub fn merge(&self, current: Commit<T>) -> Commit<T>

source

pub fn combine<F, U, E>(self, f: F) -> StdParseResult2<U, E>
where F: FnOnce(T) -> StdParseResult2<U, E>,

Combines the Commit flags from self and the result of f.

Peek    <> Peek    -> Peek
Commit <> Peek    -> Commit
Peek    <> Commit -> Commit
Commit <> Commit -> Commit
//Parses a character of string literal and handles the escaped characters \\ and \" as \
//and " respectively
fn char<Input>(input: &mut Input) -> StdParseResult<char, Input>
    where Input: Stream<Token = char>,
{
    let (c, committed) = satisfy(|c| c != '"').parse_stream(input).into_result()?;
    match c {
        //Since the `char` parser has already committed some of the input `combine` is used
        //propagate the committed state to the next part of the parser
        '\\' => committed.combine(|_| {
            satisfy(|c| c == '"' || c == '\\')
                .map(|c| {
                    match c {
                        '"' => '"',
                        '\\' => '\\',
                        c => c
                    }
                })
                .parse_stream(input)
                .into_result()
            }),
        _ => Ok((c, committed))
    }
}
let result = many(parser(char))
    .easy_parse(r#"abc\"\\"#);
assert_eq!(result, Ok((r#"abc"\"#.to_string(), "")));
}
source

pub fn combine_commit<F, U, E>(self, f: F) -> ParseResult<U, E>
where F: FnOnce(T) -> ParseResult<U, E>,

Trait Implementations§

source§

impl<T> AsMut<T> for Commit<T>

source§

fn as_mut(&mut self) -> &mut T

Converts this type into a mutable reference of the (usually inferred) input type.
source§

impl<T> AsRef<T> for Commit<T>

source§

fn as_ref(&self) -> &T

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl<T: Clone> Clone for Commit<T>

source§

fn clone(&self) -> Commit<T>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<T: Debug> Debug for Commit<T>

source§

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

Formats the value using the given formatter. Read more
source§

impl<T: PartialEq> PartialEq for Commit<T>

source§

fn eq(&self, other: &Commit<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<T: Copy> Copy for Commit<T>

source§

impl<T> StructuralPartialEq for Commit<T>

Auto Trait Implementations§

§

impl<T> Freeze for Commit<T>
where T: Freeze,

§

impl<T> RefUnwindSafe for Commit<T>
where T: RefUnwindSafe,

§

impl<T> Send for Commit<T>
where T: Send,

§

impl<T> Sync for Commit<T>
where T: Sync,

§

impl<T> Unpin for Commit<T>
where T: Unpin,

§

impl<T> UnwindSafe for Commit<T>
where T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more