Commits

camlspotter committed 4b13721 Merge

Comments (0)

Files changed (2)

 
 val none : filter
 (** returns none *)
+(** [none t] returns [nil] *)
 
 val keep : filter
 (** returns the entire tree *)
+(** [keep t] returns [singleton t] *)
 
 val atom : filter
 (** returns the tree if it is an Atom *)
 val nil : 'a t
 val cons : 'a -> 'a t -> 'a t
 val (^^) : 'a -> 'a t -> 'a t
+(** Same as [cons] *)
 
 val is_nil : 'a t -> bool
 
 val hd : 'a t -> 'a option
 val tl : 'a t -> 'a t option
 val hd_tl : 'a t -> ('a * 'a t) option
+(** Deconstruction *)
 
 val npeek : 'a t -> int -> 'a list
 val of_list : 'a list -> 'a t
+
 val create : (unit -> 'a option) -> 'a t
+(** Iterative creation of lazy list *)
+
 val singleton : 'a -> 'a t
 val is_singleton : 'a t -> 'a list
 val map : f:('a -> 'b) -> 'a t -> 'b t