package coq-core
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
md5=8d852367b54f095d9fbabd000304d450
    
    
  sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50
    
    
  doc/coq-core.gramlib/Gramlib/Stream/index.html
Module Gramlib.StreamSource
Streams and parsers.
The type of streams holding values of type 'a. Producing a new value needs an environment 'e.
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.
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.