Expand description
Implementations of traits for converting a Natural
to a primitive
integer.
The traits are TryFrom
,
ConvertibleFrom
,
OverflowingFrom
,
SaturatingFrom
, and
WrappingFrom
.
§try_from
use malachite_base::num::arithmetic::traits::Pow;
use malachite_base::num::basic::traits::One;
use malachite_nz::natural::conversion::primitive_int_from_natural::{
SignedFromNaturalError, UnsignedFromNaturalError,
};
use malachite_nz::natural::Natural;
assert_eq!(u32::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
u32::try_from(&Natural::from(10u32).pow(12)),
Err(UnsignedFromNaturalError)
);
assert_eq!(u8::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
u8::try_from(&Natural::from(10u32).pow(12)),
Err(UnsignedFromNaturalError)
);
assert_eq!(u64::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
u64::try_from(&(Natural::ONE << 100)),
Err(UnsignedFromNaturalError)
);
assert_eq!(i32::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
i32::try_from(&Natural::from(10u32).pow(12)),
Err(SignedFromNaturalError)
);
assert_eq!(i8::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
i8::try_from(&Natural::from(10u32).pow(12)),
Err(SignedFromNaturalError)
);
assert_eq!(i64::try_from(&Natural::from(123u32)), Ok(123));
assert_eq!(
i64::try_from(&(Natural::ONE << 100)),
Err(SignedFromNaturalError)
);
§wrapping_from
use malachite_base::num::arithmetic::traits::Pow;
use malachite_base::num::basic::traits::One;
use malachite_base::num::conversion::traits::WrappingFrom;
use malachite_nz::natural::Natural;
assert_eq!(u32::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(
u32::wrapping_from(&Natural::from(10u32).pow(12)),
3567587328
);
assert_eq!(u8::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(u8::wrapping_from(&Natural::from(10u32).pow(12)), 0);
assert_eq!(u64::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(u64::wrapping_from(&(Natural::ONE << 100)), 0);
assert_eq!(i32::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(
i32::wrapping_from(&Natural::from(10u32).pow(12)),
-727379968
);
assert_eq!(i8::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(i8::wrapping_from(&Natural::from(10u32).pow(12)), 0);
assert_eq!(i64::wrapping_from(&Natural::from(123u32)), 123);
assert_eq!(i64::wrapping_from(&(Natural::ONE << 100)), 0);
§saturating_from
use malachite_base::num::arithmetic::traits::Pow;
use malachite_base::num::basic::traits::One;
use malachite_base::num::conversion::traits::SaturatingFrom;
use malachite_nz::natural::Natural;
assert_eq!(u32::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(
u32::saturating_from(&Natural::from(10u32).pow(12)),
u32::MAX
);
assert_eq!(u8::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(u8::saturating_from(&Natural::from(10u32).pow(12)), 255);
assert_eq!(u64::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(
u64::saturating_from(&(Natural::ONE << 100)),
18446744073709551615
);
assert_eq!(i32::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(
i32::saturating_from(&Natural::from(10u32).pow(12)),
2147483647
);
assert_eq!(i8::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(i8::saturating_from(&Natural::from(10u32).pow(12)), 127);
assert_eq!(i64::saturating_from(&Natural::from(123u32)), 123);
assert_eq!(
i64::saturating_from(&(Natural::ONE << 100)),
9223372036854775807
);
§overflowing_from
use malachite_base::num::arithmetic::traits::Pow;
use malachite_base::num::basic::traits::One;
use malachite_base::num::conversion::traits::OverflowingFrom;
use malachite_nz::natural::Natural;
assert_eq!(u32::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(
u32::overflowing_from(&Natural::from(10u32).pow(12)),
(3567587328, true)
);
assert_eq!(u8::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(
u8::overflowing_from(&Natural::from(10u32).pow(12)),
(0, true)
);
assert_eq!(u64::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(u64::overflowing_from(&(Natural::ONE << 100)), (0, true));
assert_eq!(i32::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(
i32::overflowing_from(&Natural::from(10u32).pow(12)),
(-727379968, true)
);
assert_eq!(i8::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(
i8::overflowing_from(&Natural::from(10u32).pow(12)),
(0, true)
);
assert_eq!(i64::overflowing_from(&Natural::from(123u32)), (123, false));
assert_eq!(i64::overflowing_from(&(Natural::ONE << 100)), (0, true));
§convertible_from
use malachite_base::num::arithmetic::traits::Pow;
use malachite_base::num::basic::traits::One;
use malachite_base::num::conversion::traits::ConvertibleFrom;
use malachite_nz::natural::Natural;
assert_eq!(u32::convertible_from(&Natural::from(123u32)), true);
assert_eq!(u32::convertible_from(&Natural::from(10u32).pow(12)), false);
assert_eq!(u8::convertible_from(&Natural::from(123u32)), true);
assert_eq!(u8::convertible_from(&Natural::from(10u32).pow(12)), false);
assert_eq!(u64::convertible_from(&Natural::from(123u32)), true);
assert_eq!(u64::convertible_from(&(Natural::ONE << 100)), false);
assert_eq!(i32::convertible_from(&Natural::from(123u32)), true);
assert_eq!(i32::convertible_from(&Natural::from(10u32).pow(12)), false);
assert_eq!(i8::convertible_from(&Natural::from(123u32)), true);
assert_eq!(i8::convertible_from(&Natural::from(10u32).pow(12)), false);
assert_eq!(i64::convertible_from(&Natural::from(123u32)), true);
assert_eq!(i64::convertible_from(&(Natural::ONE << 100)), false);