Module Lwt_stream
module Lwt_stream: sig..end
Data streams
type 'a t
Type of a stream holding values of type 'a
Naming convention: in this module all function taking a function
which is applied to all element of the streams are suffixed by:
- _s when the function returns a thread and calls are serialised
- _p when the function returns a thread and calls are parallelised
Construction ¶
from f creates an stream from the given input function. f is
called each time more input is needed, and the stream ends when
f returns None.
val create : unit -> 'a t * ('a option -> unit)
create () returns a new stream and a push function
val of_list : 'a list -> 'a t
of_list l creates a stream returning all elements of l
val of_array : 'a array -> 'a t
of_array a creates a stream returning all elements of a
val of_string : string -> char t
of_string str creates a stream returning all characters of
str
clone st clone the given stream. Operations on each stream
will not affect the other.
For example:
# let st1 = Lwt_stream.of_list [1; 2; 3];; val st1 : int Lwt_stream.t = <abstr> # let st2 = Lwt_stream.clone st1;; val st2 : int Lwt_stream.t = <abstr> # lwt x = Lwt_stream.next st1;; val x : int = 1 # lwt y = Lwt_stream.next st2;; val y : int = 1
Destruction ¶
Returns the list of elements of the given stream
Returns the word composed of all characters of the given
stream
Data retreival ¶
exception Empty
Exception raised when trying to retreive data from an empty
stream.
peek st returns the first element of the stream, if any,
without removing it.
npeek n st returns at most the first n elements of st,
without removing them.
get st remove and returns the first element of the stream, if
any.
nget n st remove and returns at most the first n elements of
st.
get_while f st returns the longest prefix of st where all
elements satisfy f.
next st remove and returns the next element of the stream, of
fail with Lwt_stream.Empty if the stream is empty.
next_new st if no element are available on st without
sleeping, then it is the same as next st. Otherwise it removes
all elements of st that are ready except the last one, and
return it.
If fails with Lwt_stream.Empty if the stream has no more elements
junk st remove the first element of st.
njunk n st removes at most the first n elements of the
stream.
junk_while f st removes all elements at the beginning of the
streams which satisfy f.
junk_old st removes all elements that are ready to be read
without yeilding from st.
For example the read_password function of Lwt_read_line use
that to junk key previously typed by the user.
val get_available : 'a t -> 'a list
get_available l returns all available elements of l without
blocking
val get_available_up_to : int -> 'a t -> 'a list
get_available_up_to l n returns up to n elements of l
without blocking
is_empty enum returns wether the given stream is empty
Stream transversal ¶
Note: all the following functions are destructive.
For example:
# let st1 = Lwt_stream.of_list [1; 2; 3];; val st1 : int Lwt_stream.t = <abstr> # let st2 = Lwt_stream.map string_of_int st1;; val st2 : string Lwt_stream.t = <abstr> # lwt x = Lwt_stream.next st1;; val x : int = 1 # lwt y = Lwt_stream.next st2;; val y : string = "2"
choose l creates an stream from a list of streams. The
resulting stream will returns elements returned by any stream of
l in an unspecified order.
map f st maps the value returned by st with f
filter f st keeps only value x such that f x is true
filter_map f st filter and map st at the same time
map_list f st applies f on each element of st and flattens
the lists returned
fold f s x fold_like function for streams.
iter f s iterates over all elements of the stream
find f s find an element in a stream.
find f s find and map at the same time.
combine s1 s2 combine two streams. The stream will ends when
the first stream ends.
append s1 s2 returns a stream which returns all elements of
s1, then all elements of s2
concat st returns the concatenation of all streams of st.
flatten st = map_list (fun l -> l) st
Parsing ¶
parse st f parses st with f. If f raise an exception,
st is restored to its previous state.
Misc ¶
hexdump byte_stream returns a stream which is the same as the
output of hexdump -C.
Basically, here is a simple implementation of hexdump -C:
open Lwt open Lwt_io let () = Lwt_main.run (write_lines stdout (Lwt_stream.hexdump (read_lines stdin)))