---

yaml
---
r: 22585
b: refs/heads/master
c: e57745b
h: refs/heads/master
i:
  22583: 0273c9e
v: v3

Author: bblum

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 06c42b77d39ff0fa2e04b46aa7bc81bef0c1cfac
+refs/heads/master: e57745b48c6a032da10d497e2bee6c2b2a11637b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libcore/option.rs

@@ -37,12 +37,20 @@ pure fn expect<T: copy>(opt: option<T>, reason: ~str) -> T {
     alt opt { some(x) { x } none { fail reason; } }
 }
 
-pure fn map<T, U: copy>(opt: option<T>, f: fn(T) -> U) -> option<U> {
+pure fn map<T, U>(opt: option<T>, f: fn(T) -> U) -> option<U> {
     //! Maps a `some` value from one type to another
 
     alt opt { some(x) { some(f(x)) } none { none } }
 }
 
+pure fn map_consume<T, U>(-opt: option<T>, f: fn(-T) -> U) -> option<U> {
+    /*!
+     * As `map`, but consumes the option and gives `f` ownership to avoid
+     * copying.
+     */
+    if opt.is_some() { some(f(option::unwrap(opt))) } else { none }
+}
+
 pure fn chain<T, U>(opt: option<T>, f: fn(T) -> option<U>) -> option<U> {
     /*!
      * Update an optional value by optionally running its content through a
@@ -128,7 +136,7 @@ impl extensions<T> for option<T> {
     /// Returns true if the option contains some value
     pure fn is_some() -> bool { is_some(self) }
     /// Maps a `some` value from one type to another
-    pure fn map<U:copy>(f: fn(T) -> U) -> option<U> { map(self, f) }
+    pure fn map<U>(f: fn(T) -> U) -> option<U> { map(self, f) }
 }
 
 impl extensions<T: copy> for option<T> {