Add concatMap and equivalent of zip

joinMap <=> concatMap
List.map2 x y Pair <=> zip

Signed-off-by: Aurélien Geron <ageron@users.noreply.github.com>
This commit is contained in:
Aurélien Geron 2024-07-30 21:37:25 +12:00 committed by GitHub
parent 8888e0a7a5
commit f0c4415eab
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -112,6 +112,7 @@
<td><a href="/builtins/List#joinMap">List.joinMap</a></td>
<td>
<ul>
<li>concatMap</li>
<li>filterMap</li>
<li>filter_map</li>
</ul>
@ -137,6 +138,14 @@
</ul>
</td>
</tr>
<tr>
<td><a href="/builtins/List#map2">List.map2 x y Pair</a></td>
<td>
<ul>
<li>zip</li>
</ul>
</td>
</tr>
</tbody>
</table>
</main>