From 50cc9f8d2c5710345e6198a984559963d2221110 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 28 Jun 2014 04:06:58 +0200
Subject: [PATCH] CCopt.pure

---
 core/CCOpt.ml  | 2 ++
 core/CCOpt.mli | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/core/CCOpt.ml b/core/CCOpt.ml
index 6ed63e5f..07be2451 100644
--- a/core/CCOpt.ml
+++ b/core/CCOpt.ml
@@ -64,6 +64,8 @@ let flat_map f o = match o with
   | None -> None
   | Some x -> f x
 
+let pure x = Some x
+
 let (<*>) f x = match f, x with
   | None, _
   | _, None -> None
diff --git a/core/CCOpt.mli b/core/CCOpt.mli
index a8d60d6e..2c0e1d4f 100644
--- a/core/CCOpt.mli
+++ b/core/CCOpt.mli
@@ -68,6 +68,9 @@ val sequence_l : 'a t list -> 'a list t
 
 (** {2 Applicative} *)
 
+val pure : 'a -> 'a t
+(** Alias to {!return} *)
+
 val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
 
 val (<$>) : ('a -> 'b) -> 'a t -> 'b t