Struct AtomStream 

pub struct AtomStream { /* private fields */ }

A parse source over an eagerly lexed token vector.

Backtracking runs through syan’s Tape, which owns the pushback and the checkpoint scopes, so this is a thin forwarding shim and nothing more.

Implementations

impl AtomStream

pub fn new(atoms: Vec<Atom>) -> Self

Trait Implementations

impl ParseStream for AtomStream

type Atom = WithSpan<Token, Span>

The unit of input this stream serves.

type Error = Infallible

What the underlying source reports when it fails; see get_error.

fn next(&mut self) -> Option<Self::Atom>

Consume and return the next atom, or None at end of input.

fn peek(&mut self) -> Option<&Self::Atom>

The atom next would return, without consuming it.

fn push(&mut self, atom: Self::Atom)

Hand an atom back; it is served before anything still unread.

fn checkpoint_raw(&mut self) -> u64

Open a transaction; the returned token identifies it.

fn rollback_raw(&mut self, raw: u64)

Undo everything consumed since raw was taken, and close that scope.

fn commit_raw(&mut self, raw: u64)

Keep everything consumed since raw was taken, and close that scope.

fn get_error(&mut self) -> Result<(), Self::Error>

Report an error the source has accumulated (a lexer that failed mid-stream, say), as opposed to a parse failure. Ok(()) for a source that cannot fail.

fn skip_sep(&mut self) -> bool

Skip the separator atoms if exists. Returns whether we skipped some separators.

fn validate_spacing<S>(&mut self, is_joint: bool) -> Result<(), ParseError<S>>

where S: Span, Self: Sized, Self::Atom: Spanned<Span = S>,

Check the spacing before the next atom: is_joint demands no separator here, false demands one. Fails with ParseError::Spacing if the input disagrees.

fn dup<T, E, F>(&mut self, f: F) -> Result<T, E>

where F: FnOnce(&mut Self) -> Result<T, E>, Self: Sized,

Run a sub-parser as a transaction on this stream.