rust/library/core/src/bool.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

51 lines
1.4 KiB
Rust
Raw Normal View History

2019-09-07 13:16:18 +01:00
//! impl bool {}
use crate::marker::Destruct;
2019-09-07 15:49:27 +01:00
impl bool {
/// Returns `Some(t)` if the `bool` is [`true`](../std/keyword.true.html),
/// or `None` otherwise.
2019-09-07 15:49:27 +01:00
///
/// Arguments passed to `then_some` are eagerly evaluated; if you are
/// passing the result of a function call, it is recommended to use
/// [`then`], which is lazily evaluated.
///
/// [`then`]: bool::then
///
2019-09-07 15:49:27 +01:00
/// # Examples
///
/// ```
2019-12-06 12:18:32 +00:00
/// assert_eq!(false.then_some(0), None);
/// assert_eq!(true.then_some(0), Some(0));
2019-09-07 15:49:27 +01:00
/// ```
2022-05-02 01:12:35 -07:00
#[stable(feature = "bool_to_option", since = "1.62.0")]
2021-12-15 00:11:23 +08:00
#[rustc_const_unstable(feature = "const_bool_to_option", issue = "91917")]
2019-09-07 15:49:27 +01:00
#[inline]
2021-12-15 00:11:23 +08:00
pub const fn then_some<T>(self, t: T) -> Option<T>
where
2022-04-05 22:42:23 +02:00
T: ~const Destruct,
2021-12-15 00:11:23 +08:00
{
if self { Some(t) } else { None }
2019-09-07 15:49:27 +01:00
}
/// Returns `Some(f())` if the `bool` is [`true`](../std/keyword.true.html),
/// or `None` otherwise.
2019-09-07 15:49:27 +01:00
///
/// # Examples
///
/// ```
2019-12-06 12:18:32 +00:00
/// assert_eq!(false.then(|| 0), None);
/// assert_eq!(true.then(|| 0), Some(0));
2019-09-07 15:49:27 +01:00
/// ```
2020-11-22 13:25:19 +00:00
#[stable(feature = "lazy_bool_to_option", since = "1.50.0")]
2021-12-15 00:11:23 +08:00
#[rustc_const_unstable(feature = "const_bool_to_option", issue = "91917")]
2019-09-07 15:49:27 +01:00
#[inline]
2021-12-15 00:11:23 +08:00
pub const fn then<T, F>(self, f: F) -> Option<T>
where
F: ~const FnOnce() -> T,
2022-04-05 22:42:23 +02:00
F: ~const Destruct,
2021-12-15 00:11:23 +08:00
{
if self { Some(f()) } else { None }
2019-09-07 15:49:27 +01:00
}
}