Trait Signed 

pub trait Signed:
    Div<NonZero<Self>, Output = CtOption<Self>>
    + for<'a> Div<&'a NonZero<Self>, Output = CtOption<Self>>
    + From<i8>
    + From<i16>
    + From<i32>
    + From<i64>
    + Gcd<Output = Self::Unsigned>
    + Integer {
    type Unsigned: Unsigned;

    // Required methods
    fn abs_sign(&self) -> (Self::Unsigned, Choice);
    fn is_negative(&self) -> Choice;
    fn is_positive(&self) -> Choice;

    // Provided method
    fn abs(&self) -> Self::Unsigned { ... }
}

Signed Integers.

Required Associated Types

type Unsigned: Unsigned

Corresponding unsigned integer type.

Required Methods

fn abs_sign(&self) -> (Self::Unsigned, Choice)

The sign and magnitude of this Signed.

fn is_negative(&self) -> Choice

Whether this Signed is negative (and non-zero), as a Choice.

fn is_positive(&self) -> Choice

Whether this Signed is positive (and non-zero), as a Choice.

Provided Methods

fn abs(&self) -> Self::Unsigned

The magnitude of this Signed.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<const LIMBS: usize> Signed for Int<LIMBS>

type Unsigned = Uint<LIMBS>