- F = fun (N) -> N + 1 end,
- Xs = lists:seq(1, 5010),
- Ys = lists:map(F, Xs),
- Ys = hope_list:map(Xs, F),
- [] = hope_list:map([], F).
+ ?PROPTEST(map).
+
+map() ->
+ ?FORALL({L, F}, {list(integer()), function([integer()], term())},
+ hope_list:map(L, F) == lists:map(F, L)).