Struct tet_libp2p::core::multiaddr::multihash::typenum::Z0[]

pub struct Z0;

The type-level signed integer 0.

Implementations

impl Z0

pub fn new() -> Z0

Instantiates a singleton representing the integer 0.

Trait Implementations

impl Abs for Z0

type Output = Z0

The absolute value.

impl<I> Add<I> for Z0 where
    I: Integer

Z0 + I = I

type Output = I

The resulting type after applying the + operator.

impl<U> Add<Z0> for PInt<U> where
    U: NonZero + Unsigned

PInt + Z0 = PInt

type Output = PInt<U>

The resulting type after applying the + operator.

impl<U> Add<Z0> for NInt<U> where
    U: NonZero + Unsigned

NInt + Z0 = NInt

type Output = NInt<U>

The resulting type after applying the + operator.

impl Clone for Z0

impl<U> Cmp<NInt<U>> for Z0 where
    U: NonZero + Unsigned

0 > -X

type Output = Greater

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

impl<U> Cmp<PInt<U>> for Z0 where
    U: NonZero + Unsigned

0 < X

type Output = Less

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

impl<U> Cmp<Z0> for PInt<U> where
    U: NonZero + Unsigned

X > 0

type Output = Greater

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

impl<U> Cmp<Z0> for NInt<U> where
    U: NonZero + Unsigned

-X < 0

type Output = Less

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

impl Cmp<Z0> for Z0

0 == 0

type Output = Equal

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

impl Copy for Z0

impl Debug for Z0

impl Default for Z0

impl<I> Div<I> for Z0 where
    I: NonZero + Integer

Z0 / I = Z0 where I != 0

type Output = Z0

The resulting type after applying the / operator.

impl Eq for Z0

impl<U> Gcd<NInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = PInt<U>

The greatest common divisor.

impl<U> Gcd<PInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = PInt<U>

The greatest common divisor.

impl<U> Gcd<Z0> for PInt<U> where
    U: Unsigned + NonZero

type Output = PInt<U>

The greatest common divisor.

impl Gcd<Z0> for Z0

type Output = Z0

The greatest common divisor.

impl<U> Gcd<Z0> for NInt<U> where
    U: Unsigned + NonZero

type Output = PInt<U>

The greatest common divisor.

impl Hash for Z0

impl Integer for Z0

impl<U> Max<NInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = Z0

The type of the maximum of Self and Rhs

impl<U> Max<PInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = PInt<U>

The type of the maximum of Self and Rhs

impl Max<Z0> for Z0

type Output = Z0

The type of the maximum of Self and Rhs

impl<U> Max<Z0> for NInt<U> where
    U: Unsigned + NonZero

type Output = Z0

The type of the maximum of Self and Rhs

impl<U> Max<Z0> for PInt<U> where
    U: Unsigned + NonZero

type Output = PInt<U>

The type of the maximum of Self and Rhs

impl<U> Min<NInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = NInt<U>

The type of the minimum of Self and Rhs

impl<U> Min<PInt<U>> for Z0 where
    U: Unsigned + NonZero

type Output = Z0

The type of the minimum of Self and Rhs

impl<U> Min<Z0> for NInt<U> where
    U: Unsigned + NonZero

type Output = NInt<U>

The type of the minimum of Self and Rhs

impl<U> Min<Z0> for PInt<U> where
    U: Unsigned + NonZero

type Output = Z0

The type of the minimum of Self and Rhs

impl Min<Z0> for Z0

type Output = Z0

The type of the minimum of Self and Rhs

impl Mul<ATerm> for Z0

type Output = ATerm

The resulting type after applying the * operator.

impl<I> Mul<I> for Z0 where
    I: Integer

Z0 * I = Z0

type Output = Z0

The resulting type after applying the * operator.

impl<V, A> Mul<TArr<V, A>> for Z0 where
    Z0: Mul<A>, 

type Output = TArr<Z0, <Z0 as Mul<A>>::Output>

The resulting type after applying the * operator.

impl<U> Mul<Z0> for NInt<U> where
    U: NonZero + Unsigned

N * Z0 = Z0

type Output = Z0

The resulting type after applying the * operator.

impl<U> Mul<Z0> for PInt<U> where
    U: NonZero + Unsigned

P * Z0 = Z0

type Output = Z0

The resulting type after applying the * operator.

impl Neg for Z0

-Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

impl Ord for Z0

impl PartialEq<Z0> for Z0

impl PartialOrd<Z0> for Z0

impl<U> Pow<NInt<U>> for Z0 where
    U: NonZero + Unsigned

0^N = 0

type Output = Z0

The result of the exponentiation.

impl<U> Pow<PInt<U>> for Z0 where
    U: NonZero + Unsigned

0^P = 0

type Output = Z0

The result of the exponentiation.

impl Pow<Z0> for u8

type Output = u8

The result of the exponentiation.

impl Pow<Z0> for u32

type Output = u32

The result of the exponentiation.

impl Pow<Z0> for u64

type Output = u64

The result of the exponentiation.

impl Pow<Z0> for usize

type Output = usize

The result of the exponentiation.

impl Pow<Z0> for u16

type Output = u16

The result of the exponentiation.

impl Pow<Z0> for i8

type Output = i8

The result of the exponentiation.

impl Pow<Z0> for i16

type Output = i16

The result of the exponentiation.

impl Pow<Z0> for f32

type Output = f32

The result of the exponentiation.

impl Pow<Z0> for isize

type Output = isize

The result of the exponentiation.

impl Pow<Z0> for Z0

0^0 = 1

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.

impl Pow<Z0> for i32

type Output = i32

The result of the exponentiation.

impl<U> Pow<Z0> for PInt<U> where
    U: NonZero + Unsigned

P^0 = 1

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.

impl Pow<Z0> for f64

type Output = f64

The result of the exponentiation.

impl<U> Pow<Z0> for NInt<U> where
    U: NonZero + Unsigned

N^0 = 1

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.

impl Pow<Z0> for i64

type Output = i64

The result of the exponentiation.

impl<I> Rem<I> for Z0 where
    I: NonZero + Integer

Z0 % I = Z0 where I != 0

type Output = Z0

The resulting type after applying the % operator.

impl StructuralEq for Z0

impl StructuralPartialEq for Z0

impl<U> Sub<NInt<U>> for Z0 where
    U: NonZero + Unsigned

Z0 - N = P

type Output = PInt<U>

The resulting type after applying the - operator.

impl<U> Sub<PInt<U>> for Z0 where
    U: NonZero + Unsigned

Z0 - P = N

type Output = NInt<U>

The resulting type after applying the - operator.

impl<U> Sub<Z0> for NInt<U> where
    U: NonZero + Unsigned

NInt - Z0 = NInt

type Output = NInt<U>

The resulting type after applying the - operator.

impl Sub<Z0> for Z0

Z0 - Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

impl<U> Sub<Z0> for PInt<U> where
    U: NonZero + Unsigned

PInt - Z0 = PInt

type Output = PInt<U>

The resulting type after applying the - operator.

impl ToInt<i16> for Z0

impl ToInt<i32> for Z0

impl ToInt<i64> for Z0

impl ToInt<i8> for Z0

impl Zero for Z0

Auto Trait Implementations

impl RefUnwindSafe for Z0

impl Send for Z0

impl Sync for Z0

impl Unpin for Z0

impl UnwindSafe for Z0

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> CallHasher for T where
    T: Hash

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<M, N> PartialDiv<N> for M where
    M: Integer + Div<N> + Rem<N, Output = Z0>, 

type Output = <M as Div<N>>::Output

The type of the result of the division

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,