2012-07-04 16:53:12 -05:00
|
|
|
//! A type representing either success or failure
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
// NB: transitionary, de-mode-ing.
|
2012-10-03 16:52:09 -05:00
|
|
|
|
|
|
|
#[forbid(deprecated_mode)];
|
2012-09-25 18:23:04 -05:00
|
|
|
#[forbid(deprecated_pattern)];
|
|
|
|
|
2012-09-04 13:12:17 -05:00
|
|
|
use cmp::Eq;
|
|
|
|
use either::Either;
|
2012-03-16 17:14:37 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// The result type
|
2012-10-01 18:36:15 -05:00
|
|
|
pub enum Result<T, U> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Contains the successful result value
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(T),
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Contains the error value
|
2012-08-26 18:54:31 -05:00
|
|
|
Err(U)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Get the value out of a successful result
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* If the result is an error
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn get<T: Copy, U>(res: &Result<T, U>) -> T {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy t) => t,
|
|
|
|
Err(ref the_err) => unsafe {
|
|
|
|
fail fmt!("get called on error result: %?", *the_err)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-26 13:50:21 -05:00
|
|
|
/**
|
|
|
|
* Get a reference to the value out of a successful result
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* If the result is an error
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn get_ref<T, U>(res: &a/Result<T, U>) -> &a/T {
|
2012-08-26 13:50:21 -05:00
|
|
|
match *res {
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(ref t) => t,
|
2012-09-18 13:17:40 -05:00
|
|
|
Err(ref the_err) => unsafe {
|
2012-09-28 15:00:07 -05:00
|
|
|
fail fmt!("get_ref called on error result: %?", *the_err)
|
2012-08-26 13:50:21 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Get the value out of an error result
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* If the result is not an error
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn get_err<T, U: Copy>(res: &Result<T, U>) -> U {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(copy u) => u,
|
2012-08-30 15:05:52 -05:00
|
|
|
Ok(_) => fail ~"get_err called on ok result"
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the result is `ok`
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn is_ok<T, U>(res: &Result<T, U>) -> bool {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(_) => true,
|
|
|
|
Err(_) => false
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the result is `err`
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn is_err<T, U>(res: &Result<T, U>) -> bool {
|
2012-06-22 20:26:25 -05:00
|
|
|
!is_ok(res)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Convert to the `either` type
|
|
|
|
*
|
|
|
|
* `ok` result variants are converted to `either::right` variants, `err`
|
|
|
|
* result variants are converted to `either::left`.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub pure fn to_either<T: Copy, U: Copy>(res: &Result<U, T>)
|
|
|
|
-> Either<T, U> {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy res) => either::Right(res),
|
|
|
|
Err(copy fail_) => either::Left(fail_)
|
2011-12-16 09:31:35 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `ok` then the value is extracted and passed to `op` whereupon
|
|
|
|
* `op`s result is returned. if `res` is `err` then it is immediately
|
|
|
|
* returned. This function can be used to compose the results of two
|
|
|
|
* functions.
|
|
|
|
*
|
|
|
|
* Example:
|
|
|
|
*
|
|
|
|
* let res = chain(read_file(file)) { |buf|
|
2012-09-14 11:55:33 -05:00
|
|
|
* ok(parse_bytes(buf))
|
2012-07-04 16:53:12 -05:00
|
|
|
* }
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn chain<T, U: Copy, V: Copy>(res: Result<T, V>, op: fn(t: T)
|
2012-09-25 21:12:50 -05:00
|
|
|
-> Result<U, V>) -> Result<U, V> {
|
2012-10-11 16:14:46 -05:00
|
|
|
match move res {
|
|
|
|
Ok(move t) => op(t),
|
|
|
|
Err(move e) => Err(e)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `err` then the value is extracted and passed to `op`
|
|
|
|
* whereupon `op`s result is returned. if `res` is `ok` then it is
|
|
|
|
* immediately returned. This function can be used to pass through a
|
|
|
|
* successful result while handling an error.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn chain_err<T: Copy, U: Copy, V: Copy>(
|
2012-10-02 13:37:37 -05:00
|
|
|
res: Result<T, V>,
|
|
|
|
op: fn(t: V) -> Result<T, U>)
|
2012-08-26 18:54:31 -05:00
|
|
|
-> Result<T, U> {
|
2012-09-28 15:00:07 -05:00
|
|
|
match move res {
|
|
|
|
Ok(move t) => Ok(t),
|
|
|
|
Err(move v) => op(v)
|
2012-03-22 22:06:01 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `ok` then the value is extracted and passed to `op` whereupon
|
|
|
|
* `op`s result is returned. if `res` is `err` then it is immediately
|
|
|
|
* returned. This function can be used to compose the results of two
|
|
|
|
* functions.
|
|
|
|
*
|
|
|
|
* Example:
|
|
|
|
*
|
|
|
|
* iter(read_file(file)) { |buf|
|
|
|
|
* print_buf(buf)
|
|
|
|
* }
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn iter<T, E>(res: &Result<T, E>, f: fn((&T))) {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref t) => f(t),
|
2012-08-26 18:54:31 -05:00
|
|
|
Err(_) => ()
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `err` then the value is extracted and passed to `op` whereupon
|
|
|
|
* `op`s result is returned. if `res` is `ok` then it is immediately returned.
|
|
|
|
* This function can be used to pass through a successful result while
|
|
|
|
* handling an error.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn iter_err<T, E>(res: &Result<T, E>, f: fn((&E))) {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(_) => (),
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(ref e) => f(e)
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `ok` then the value is extracted and passed to `op` whereupon
|
|
|
|
* `op`s result is wrapped in `ok` and returned. if `res` is `err` then it is
|
|
|
|
* immediately returned. This function can be used to compose the results of
|
|
|
|
* two functions.
|
|
|
|
*
|
|
|
|
* Example:
|
|
|
|
*
|
|
|
|
* let res = map(read_file(file)) { |buf|
|
2012-09-14 11:55:33 -05:00
|
|
|
* parse_bytes(buf)
|
2012-07-04 16:53:12 -05:00
|
|
|
* }
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn map<T, E: Copy, U: Copy>(res: &Result<T, E>, op: fn((&T)) -> U)
|
2012-08-26 18:54:31 -05:00
|
|
|
-> Result<U, E> {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref t) => Ok(op(t)),
|
|
|
|
Err(copy e) => Err(e)
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Call a function based on a previous result
|
|
|
|
*
|
|
|
|
* If `res` is `err` then the value is extracted and passed to `op` whereupon
|
|
|
|
* `op`s result is wrapped in an `err` and returned. if `res` is `ok` then it
|
|
|
|
* is immediately returned. This function can be used to pass through a
|
|
|
|
* successful result while handling an error.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn map_err<T: Copy, E, F: Copy>(res: &Result<T, E>, op: fn((&E)) -> F)
|
2012-08-26 18:54:31 -05:00
|
|
|
-> Result<T, F> {
|
2012-09-25 18:23:04 -05:00
|
|
|
match *res {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy t) => Ok(t),
|
|
|
|
Err(ref e) => Err(op(e))
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-26 18:54:31 -05:00
|
|
|
impl<T, E> Result<T, E> {
|
2012-09-25 18:23:04 -05:00
|
|
|
fn is_ok() -> bool { is_ok(&self) }
|
2012-04-01 17:44:01 -05:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
fn is_err() -> bool { is_err(&self) }
|
2012-04-01 17:44:01 -05:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
fn iter(f: fn((&T))) {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref t) => f(t),
|
2012-08-26 18:54:31 -05:00
|
|
|
Err(_) => ()
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
fn iter_err(f: fn((&E))) {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self {
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(_) => (),
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(ref e) => f(e)
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
2012-06-22 19:32:52 -05:00
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<T: Copy, E> Result<T, E> {
|
2012-09-25 18:23:04 -05:00
|
|
|
fn get() -> T { get(&self) }
|
2012-06-22 19:32:52 -05:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
fn map_err<F:Copy>(op: fn((&E)) -> F) -> Result<T,F> {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy t) => Ok(t),
|
|
|
|
Err(ref e) => Err(op(e))
|
2012-06-22 19:32:52 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<T, E: Copy> Result<T, E> {
|
2012-09-25 18:23:04 -05:00
|
|
|
fn get_err() -> E { get_err(&self) }
|
2012-05-26 22:33:08 -05:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
fn map<U:Copy>(op: fn((&T)) -> U) -> Result<U,E> {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref t) => Ok(op(t)),
|
|
|
|
Err(copy e) => Err(e)
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
}
|
2012-06-22 19:32:52 -05:00
|
|
|
}
|
2012-05-26 22:33:08 -05:00
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<T: Copy, E: Copy> Result<T, E> {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn chain<U:Copy>(op: fn(t: T) -> Result<U,E>) -> Result<U,E> {
|
2012-09-25 18:23:04 -05:00
|
|
|
// XXX: Bad copy
|
|
|
|
chain(copy self, op)
|
2012-06-22 19:32:52 -05:00
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn chain_err<F:Copy>(op: fn(t: E) -> Result<T,F>) -> Result<T,F> {
|
2012-09-25 18:23:04 -05:00
|
|
|
// XXX: Bad copy
|
|
|
|
chain_err(copy self, op)
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
2012-03-25 15:54:05 -05:00
|
|
|
}
|
2012-03-13 19:46:16 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Maps each element in the vector `ts` using the operation `op`. Should an
|
|
|
|
* error occur, no further mappings are performed and the error is returned.
|
|
|
|
* Should no error occur, a vector containing the result of each map is
|
|
|
|
* returned.
|
|
|
|
*
|
|
|
|
* Here is an example which increments every integer in a vector,
|
|
|
|
* checking for overflow:
|
|
|
|
*
|
|
|
|
* fn inc_conditionally(x: uint) -> result<uint,str> {
|
2012-08-01 19:30:05 -05:00
|
|
|
* if x == uint::max_value { return err("overflow"); }
|
|
|
|
* else { return ok(x+1u); }
|
2012-07-04 16:53:12 -05:00
|
|
|
* }
|
2012-07-11 18:49:02 -05:00
|
|
|
* map(~[1u, 2u, 3u], inc_conditionally).chain {|incd|
|
|
|
|
* assert incd == ~[2u, 3u, 4u];
|
2012-07-04 16:53:12 -05:00
|
|
|
* }
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn map_vec<T,U:Copy,V:Copy>(
|
2012-09-18 23:41:37 -05:00
|
|
|
ts: &[T], op: fn((&T)) -> Result<V,U>) -> Result<~[V],U> {
|
2012-04-20 17:46:57 -05:00
|
|
|
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut vs: ~[V] = vec::with_capacity(vec::len(ts));
|
2012-09-18 23:41:13 -05:00
|
|
|
for vec::each(ts) |t| {
|
2012-08-06 14:34:08 -05:00
|
|
|
match op(t) {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy v) => vs.push(v),
|
|
|
|
Err(copy u) => return Err(u)
|
2012-03-13 19:46:16 -05:00
|
|
|
}
|
|
|
|
}
|
2012-09-10 14:14:14 -05:00
|
|
|
return Ok(move vs);
|
2012-03-13 19:46:16 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn map_opt<T,U:Copy,V:Copy>(
|
2012-09-25 18:23:04 -05:00
|
|
|
o_t: &Option<T>, op: fn((&T)) -> Result<V,U>) -> Result<Option<V>,U> {
|
2012-04-20 17:46:57 -05:00
|
|
|
|
2012-09-25 18:23:04 -05:00
|
|
|
match *o_t {
|
2012-08-26 18:54:31 -05:00
|
|
|
None => Ok(None),
|
2012-09-28 15:00:07 -05:00
|
|
|
Some(ref t) => match op(t) {
|
|
|
|
Ok(copy v) => Ok(Some(v)),
|
|
|
|
Err(copy e) => Err(e)
|
2012-04-20 17:46:57 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Same as map, but it operates over two parallel vectors.
|
|
|
|
*
|
|
|
|
* A precondition is used here to ensure that the vectors are the same
|
|
|
|
* length. While we do not often use preconditions in the standard
|
|
|
|
* library, a precondition is used here because result::t is generally
|
|
|
|
* used in 'careful' code contexts where it is both appropriate and easy
|
|
|
|
* to accommodate an error like the vectors being of different lengths.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn map_vec2<S,T,U:Copy,V:Copy>(ss: &[S], ts: &[T],
|
2012-09-25 21:12:50 -05:00
|
|
|
op: fn((&S),(&T)) -> Result<V,U>) -> Result<~[V],U> {
|
2012-03-25 15:54:05 -05:00
|
|
|
|
2012-07-13 20:43:52 -05:00
|
|
|
assert vec::same_length(ss, ts);
|
2012-03-13 19:46:16 -05:00
|
|
|
let n = vec::len(ts);
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut vs = vec::with_capacity(n);
|
2012-03-13 19:46:16 -05:00
|
|
|
let mut i = 0u;
|
|
|
|
while i < n {
|
2012-09-25 18:23:04 -05:00
|
|
|
match op(&ss[i],&ts[i]) {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(copy v) => vs.push(v),
|
|
|
|
Err(copy u) => return Err(u)
|
2012-03-13 19:46:16 -05:00
|
|
|
}
|
|
|
|
i += 1u;
|
|
|
|
}
|
2012-09-10 14:14:14 -05:00
|
|
|
return Ok(move vs);
|
2012-03-13 19:46:16 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Applies op to the pairwise elements from `ss` and `ts`, aborting on
|
|
|
|
* error. This could be implemented using `map2()` but it is more efficient
|
|
|
|
* on its own as no result vector is built.
|
|
|
|
*/
|
2012-10-01 18:36:15 -05:00
|
|
|
pub fn iter_vec2<S,T,U:Copy>(ss: &[S], ts: &[T],
|
2012-09-25 18:23:04 -05:00
|
|
|
op: fn((&S),(&T)) -> Result<(),U>) -> Result<(),U> {
|
2012-03-25 15:54:05 -05:00
|
|
|
|
2012-07-13 20:43:52 -05:00
|
|
|
assert vec::same_length(ss, ts);
|
2012-03-22 22:06:01 -05:00
|
|
|
let n = vec::len(ts);
|
|
|
|
let mut i = 0u;
|
|
|
|
while i < n {
|
2012-09-25 18:23:04 -05:00
|
|
|
match op(&ss[i],&ts[i]) {
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok(()) => (),
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(copy u) => return Err(u)
|
2012-03-22 22:06:01 -05:00
|
|
|
}
|
|
|
|
i += 1u;
|
|
|
|
}
|
2012-08-26 18:54:31 -05:00
|
|
|
return Ok(());
|
2012-03-22 22:06:01 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Unwraps a result, assuming it is an `ok(T)`
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn unwrap<T, U>(res: Result<T, U>) -> T {
|
2012-08-30 17:54:05 -05:00
|
|
|
match move res {
|
2012-09-10 14:14:14 -05:00
|
|
|
Ok(move t) => move t,
|
2012-08-30 17:54:05 -05:00
|
|
|
Err(_) => fail ~"unwrap called on an err result"
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-05-02 18:19:30 -05:00
|
|
|
}
|
|
|
|
|
2012-08-30 17:54:16 -05:00
|
|
|
/// Unwraps a result, assuming it is an `err(U)`
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn unwrap_err<T, U>(res: Result<T, U>) -> U {
|
2012-08-30 17:54:16 -05:00
|
|
|
match move res {
|
2012-09-10 14:14:14 -05:00
|
|
|
Err(move u) => move u,
|
2012-08-30 17:54:16 -05:00
|
|
|
Ok(_) => fail ~"unwrap called on an ok result"
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T:Eq,U:Eq> Result<T,U> : Eq {
|
|
|
|
pure fn eq(other: &Result<T,U>) -> bool {
|
|
|
|
match self {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref e0a) => {
|
2012-09-19 20:00:26 -05:00
|
|
|
match (*other) {
|
2012-09-28 15:00:07 -05:00
|
|
|
Ok(ref e0b) => *e0a == *e0b,
|
2012-09-19 20:00:26 -05:00
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(ref e0a) => {
|
2012-09-19 20:00:26 -05:00
|
|
|
match (*other) {
|
2012-09-28 15:00:07 -05:00
|
|
|
Err(ref e0b) => *e0a == *e0b,
|
2012-09-19 20:00:26 -05:00
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
pure fn ne(other: &Result<T,U>) -> bool { !self.eq(other) }
|
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[cfg(test)]
|
2012-09-02 18:34:20 -05:00
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
2012-01-17 19:28:21 -06:00
|
|
|
mod tests {
|
2012-09-21 20:10:45 -05:00
|
|
|
#[legacy_exports];
|
2012-08-26 18:54:31 -05:00
|
|
|
fn op1() -> result::Result<int, ~str> { result::Ok(666) }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn op2(i: int) -> result::Result<uint, ~str> {
|
2012-08-26 18:54:31 -05:00
|
|
|
result::Ok(i as uint + 1u)
|
2012-03-13 16:39:28 -05:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-08-26 18:54:31 -05:00
|
|
|
fn op3() -> result::Result<int, ~str> { result::Err(~"sadface") }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn chain_success() {
|
2012-09-25 18:23:04 -05:00
|
|
|
assert get(&chain(op1(), op2)) == 667u;
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn chain_failure() {
|
2012-09-25 18:23:04 -05:00
|
|
|
assert get_err(&chain(op3(), op2)) == ~"sadface";
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
2012-05-26 22:33:08 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_impl_iter() {
|
|
|
|
let mut valid = false;
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok::<~str, ~str>(~"a").iter(|_x| valid = true);
|
2012-05-26 22:33:08 -05:00
|
|
|
assert valid;
|
|
|
|
|
2012-08-26 18:54:31 -05:00
|
|
|
Err::<~str, ~str>(~"b").iter(|_x| valid = false);
|
2012-05-26 22:33:08 -05:00
|
|
|
assert valid;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_impl_iter_err() {
|
|
|
|
let mut valid = true;
|
2012-08-26 18:54:31 -05:00
|
|
|
Ok::<~str, ~str>(~"a").iter_err(|_x| valid = false);
|
2012-05-26 22:33:08 -05:00
|
|
|
assert valid;
|
|
|
|
|
|
|
|
valid = false;
|
2012-08-26 18:54:31 -05:00
|
|
|
Err::<~str, ~str>(~"b").iter_err(|_x| valid = true);
|
2012-05-26 22:33:08 -05:00
|
|
|
assert valid;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_impl_map() {
|
2012-08-26 18:54:31 -05:00
|
|
|
assert Ok::<~str, ~str>(~"a").map(|_x| ~"b") == Ok(~"b");
|
|
|
|
assert Err::<~str, ~str>(~"a").map(|_x| ~"b") == Err(~"a");
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_impl_map_err() {
|
2012-08-26 18:54:31 -05:00
|
|
|
assert Ok::<~str, ~str>(~"a").map_err(|_x| ~"b") == Ok(~"a");
|
|
|
|
assert Err::<~str, ~str>(~"a").map_err(|_x| ~"b") == Err(~"b");
|
2012-05-26 22:33:08 -05:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|