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>where
I: StreamOnce,
X: Positioner<I::Item>,
impl<I, X> State<I, X>where I: StreamOnce, X: Positioner<I::Item>,
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>where
I: StreamOnce + DefaultPositioned,
I::Positioner: Positioner<I::Item>,
impl<I> State<I, I::Positioner>where I: StreamOnce + DefaultPositioned, I::Positioner: Positioner<I::Item>,
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: PartialEq, X: PartialEq> PartialEq for State<I, X>
impl<I: PartialEq, X: PartialEq> PartialEq for State<I, X>
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>>where
F: FnMut(I::Item) -> bool,
fn uncons_while<F>( &mut self, predicate: F ) -> Result<I::Range, StreamErrorFor<Self>>where F: FnMut(I::Item) -> bool,
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>>where
F: FnMut(Self::Item) -> bool,
fn uncons_while1<F>( &mut self, predicate: F ) -> FastResult<Self::Range, StreamErrorFor<Self>>where F: FnMut(Self::Item) -> bool,
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>where
I: Resetable,
X: Resetable,
impl<I, X> Resetable for State<I, X>where I: Resetable, X: Resetable,
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>,
§type Item = <I as StreamOnce>::Item
type Item = <I as StreamOnce>::Item
The type of items which is yielded from this stream.
§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.§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> RefUnwindSafe for State<I, X>where I: RefUnwindSafe, X: RefUnwindSafe,
impl<I, X> Send for State<I, X>where I: Send, X: Send,
impl<I, X> Sync for State<I, X>where I: Sync, X: Sync,
impl<I, X> Unpin for State<I, X>where I: Unpin, X: Unpin,
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