module LazyList: sig .. end
This module implements lazy lists.
type 'a t = 'a node Lazy.t
type 'a node =
| |
Nil |
| |
Cons of 'a * 'a t |
val nil : 'a t
val cons : 'a -> 'a t -> 'a t
val next : 'a t -> 'a node
val tl : 'a t -> 'a t
val hd : 'a t -> 'a
val one : 'a -> 'a t
val filter : ('a -> bool) -> 'a t -> 'a t
val flatten : 'a t list -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val concat : 'a t t -> 'a t
val iter : ('a -> unit) -> 'a t -> unit
val find : ('a -> bool) -> 'a t -> 'a
val exists : ('a -> bool) -> 'a t -> bool