CCLazy_list
Lazy List
type +'a t = 'a node lazy_t
val empty : 'a t
Empty list.
val return : 'a -> 'a t
Return a computed value.
val is_empty : _ t -> bool
Evaluate the head.
val length : _ t -> int
length l
returns the number of elements in l
, eagerly (linear time). Caution, will not terminate if l
is infinite.
module Infix : sig ... end
val of_list : 'a list -> 'a t
val to_list : 'a t -> 'a list
val to_list_rev : 'a t -> 'a list