#[cfg(feature = "try_from")]
use crate::number::integer::NegativeIntegers;
use crate::{
error::{IntegerErrors, NumeraErrors, NumeraResult},
number::{
macros::impl_larger_smaller,
traits::{
Bound, ConstLowerBounded, ConstNegOne, ConstUpperBounded, Count, Countable, Ident,
LowerBounded, NegOne, Negative, NonPositive, NonZero, Number, Sign, UpperBounded,
},
},
};
use core::{
fmt,
num::{NonZeroU128, NonZeroU16, NonZeroU32, NonZeroU64, NonZeroU8},
};
use devela::paste;
macro_rules! define_negative_integer_sized {
(multi $name:ident, $abbr:ident, $p:ident,
$doc_num:literal, $doc_type:literal, // $doc_new:literal,
$doc_sign:literal, $doc_lower:expr, $doc_upper:expr,
$(
(
$doc_det:literal, $b:expr,
larger: $larger:literal, $larger_b:literal,
smaller: $smaller:literal, $smaller_b:literal
)
),+
) => {
$(
define_negative_integer_sized![single $name, $abbr, $p,
$doc_num, $doc_type, // $doc_new,
$doc_sign, $doc_lower, $doc_upper,
($doc_det, $b,
larger: $larger, $larger_b,
smaller: $smaller, $smaller_b
)];
)+
};
(single $name:ident, $abbr:ident, $p:ident,
$doc_num:literal, $doc_type:literal, $doc_sign:literal, $doc_lower:expr, $doc_upper:expr,
(
$doc_det:literal, $b:expr,
larger: $larger:literal, $larger_b:literal,
smaller: $smaller:literal, $smaller_b:literal
)
) => { paste! {
#[doc = $doc_det " "$b "-bit " $doc_num $doc_type ","]
#[doc = "also known as [`" [<$abbr$b>] "`][super::" [<$abbr$b>] "]."]
#[doc = "\n\nThe range of valid numeric values is $\\lbrack$"
"$" $doc_sign "$[`" $p$b "::" $doc_lower "`]"
" $\\dots" $doc_sign $doc_upper "\\rbrack$."]
#[derive(Clone, Copy, Hash, PartialEq, Eq, PartialOrd, Ord)]
pub struct [<$name$b>](pub [<$p$b>]);
impl fmt::Display for [<$name$b>] {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(f, "-{}", self.0)
}
}
impl fmt::Debug for [<$name$b>] {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(f, "{}({})", stringify!([<$abbr$b>]), self.0)
}
}
impl [<$name$b>] {
#[doc = "Returns a new `" [<$name$b>] "`."]
#[inline]
pub const fn new_neg(value: [<u$b>]) -> NumeraResult<Self> {
if let Some(n) = [<$p$b>]::new(value) {
Ok(Self(n))
} else {
Err(NumeraErrors::Integer(IntegerErrors::Zero))
}
}
}
impl_larger_smaller![$name, $b, NegativeIntegers,
larger: $larger, $larger_b, smaller: $smaller, $smaller_b
];
impl Sign for [<$name$b>] {
#[inline]
fn can_negative(&self) -> bool { true }
#[inline]
fn can_positive(&self) -> bool { false }
#[inline]
fn is_negative(&self) -> bool { true }
#[inline]
fn is_positive(&self) -> bool { false }
}
impl Negative for [<$name$b>] {}
impl NonPositive for [<$name$b>] {
type InnerRepr = [<u$b>];
#[inline]
fn new_neg(value: Self::InnerRepr) -> NumeraResult<Self> {
Ok(Self([<$p$b>]::new(value).ok_or(IntegerErrors::Zero)?))
}
}
impl Bound for [<$name$b>] {
fn is_lower_bounded(&self) -> bool { true }
fn is_upper_bounded(&self) -> bool { true }
fn lower_bound(&self) -> Option<Self> { Some([<$name$b>]::MIN) }
fn upper_bound(&self) -> Option<Self> { Some([<$name$b>]::MAX) }
}
impl LowerBounded for [<$name$b>] {
#[inline]
fn new_min() -> Self { [<$name$b>]::MIN }
}
impl UpperBounded for [<$name$b>] {
#[inline]
fn new_max() -> Self { [<$name$b>]::MAX }
}
impl ConstLowerBounded for [<$name$b>] {
const MIN: Self = Self([<$p$b>]::MAX);
}
impl ConstUpperBounded for [<$name$b>] {
const MAX: Self = Self([<$p$b>]::MIN);
}
impl Count for [<$name$b>] {
#[inline]
fn is_countable(&self) -> bool { true }
}
impl Countable for [<$name$b>] {
#[inline]
fn next(&self) -> NumeraResult<Self> {
let next = self.0.get().checked_add(1).ok_or(IntegerErrors::Overflow)?;
#[cfg(feature = "safe")]
return Ok(Self([<$p$b>]::new(next).unwrap()));
#[cfg(not(feature = "safe"))]
return Ok(Self(unsafe { [<$p$b>]::new_unchecked(next) }));
}
#[inline]
fn previous(&self) -> NumeraResult<Self> {
let prev = self.0.get().checked_sub(1).ok_or(IntegerErrors::Underflow)?;
Ok(Self([<$p$b>]::new(prev).ok_or(IntegerErrors::Zero)?))
}
}
impl Ident for [<$name$b>] {
#[inline]
fn can_zero(&self) -> bool { false }
#[inline]
fn can_one(&self) -> bool { false }
#[inline]
fn can_neg_one(&self) -> bool { true }
#[inline]
fn is_zero(&self) -> bool { false }
#[inline]
fn is_one(&self) -> bool { false }
#[inline]
fn is_neg_one(&self) -> bool { self.0.get() == 1 }
}
impl NonZero for [<$name$b>] {}
impl ConstNegOne for [<$name$b>] {
#[cfg(feature = "safe")]
const NEG_ONE: Self = Self(
if let Some(n) = [<$p$b>]::new(1) { n }
else { unreachable!() }
);
#[cfg(not(feature = "safe"))]
const NEG_ONE: Self = Self(unsafe { [<$p$b>]::new_unchecked(1) });
}
impl NegOne for [<$name$b>] {
#[inline]
fn new_neg_one() -> Self {
#[cfg(feature = "safe")]
return Self([<$p$b>]::new(1).unwrap());
#[cfg(not(feature = "safe"))]
return Self(unsafe { [<$p$b>]::new_unchecked(1) });
}
}
impl Number for [<$name$b>] {
type InnerRepr = [<NonZeroU$b>];
type InnermostRepr = [<u$b>];
#[doc = "Returns a new `" [<$name$b>] "` from the inner representation."]
#[inline]
fn from_inner_repr(value: Self::InnerRepr) -> NumeraResult<Self> {
Ok(Self(value))
}
#[doc = "Returns a new `" [<$name$b>] "` from the inner representation."]
#[inline]
#[cfg(not(feature = "safe"))]
#[cfg_attr(feature = "nightly", doc(cfg(feature = "not(safe)")))]
unsafe fn from_inner_repr_unchecked(value: Self::InnerRepr) -> Self {
Self(value)
}
#[doc = "Returns a new `" [<$name$b>] "` from the innermost representation."]
#[inline]
fn from_innermost_repr(value: Self::InnermostRepr) -> NumeraResult<Self> {
Ok(Self([<$p$b>]::new(value).ok_or(IntegerErrors::Zero)?))
}
#[doc = "Returns a new `" [<$name$b>] "` from the innermost representation."]
#[inline]
#[cfg(not(feature = "safe"))]
#[cfg_attr(feature = "nightly", doc(cfg(feature = "not(safe)")))]
unsafe fn from_innermost_repr_unchecked(value: Self::InnermostRepr) -> Self {
debug_assert![value != 0];
Self([<$p$b>]::new_unchecked(value))
}
#[inline]
fn into_inner_repr(self) -> Self::InnerRepr { self.0 }
#[inline]
fn into_innermost_repr(self) -> Self::InnermostRepr { self.0.get() }
}
}};
}
define_negative_integer_sized![multi NegativeInteger, Nz, NonZeroU,
"negative integer number", ", from the set $\\Z^-$",
"-", MAX, 1,
("An", 8, larger: true, 16, smaller: false, 8),
("A", 16, larger: true, 32, smaller: true, 8),
("A", 32, larger: true, 64, smaller: true, 16),
("A", 64, larger: true, 128, smaller: true, 32),
("A", 128, larger: false, 128, smaller: true, 64)
];