Programmation Fonctionnelle, TP3

(** This module provides a (minimal) data structure for possibly infinite lists *)
(** the type of infinite lists *)
type 'a t
(** A function to check whether a list is empty *)
val is_empty : 'a t -> bool
(** A function to returns the head and tail of an infinite list,
fails if the list is empty
*)
val read : 'a t -> 'a * 'a t
(** the [map] function for infinite lists (similar to [List.map]) *)
val map : ('a -> 'b) -> 'a t -> 'b t
(** the [flatten] function for infinite lists of finite lists (similat to [List.flatten]) *)
val flatten : 'a list t -> 'a t
(** A constructor for infinite char lists, returning the content of a channel
(Recall that [in_channel] is defined in [Pervasive])
*)
val of_in_channel : in_channel -> char t

Programmation Fonctionnelle, TP3 : stream_lzw.mli