Module Via_parser.Stream

The stream module with a parser as a source.

type 'a t = 'a r

The abstract type used for the stream denotation.

module Builder = Build_via_stream
val build : 'a Builder.t

Build a fresh Stream using the parametric parser and a stream.

val position : 'a t -> int

Provides the current absolute position in the stream. This reflect the number of read elements from the stream.

val is_empty : 'a t -> bool

Predicate checking is the stream has at least one element or not.

val next : 'a t -> 'a option * 'a t

Provide the next token if possible and the next stream.