pub struct I128(/* private fields */);Implementations§
Source§impl I128
impl I128
pub const ZERO: Self
pub const MIN: Self
pub const MAX: Self
pub const fn new(val: i128) -> Self
pub const fn get(self) -> i128
pub fn set(&mut self, val: i128)
pub fn checked_add(self, rhs: i128) -> Option<Self>
pub fn checked_sub(self, rhs: i128) -> Option<Self>
pub fn checked_mul(self, rhs: i128) -> Option<Self>
pub fn checked_div(self, rhs: i128) -> Option<Self>
pub fn saturating_add(self, rhs: i128) -> Self
pub fn saturating_add_i128(self, rhs: I128) -> Self
pub fn saturating_sub(self, rhs: i128) -> Self
pub fn saturating_sub_i128(self, rhs: I128) -> Self
pub fn wrapping_add(self, rhs: i128) -> Self
pub fn abs(self) -> Self
pub fn unsigned_abs(self) -> u128
pub fn is_zero(self) -> bool
pub fn is_negative(self) -> bool
pub fn is_positive(self) -> bool
Trait Implementations§
Source§impl AddAssign<i128> for I128
Available on non-kani only.
impl AddAssign<i128> for I128
Available on non-
kani only.Source§fn add_assign(&mut self, rhs: i128)
fn add_assign(&mut self, rhs: i128)
Performs the
+= operation. Read moreSource§impl Ord for I128
Available on non-kani only.
impl Ord for I128
Available on non-
kani only.Source§impl PartialOrd for I128
Available on non-kani only.
impl PartialOrd for I128
Available on non-
kani only.Source§impl SubAssign<i128> for I128
Available on non-kani only.
impl SubAssign<i128> for I128
Available on non-
kani only.Source§fn sub_assign(&mut self, rhs: i128)
fn sub_assign(&mut self, rhs: i128)
Performs the
-= operation. Read moreimpl Copy for I128
impl Eq for I128
impl StructuralPartialEq for I128
Auto Trait Implementations§
impl Freeze for I128
impl RefUnwindSafe for I128
impl Send for I128
impl Sync for I128
impl Unpin for I128
impl UnsafeUnpin for I128
impl UnwindSafe for I128
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more