Primitive Type bool1.0.0[−]
The boolean type.
The bool
represents a value, which could only be either true
or false
. If you cast
a bool
into an integer, true
will be 1 and false
will be 0.
Basic usage
bool
implements various traits, such as BitAnd
, BitOr
, Not
, etc.,
which allow us to perform boolean operations using &
, |
and !
.
if
requires a bool
value as its conditional. assert!
, which is an
important macro in testing, checks whether an expression is true
and panics
if it isn't.
let bool_val = true & false | false; assert!(!bool_val);Run
Examples
A trivial example of the usage of bool
:
let praise_the_borrow_checker = true; // using the `if` conditional if praise_the_borrow_checker { println!("oh, yeah!"); } else { println!("what?!!"); } // ... or, a match pattern match praise_the_borrow_checker { true => println!("keep praising!"), false => println!("you should praise!"), }Run
Also, since bool
implements the Copy
trait, we don't
have to worry about the move semantics (just like the integer and float primitives).
Now an example of bool
cast to integer type:
assert_eq!(true as i32, 1); assert_eq!(false as i32, 0);Run
Implementations
impl bool
[src]
pub fn then_some<T>(self, t: T) -> Option<T>
[src]
Returns Some(t)
if the bool
is true
, or None
otherwise.
Examples
#![feature(bool_to_option)] assert_eq!(false.then_some(0), None); assert_eq!(true.then_some(0), Some(0));Run
pub fn then<T, F>(self, f: F) -> Option<T> where
F: FnOnce() -> T,
1.50.0[src]
F: FnOnce() -> T,
Trait Implementations
impl<'_, '_> BitAnd<&'_ bool> for &'_ bool
[src]
type Output = <bool as BitAnd<bool>>::Output
The resulting type after applying the &
operator.
pub fn bitand(self, other: &bool) -> <bool as BitAnd<bool>>::Output
[src]
impl<'_> BitAnd<&'_ bool> for bool
[src]
type Output = <bool as BitAnd<bool>>::Output
The resulting type after applying the &
operator.
pub fn bitand(self, other: &bool) -> <bool as BitAnd<bool>>::Output
[src]
impl<'a> BitAnd<bool> for &'a bool
[src]
type Output = <bool as BitAnd<bool>>::Output
The resulting type after applying the &
operator.
pub fn bitand(self, other: bool) -> <bool as BitAnd<bool>>::Output
[src]
impl BitAnd<bool> for bool
[src]
type Output = bool
The resulting type after applying the &
operator.
pub fn bitand(self, rhs: bool) -> bool
[src]
impl<'_> BitAndAssign<&'_ bool> for bool
1.22.0[src]
pub fn bitand_assign(&mut self, other: &bool)
[src]
impl BitAndAssign<bool> for bool
1.8.0[src]
pub fn bitand_assign(&mut self, other: bool)
[src]
impl<'_, '_> BitOr<&'_ bool> for &'_ bool
[src]
type Output = <bool as BitOr<bool>>::Output
The resulting type after applying the |
operator.
pub fn bitor(self, other: &bool) -> <bool as BitOr<bool>>::Output
[src]
impl<'_> BitOr<&'_ bool> for bool
[src]
type Output = <bool as BitOr<bool>>::Output
The resulting type after applying the |
operator.
pub fn bitor(self, other: &bool) -> <bool as BitOr<bool>>::Output
[src]
impl<'a> BitOr<bool> for &'a bool
[src]
type Output = <bool as BitOr<bool>>::Output
The resulting type after applying the |
operator.
pub fn bitor(self, other: bool) -> <bool as BitOr<bool>>::Output
[src]
impl BitOr<bool> for bool
[src]
type Output = bool
The resulting type after applying the |
operator.
pub fn bitor(self, rhs: bool) -> bool
[src]
impl<'_> BitOrAssign<&'_ bool> for bool
1.22.0[src]
pub fn bitor_assign(&mut self, other: &bool)
[src]
impl BitOrAssign<bool> for bool
1.8.0[src]
pub fn bitor_assign(&mut self, other: bool)
[src]
impl<'_, '_> BitXor<&'_ bool> for &'_ bool
[src]
type Output = <bool as BitXor<bool>>::Output
The resulting type after applying the ^
operator.
pub fn bitxor(self, other: &bool) -> <bool as BitXor<bool>>::Output
[src]
impl<'_> BitXor<&'_ bool> for bool
[src]
type Output = <bool as BitXor<bool>>::Output
The resulting type after applying the ^
operator.
pub fn bitxor(self, other: &bool) -> <bool as BitXor<bool>>::Output
[src]
impl<'a> BitXor<bool> for &'a bool
[src]
type Output = <bool as BitXor<bool>>::Output
The resulting type after applying the ^
operator.
pub fn bitxor(self, other: bool) -> <bool as BitXor<bool>>::Output
[src]
impl BitXor<bool> for bool
[src]
type Output = bool
The resulting type after applying the ^
operator.
pub fn bitxor(self, other: bool) -> bool
[src]
impl<'_> BitXorAssign<&'_ bool> for bool
1.22.0[src]
pub fn bitxor_assign(&mut self, other: &bool)
[src]
impl BitXorAssign<bool> for bool
1.8.0[src]
pub fn bitxor_assign(&mut self, other: bool)
[src]
impl Clone for bool
[src]
impl Copy for bool
[src]
impl Debug for bool
[src]
impl Default for bool
[src]
impl Display for bool
[src]
impl Eq for bool
[src]
impl FromStr for bool
[src]
type Err = ParseBoolError
The associated error which can be returned from parsing.
pub fn from_str(s: &str) -> Result<bool, ParseBoolError>
[src]
Parse a bool
from a string.
Yields a Result<bool, ParseBoolError>
, because s
may or may not
actually be parseable.
Examples
use std::str::FromStr; assert_eq!(FromStr::from_str("true"), Ok(true)); assert_eq!(FromStr::from_str("false"), Ok(false)); assert!(<bool as FromStr>::from_str("not even a boolean").is_err());Run
Note, in many cases, the .parse()
method on str
is more proper.
assert_eq!("true".parse(), Ok(true)); assert_eq!("false".parse(), Ok(false)); assert!("not even a boolean".parse::<bool>().is_err());Run
impl Hash for bool
[src]
pub fn hash<H>(&self, state: &mut H) where
H: Hasher,
[src]
H: Hasher,
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<'_> Not for &'_ bool
[src]
type Output = <bool as Not>::Output
The resulting type after applying the !
operator.
pub fn not(self) -> <bool as Not>::Output
[src]
impl Not for bool
[src]
impl Ord for bool
[src]
pub fn cmp(&self, other: &bool) -> Ordering
[src]
#[must_use]pub fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
impl PartialEq<bool> for bool
[src]
impl PartialOrd<bool> for bool
[src]
Auto Trait Implementations
impl RefUnwindSafe for bool
[src]
impl Send for bool
[src]
impl Sync for bool
[src]
impl Unpin for bool
[src]
impl UnwindSafe for bool
[src]
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<R: Read + ?Sized> Read for &mut Rimpl<W: Write + ?Sized> Write for &mut W
[src]
Notable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<R: Read + ?Sized> Read for &mut Rimpl<W: Write + ?Sized> Write for &mut W
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<R: Read + ?Sized> Read for &mut Rimpl<W: Write + ?Sized> Write for &mut W
[src]
Notable traits for &'_ mut F
impl<'_, F> Future for &'_ mut F where
F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
I: Iterator + ?Sized, type Item = <I as Iterator>::Item;impl<R: Read + ?Sized> Read for &mut Rimpl<W: Write + ?Sized> Write for &mut W
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,