From d15974c4eacd60e886f1670efdafdeef22c59bdb Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 1 Mar 2018 20:17:12 +0000 Subject: [PATCH] Add Option.some --- src/stdune/option.ml | 2 ++ src/stdune/option.mli | 1 + 2 files changed, 3 insertions(+) diff --git a/src/stdune/option.ml b/src/stdune/option.ml index 44783824..6280f4d9 100644 --- a/src/stdune/option.ml +++ b/src/stdune/option.ml @@ -31,6 +31,8 @@ let value_exn = function | Some x -> x | None -> invalid_arg "Option.value_exn" +let some x = Some x + let some_if cond x = if cond then Some x else None diff --git a/src/stdune/option.mli b/src/stdune/option.mli index 9faea03d..30385045 100644 --- a/src/stdune/option.mli +++ b/src/stdune/option.mli @@ -17,6 +17,7 @@ val iter : 'a t -> f:('a -> unit) -> unit val value : 'a t -> default:'a -> 'a val value_exn : 'a t -> 'a +val some : 'a -> 'a t val some_if : bool -> 'a -> 'a t val is_some : _ t -> bool