Add Option.some
This commit is contained in:
parent
0f2cf323df
commit
d15974c4ea
|
@ -31,6 +31,8 @@ let value_exn = function
|
||||||
| Some x -> x
|
| Some x -> x
|
||||||
| None -> invalid_arg "Option.value_exn"
|
| None -> invalid_arg "Option.value_exn"
|
||||||
|
|
||||||
|
let some x = Some x
|
||||||
|
|
||||||
let some_if cond x =
|
let some_if cond x =
|
||||||
if cond then Some x else None
|
if cond then Some x else None
|
||||||
|
|
||||||
|
|
|
@ -17,6 +17,7 @@ val iter : 'a t -> f:('a -> unit) -> unit
|
||||||
val value : 'a t -> default:'a -> 'a
|
val value : 'a t -> default:'a -> 'a
|
||||||
val value_exn : 'a t -> 'a
|
val value_exn : 'a t -> 'a
|
||||||
|
|
||||||
|
val some : 'a -> 'a t
|
||||||
val some_if : bool -> 'a -> 'a t
|
val some_if : bool -> 'a -> 'a t
|
||||||
|
|
||||||
val is_some : _ t -> bool
|
val is_some : _ t -> bool
|
||||||
|
|
Loading…
Reference in New Issue