Richard W.M. Jones
b92f74458f
common/mlstdutils: Introduce Option submodule.
...
Inspired by ocaml-extlib, introduce a module for handling option
types.
We already had the ‘may’ function (which becomes ‘Option.may’). This
adds also ‘Option.map’ (unused), and ‘Option.default’ functions.
Note this does *not* introduce the unsafe ‘Option.get’ function from
extlib.
2017-10-12 16:31:47 +01:00
..
2016-07-14 15:40:42 +01:00
2017-10-05 11:32:54 +01:00
2017-09-21 18:05:07 +01:00
2017-09-28 14:39:23 +01:00
2014-01-28 15:04:38 +01:00
2016-02-04 10:22:18 +01:00
2017-09-28 14:39:23 +01:00
2016-02-04 10:22:18 +01:00
2015-05-15 19:08:36 +01:00
2017-07-24 11:46:22 +01:00
2016-02-04 10:22:18 +01:00
2017-09-28 14:39:23 +01:00
2015-05-15 19:08:36 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2015-05-15 19:08:36 +01:00
2017-09-28 14:39:23 +01:00
2017-07-24 11:46:22 +01:00
2016-12-15 09:37:01 +01:00
2015-05-15 19:08:36 +01:00
2015-07-29 13:47:08 +02:00
2016-02-04 10:22:18 +01:00
2017-09-28 14:39:23 +01:00
2017-09-28 14:39:23 +01:00
2017-08-01 16:06:48 +02:00
2017-09-28 14:39:23 +01:00
2016-02-04 10:22:18 +01:00
2016-12-14 17:23:11 +00:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2015-05-15 19:08:36 +01:00
2017-07-24 11:46:22 +01:00
2016-02-04 10:22:18 +01:00
2017-09-28 14:39:23 +01:00
2015-05-15 19:08:36 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2016-02-04 10:22:18 +01:00
2017-03-31 10:38:04 +01:00
2017-09-28 14:39:23 +01:00
2017-03-31 10:38:04 +01:00
2015-05-15 19:08:36 +01:00
2017-10-12 16:31:47 +01:00
2017-09-28 14:39:23 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2016-12-14 17:23:11 +00:00
2016-12-14 17:23:11 +00:00
2017-04-04 18:47:37 +01:00