---

yaml
---
r: 23486
b: refs/heads/master
c: 6277046
h: refs/heads/master
v: v3

Author: bblum

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 4cfb92f4598a6571523bce8b72188df559e2a2b3
+refs/heads/master: 6277046fa0a5c119885ba33bcb6ac2f4fba0228f
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libcore/either.rs

@@ -109,6 +109,22 @@ pure fn is_right<T, U>(eith: &Either<T, U>) -> bool {
     match *eith { Right(_) => true, _ => false }
 }
 
+pure fn unwrap_left<T,U>(+eith: Either<T,U>) -> T {
+    //! Retrieves the value in the left branch. Fails if the either is Right.
+
+    match move eith {
+        Left(move x) => x, Right(_) => fail ~"either::unwrap_left Right"
+    }
+}
+
+pure fn unwrap_right<T,U>(+eith: Either<T,U>) -> U {
+    //! Retrieves the value in the right branch. Fails if the either is Left.
+
+    match move eith {
+        Right(move x) => x, Left(_) => fail ~"either::unwrap_right Left"
+    }
+}
+
 #[test]
 fn test_either_left() {
     let val = Left(10);