simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

style and comments for the new CCList.map

Browse source
This commit is contained in:
Simon Cruanes 2017-10-05 11:59:03 +02:00
parent e2d20b61f0
commit 336ebe63f9
1 changed files with 16 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
src/core/CCList.ml
View file

@ -21,22 +21,26 @@ let is_empty = function
let direct_depth_default_ = 1000
let tail_map f l =
(* Unwind the list of tuples, reconstructing the full list front-to-back *)
let rec rise ys = function
| [] -> ys
(* Unwind the list of tuples, reconstructing the full list front-to-back.
@param tail_acc a suffix of the final list; we append tuples' content
at the front of it *)
let rec rebuild tail_acc = function
| [] -> tail_acc
| (y0, y1, y2, y3, y4, y5, y6, y7, y8) :: bs ->
rise (y0 :: y1 :: y2 :: y3 :: y4 :: y5 :: y6 :: y7 :: y8 :: ys) bs
rebuild (y0 :: y1 :: y2 :: y3 :: y4 :: y5 :: y6 :: y7 :: y8 :: tail_acc) bs
in
(* Create a compressed reverse-list representation using tuples *)
let rec dive acc = function
(* Create a compressed reverse-list representation using tuples
@param tuple_acc a reverse list of chunks mapped with [f] *)
let rec dive tuple_acc = function
| x0 :: x1 :: x2 :: x3 :: x4 :: x5 :: x6 :: x7 :: x8 :: xs ->
let y0 = f x0 in let y1 = f x1 in let y2 = f x2 in
let y3 = f x3 in let y4 = f x4 in let y5 = f x5 in
let y6 = f x6 in let y7 = f x7 in
dive ((y0, y1, y2, y3, y4, y5, y6, y7, f x8) :: acc) xs
let y6 = f x6 in let y7 = f x7 in let y8 = f x8 in
dive ((y0, y1, y2, y3, y4, y5, y6, y7, y8) :: tuple_acc) xs
| xs ->
(* Reverse direction, finishing off with a direct map *)
rise (List.map f xs) acc
let tail = List.map f xs in
rebuild tail tuple_acc
in
dive [] l