Via_parser (p.transept.0.1.0.doc.transept.stream.Transept_stream.Via

Parameters

module Parser : Transept_specs.PARSER

type 'a r

The abstract type used for the stream denotation.

module Build_via_stream : 
  Transept_specs.Stream.BUILDER
    with type 'a t = 'a Parser.t -> Parser.e Parser.Stream.t -> 'a r

The stream builder module with a parser as a source.

module Stream : 
  Transept_specs.STREAM
    with type 'a t = 'a r
     and module Builder = Build_via_stream

The stream module with a parser as a source.

include module type of Stream

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.