From 225068497c5fd41da12030a6bbf58a0fc9c294d0 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 9 Aug 2020 14:44:02 +0200
Subject: Import from CSV

---
 src/Lib/Option.ml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/Lib/Option.ml

(limited to 'src/Lib/Option.ml')

diff --git a/src/Lib/Option.ml b/src/Lib/Option.ml
new file mode 100644
index 0000000..1158b96
--- /dev/null
+++ b/src/Lib/Option.ml
@@ -0,0 +1,9 @@
+let withDefault default opt =
+  match opt with
+  | Some v -> v
+  | None -> default
+
+let map f opt =
+  match opt with
+  | Some v -> Some (f v)
+  | None -> None
-- 
cgit v1.2.3