Streams and parsers.
The type of streams holding values of type
Raised by parsers when none of the first components of the stream patterns is accepted.
Raised by parsers when the first component of a stream pattern is accepted, but one of the following components is rejected.
Warning: these functions create streams with fast access; it is illegal
to mix them with streams built with
val from :
val of_list :
Return the stream holding the elements of the list in the same order.
val of_string :
Return the stream of the characters of the string parameter.
val of_channel :
Return the stream of the characters read from the input channel.
val iter :
val next :
Return the first element of the stream and remove it from the stream. Raise Stream.Failure if the stream is empty.
val empty :
val peek :
val junk :
Remove the first element of the stream, possibly unfreezing it before.
val count :
Return the current count of the stream elements, i.e. the number of the stream elements discarded.
val npeek :