OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add Either::expect_{left,right}

Browse Source
This commit is contained in:
Ben Blum 2013-07-02 14:35:41 -04:00
parent 8d97c905dd
commit 96c1082f0f
1 changed files with 27 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/libstd/either.rs
View File

@ -18,6 +18,7 @@ use cmp::Eq;
use iterator::IteratorUtil;
use result::Result;
use result;
use str::StrSlice;
use vec;
use vec::{OwnedVector, ImmutableVector};
@ -121,22 +122,35 @@ pub fn is_right<T, U>(eith: &Either<T, U>) -> bool {
}
}
/// Retrieves the value in the left branch.
/// Fails with a specified reason if the either is Right.
#[inline]
pub fn expect_left<T,U>(eith: Either<T,U>, reason: &str) -> T {
match eith {
Left(x) => x,
Right(_) => fail!(reason.to_owned())
}
}
/// Retrieves the value in the left branch. Fails if the either is Right.
#[inline]
pub fn unwrap_left<T,U>(eith: Either<T,U>) -> T {
expect_left(eith, "either::unwrap_left Right")
}
/// Retrieves the value in the right branch.
/// Fails with a specified reason if the either is Left.
#[inline]
pub fn expect_right<T,U>(eith: Either<T,U>, reason: &str) -> U {
match eith {
Left(x) => x,
Right(_) => fail!("either::unwrap_left Right")
Right(x) => x,
Left(_) => fail!(reason.to_owned())
}
}
/// Retrieves the value in the right branch. Fails if the either is Left.
#[inline]
pub fn unwrap_right<T,U>(eith: Either<T,U>) -> U {
match eith {
Right(x) => x,
Left(_) => fail!("either::unwrap_right Left")
}
expect_right(eith, "either::unwrap_right Left")
}
impl<T, U> Either<T, U> {
@ -157,9 +171,15 @@ impl<T, U> Either<T, U> {
#[inline]
pub fn is_right(&self) -> bool { is_right(self) }
#[inline]
pub fn expect_left(self, reason: &str) -> T { expect_left(self, reason) }
#[inline]
pub fn unwrap_left(self) -> T { unwrap_left(self) }
#[inline]
pub fn expect_right(self, reason: &str) -> U { expect_right(self, reason) }
#[inline]
pub fn unwrap_right(self) -> U { unwrap_right(self) }
}