pub struct State<I, X> {
pub input: I,
pub positioner: X,
}
Expand description
The State<I>
struct maintains the current position in the stream I
using
the Positioner
trait to track the position.
let result = token(b'9')
.message("Not a nine")
.easy_parse(State::new(&b"8"[..]));
assert_eq!(result, Err(easy::Errors {
position: 0,
errors: vec![
easy::Error::Unexpected(b'8'.into()),
easy::Error::Expected(b'9'.into()),
easy::Error::Message("Not a nine".into())
]
}));
Fields§
§input: I
The input stream used when items are requested
positioner: X
The positioner used to update the current position
Implementations§
Source§impl<I, X> State<I, X>
impl<I, X> State<I, X>
Sourcepub fn with_positioner(input: I, positioner: X) -> State<I, X>
pub fn with_positioner(input: I, positioner: X) -> State<I, X>
Creates a new State<I, X>
from an input stream and a positioner.
Source§impl<I> State<I, I::Positioner>
impl<I> State<I, I::Positioner>
Sourcepub fn new(input: I) -> State<I, I::Positioner>
pub fn new(input: I) -> State<I, I::Positioner>
Creates a new State<I, X>
from an input stream and its default positioner.
Trait Implementations§
Source§impl<I, X, E> FullRangeStream for State<I, X>where
I: FullRangeStream + Resetable,
I::Position: Clone + Ord,
E: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = E> + ParseError<I::Item, I::Range, I::Position, StreamError = E>,
X: Resetable + RangePositioner<I::Item, I::Range>,
impl<I, X, E> FullRangeStream for State<I, X>where
I: FullRangeStream + Resetable,
I::Position: Clone + Ord,
E: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = E> + ParseError<I::Item, I::Range, I::Position, StreamError = E>,
X: Resetable + RangePositioner<I::Item, I::Range>,
Source§impl<I, X, E> Positioned for State<I, X>where
I: StreamOnce,
X: Positioner<I::Item>,
E: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = E> + ParseError<I::Item, I::Range, I::Position, StreamError = E>,
impl<I, X, E> Positioned for State<I, X>where
I: StreamOnce,
X: Positioner<I::Item>,
E: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = E> + ParseError<I::Item, I::Range, I::Position, StreamError = E>,
Source§impl<I, X, S> RangeStreamOnce for State<I, X>where
I: RangeStreamOnce,
X: Resetable + RangePositioner<I::Item, I::Range>,
S: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = S> + ParseError<I::Item, I::Range, I::Position, StreamError = S>,
I::Position: Clone + Ord,
impl<I, X, S> RangeStreamOnce for State<I, X>where
I: RangeStreamOnce,
X: Resetable + RangePositioner<I::Item, I::Range>,
S: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = S> + ParseError<I::Item, I::Range, I::Position, StreamError = S>,
I::Position: Clone + Ord,
Source§fn uncons_range(
&mut self,
size: usize,
) -> Result<I::Range, StreamErrorFor<Self>>
fn uncons_range( &mut self, size: usize, ) -> Result<I::Range, StreamErrorFor<Self>>
Takes
size
elements from the stream.
Fails if the length of the stream is less than size
.Source§fn uncons_while<F>(
&mut self,
predicate: F,
) -> Result<I::Range, StreamErrorFor<Self>>
fn uncons_while<F>( &mut self, predicate: F, ) -> Result<I::Range, StreamErrorFor<Self>>
Takes items from stream, testing each one with
predicate
.
returns the range of items which passed predicate
.Source§fn uncons_while1<F>(
&mut self,
predicate: F,
) -> FastResult<Self::Range, StreamErrorFor<Self>>
fn uncons_while1<F>( &mut self, predicate: F, ) -> FastResult<Self::Range, StreamErrorFor<Self>>
Takes items from stream, testing each one with
predicate
returns a range of at least one items which passed predicate
. Read moreSource§impl<I, X> Resetable for State<I, X>
impl<I, X> Resetable for State<I, X>
type Checkpoint = State<<I as Resetable>::Checkpoint, <X as Resetable>::Checkpoint>
fn checkpoint(&self) -> Self::Checkpoint
fn reset(&mut self, checkpoint: Self::Checkpoint)
Source§impl<I, X, S> StreamOnce for State<I, X>where
I: StreamOnce,
X: Positioner<I::Item>,
S: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = S> + ParseError<I::Item, I::Range, I::Position, StreamError = S>,
impl<I, X, S> StreamOnce for State<I, X>where
I: StreamOnce,
X: Positioner<I::Item>,
S: StreamError<I::Item, I::Range>,
I::Error: ParseError<I::Item, I::Range, X::Position, StreamError = S> + ParseError<I::Item, I::Range, I::Position, StreamError = S>,
Source§type Item = <I as StreamOnce>::Item
type Item = <I as StreamOnce>::Item
The type of items which is yielded from this stream.
Source§type Range = <I as StreamOnce>::Range
type Range = <I as StreamOnce>::Range
The type of a range of items yielded from this stream.
Types which do not a have a way of yielding ranges of items should just use the
Self::Item
for this type.Source§type Position = <X as Positioner<<I as StreamOnce>::Item>>::Position
type Position = <X as Positioner<<I as StreamOnce>::Item>>::Position
Type which represents the position in a stream.
Ord
is required to allow parsers to determine which of two positions are further ahead.type Error = <I as StreamOnce>::Error
Source§fn uncons(&mut self) -> Result<I::Item, StreamErrorFor<Self>>
fn uncons(&mut self) -> Result<I::Item, StreamErrorFor<Self>>
Takes a stream and removes its first item, yielding the item and the rest of the elements.
Returns
Err
if no element could be retrieved.Source§fn is_partial(&self) -> bool
fn is_partial(&self) -> bool
Returns
true
if this stream only contains partial input. Read moreimpl<I, X> StructuralPartialEq for State<I, X>
Auto Trait Implementations§
impl<I, X> Freeze for State<I, X>
impl<I, X> RefUnwindSafe for State<I, X>where
I: RefUnwindSafe,
X: RefUnwindSafe,
impl<I, X> Send for State<I, X>
impl<I, X> Sync for State<I, X>
impl<I, X> Unpin for State<I, X>
impl<I, X> UnwindSafe for State<I, X>where
I: UnwindSafe,
X: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more