package json-data-encoding

  1. Overview
  2. Docs
val map_pure : ('a -> 'b) -> 'a list -> 'b list

Tail-recursive alternative.

This map function is the one described in

CAVEAT: The order of application of the function to the elements of the list is different from that of The function is applied in reverse order of the elements in the list. In other words:

map_pure f l is equivalent to List.rev_map f (List.rev l)

Considering this caveat, it is recommended to use this mapping function with a pure function as argument. This is why the name map_pure is chosen.

val mapi_pure : (int -> 'a -> 'b) -> 'a list -> 'b list
val append : 'a list -> 'a list -> 'a list

append is a tail-rec variant of List.append. It special cases small lists, and then it switches to List.rev_append.


Innovation. Community. Security.