Struct Input

pub struct Input { /* private fields */ }

Implementations

impl Input

pub fn is_empty(&self) -> bool

Returns true if the input contains no more tokens.

pub fn with_lookahead( self, k: usize, ) -> BufferedStream<State<Input, SpanPosition>>

Wraps the input in a BufferedStream that supports lookahead grammars.

By default combine produces an LL(1) parser, unless the attempt combinator is used, so 1 is the recommended default value for k.

Trait Implementations

impl DefaultPositioned for Input

type Positioner = SpanPosition

impl From<Input> for TokenStream

fn from(input: Input) -> TokenStream

Converts to this type from the input type.

impl From<TokenStream> for Input

fn from(stream: TokenStreamBuiltin) -> Input

Converts to this type from the input type.

impl From<TokenStream> for Input

fn from(stream: TokenStream) -> Input

Converts to this type from the input type.

impl Positioned for Input

fn position(&self) -> Self::Position

Returns the current position of the stream.

impl StreamOnce for Input

type Item = Token

The type of items which is yielded from this stream.

type Range = <Input as StreamOnce>::Item

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 = usize

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 = Error<<Input as StreamOnce>::Item, <Input as StreamOnce>::Range>

fn uncons(&mut self) -> Result<Self::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.

fn is_partial(&self) -> bool

Returns true if this stream only contains partial input.