Module F.Stream

Parameters

module A : S.ASYNC

Signature

type 'a ll =
  1. | Cons of 'a * unit -> 'a ll A.t
  2. | End
    (*

    a lazy list

    *)
val iter : ('a -> unit A.t) -> 'a ll -> unit A.t

iter f stream applies each element from stream to f in order.

val fold_left : ('a -> 'b -> 'a A.t) -> 'a -> 'b ll -> 'a A.t

fold_left f initial stream folds f across all the elements in the stream with neutral element initial

type 'a stream = {
  1. elements : 'a Element.t ll;
  2. size : size;
}

an image of a disk represented as a stream