Add list_head_opt and list_tail_opt
Add two new function:
- List.head_opt
- List.tail_opt
which returns none if the list is empty and respectively hd and tl if the list is CONS (hd,tl)
fix #1058 (closed)
Edited by Pierre-Emmanuel Wulfman
The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost. The third breaking change window begins 2024-05-06 09:00 UTC and ends 2024-05-08 22:00 UTC.
Add two new function:
which returns none if the list is empty and respectively hd and tl if the list is CONS (hd,tl)
fix #1058 (closed)