simon/iter
1
0
Fork 0
mirror of https://github.com/c-cube/iter.git synced 2025-12-06 03:05:29 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #5 from Drup/master

Browse source 
Add on_list.
This commit is contained in:
Simon Cruanes 2014-08-08 20:58:30 +02:00
commit 4ae9e77db3
2 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
sequence.ml
View file

@ -436,14 +436,17 @@ let to_list seq = List.rev (fold (fun y x -> x::y) [] seq)
let to_rev_list seq = fold (fun y x -> x :: y) [] seq let to_rev_list seq = fold (fun y x -> x :: y) [] seq
let of_list l k = List.iter k l
let on_list f l =
to_list (f (of_list l))
let to_opt = head let to_opt = head
let of_opt o k = match o with let of_opt o k = match o with
| None -> () | None -> ()
| Some x -> k x | Some x -> k x
let of_list l k = List.iter k l
let to_array seq = let to_array seq =
let l = MList.of_seq seq in let l = MList.of_seq seq in
let n = MList.length l in let n = MList.length l in
@ -767,5 +770,3 @@ module IO = struct
let write_lines ?mode ?flags filename seq = let write_lines ?mode ?flags filename seq =
write_to ?mode ?flags filename (snoc (intersperse "\n" seq) "\n") write_to ?mode ?flags filename (snoc (intersperse "\n" seq) "\n")
end end

5
sequence.mli
View file

@ -319,6 +319,11 @@ val to_rev_list : 'a t -> 'a list
val of_list : 'a list -> 'a t val of_list : 'a list -> 'a t
val on_list : ('a t -> 'b t) -> 'a list -> 'b list
(** [on_list f l] is equivalent to [to_list @@ f @@ of_list l].
@since NEXT_RELEASE
*)
val to_opt : 'a t -> 'a option val to_opt : 'a t -> 'a option
(** Alias to {!head} (** Alias to {!head}
@since NEXT_RELEASE *) @since NEXT_RELEASE *)