Module Stdlib.Stream
Contents
Instructions: Use this module in your project
In the IDE (CLion, Visual Studio Code, Xcode, etc.) you use for your DkSDK project:
Add the following to your project's
dependencies/CMakeLists.txt
:DkSDKProject_DeclareAvailable(ocaml CONSTRAINT "= 4.14.0" FINDLIBS str unix runtime_events threads dynlink) DkSDKProject_MakeAvailable(ocaml)
Add the
Findlib::ocaml
library to any desired targets insrc/*/CMakeLists.txt
:target_link_libraries(YourPackage_YourLibraryName # ... existing libraries, if any ... Findlib::ocaml)
Click your IDE's
Build
button
Not using DkSDK?
FIRST, do one or all of the following:
Run:
opam install ocaml.4.14.0
Edit your
dune-project
and add:(package (name YourExistingPackage) (depends ; ... existing dependenices ... (ocaml (>= 4.14.0))))
Then run:
dune build *.opam # if this fails, run: dune build
Edit your
<package>.opam
file and add:depends: [ # ... existing dependencies ... "ocaml" {>= "4.14.0"} ]
Then run:
opam install . --deps-only
FINALLY, add the library to any desired
(library)
and/or (executable)
targets in your **/dune
files:
(library
(name YourLibrary)
; ... existing library options ...
(libraries
; ... existing libraries ...
))
(executable
(name YourExecutable)
; ... existing executable options ...
(libraries
; ... existing libraries ...
))
type
``!'a t
The type of streams holding values of type 'a
.
exception
Failure
Raised by parsers when none of the first components of the stream patterns is accepted.
exception
Error
of
string
Raised by parsers when the first component of a stream pattern is accepted, but one of the following components is rejected.
Stream builders
val
from : ``(``int
->
'a
option``)``
->
'a
t
Stream.from f
returns a stream built from the function f
. To create
a new stream element, the function f
is called with the current stream
count. The user function f
must return either Some <value>
for a
value or None
to specify the end of the stream.
Do note that the indices passed to f
may not start at 0
in the
general case. For example, [< '0; '1; Stream.from f >]
would call f
the first time with count 2
.
val
of_list :
'a
list``
->
'a
t
Return the stream holding the elements of the list in the same order.
val
of_string : ``string
->
``char
t
Return the stream of the characters of the string parameter.
val
of_bytes : ``bytes
->
``char
t
Return the stream of the characters of the bytes parameter.
- since 4.02.0
val
of_channel :
in_channel
->
``char
t
Return the stream of the characters read from the input channel.
Stream iterator
val
iter : ``(
'a
->
unit)``
->
'a
t
->
unit
Stream.iter f s
scans the whole stream s, applying function f
in
turn to each stream element encountered.
Predefined parsers
val
next :
'a
t
->
'a
Return the first element of the stream and remove it from the stream.
-
raises Stream.Failure
if the stream is empty.
val
empty :
'a
t
->
unit
Return ()
if the stream is empty, else raise
Stream.Failure
.
Useful functions
val
peek :
'a
t
->
'a
option
Return Some
of "the first element" of the stream, or None
if the
stream is empty.
val
junk :
'a
t
->
unit
Remove the first element of the stream, possibly unfreezing it before.
val
count :
'a
t
->
int
Return the current count of the stream elements, i.e. the number of the stream elements discarded.
val
npeek : ``int
->
'a
t
->
'a
list
npeek n
returns the list of the n
first elements of the stream, or
all its remaining elements if less than n
elements are available.