From 3816e57fd2a8ab19e4ac6d4b3ddd5b49d5973ff2 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Thu, 12 May 2011 17:24:54 +0200
Subject: Downcase std modules again, move to :: for module dereferencing

This should be a snapshot transition.
---
 src/lib/option.rs | 60 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 src/lib/option.rs

(limited to 'src/lib/option.rs')

diff --git a/src/lib/option.rs b/src/lib/option.rs
new file mode 100644
index 00000000..78ed2fb3
--- /dev/null
+++ b/src/lib/option.rs
@@ -0,0 +1,60 @@
+// lib/option::rs
+
+tag t[T] {
+    none;
+    some(T);
+}
+
+type operator[T, U] = fn(&T) -> U;
+
+fn get[T](&t[T] opt) -> T {
+    alt (opt) {
+        case (some[T](?x)) {
+            ret x;
+        }
+        case (none[T]) {
+            fail;
+        }
+    }
+    fail;   // FIXME: remove me when exhaustiveness checking works
+}
+
+fn map[T, U](&operator[T, U] f, &t[T] opt) -> t[U] {
+    alt (opt) {
+        case (some[T](?x)) {
+            ret some[U](f(x));
+        }
+        case (none[T]) {
+            ret none[U];
+        }
+    }
+    fail;   // FIXME: remove me when exhaustiveness checking works
+}
+
+fn is_none[T](&t[T] opt) -> bool {
+    alt (opt) {
+        case (none[T])      { ret true; }
+        case (some[T](_))   { ret false; }
+    }
+}
+
+fn from_maybe[T](&T def, &t[T] opt) -> T {
+    auto f = bind util::id[T](_);
+    ret maybe[T, T](def, f, opt);
+}
+
+fn maybe[T, U](&U def, fn(&T) -> U f, &t[T] opt) -> U {
+    alt (opt) {
+        case (none[T]) { ret def; }
+        case (some[T](?t)) { ret f(t); }
+    }
+}
+// Local Variables:
+// mode: rust;
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+
-- 
cgit v1.2.3