package coq-core
Install
Dune Dependency
Authors
Maintainers
Sources
md5=13d2793fc6413aac5168822313e4864e
sha512=ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42
doc/coq-core.gramlib/Gramlib/Stream/index.html
Module Gramlib.Stream
Source
Streams and parsers.
The type of streams holding values of type 'a
. Producing a new value needs an environment 'e
.
Raised by streams when trying to access beyond their end.
Stream builders
Stream.from f
returns a stream built from the function f
. To create a new stream element, the function f
is called. The user function f
must return either Some <value>
for a value or None
to specify the end of the stream. offset
will initialize the stream count
to start with offset
consumed items, which is useful for some uses cases such as parsing resumption.
Return the stream holding the elements of the list in the same order.
Return the stream of the characters of the string parameter. If set. offset
parameter is similar to from
.
Return the stream of the characters read from the input channel.
Predefined parsers
Return the first element of the stream and remove it from the stream.
Useful functions
Return Some
of "the first element" of the stream, or None
if the stream is empty.
Remove the first element of the stream, possibly unfreezing it before.
Return the current count of the stream elements, i.e. the number of the stream elements discarded.
npeek e n
returns the list of the n
first elements of the stream, or all its remaining elements if less than n
elements are available.