Steven Fackler 0c8878d042 Add Option::{ok_or, ok_or_else}
These are the inverses of `Result::ok` and help to bridge `Option` and
`Result` based APIs.
2014-09-26 09:11:53 -07:00
..
2014-09-17 11:28:22 +02:00
2014-08-29 14:33:08 -07:00
2014-08-26 16:07:32 +12:00
2014-08-30 20:38:47 +02:00
2014-08-29 14:33:08 -07:00
2014-09-16 14:37:48 -07:00
2014-08-29 14:33:08 -07:00
2014-08-30 20:38:47 +02:00
2014-09-19 11:15:49 +12:00
2014-09-26 09:11:53 -07:00
2014-09-16 14:37:48 -07:00
2014-08-29 14:33:08 -07:00
2014-09-17 12:34:19 +02:00