Struct sec1::consts::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 Z0where I: Integer,

Z0 + I = I

type Output = I

The resulting type after applying the + operator.

fn add(self, rhs: I) -> <Z0 as Add<I>>::Output

Performs the + operation.

impl Clone for Z0

fn clone(&self) -> Z0

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<U> Cmp<NInt<U>> for Z0where U: Unsigned + NonZero,

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 Z0where U: Unsigned + NonZero,

0 < X

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 Debug for Z0

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for Z0

fn default() -> Z0

Returns the “default value” for a type.

impl<I> Div<I> for Z0where I: Integer + NonZero,

Z0 / I = Z0 where I != 0

type Output = Z0

The resulting type after applying the / operator.

fn div(self, _: I) -> <Z0 as Div<I>>::Output

Performs the / operation.

impl<U> Gcd<NInt<U>> for Z0where U: Unsigned + NonZero,

type Output = PInt<U>

The greatest common divisor.

impl<U> Gcd<PInt<U>> for Z0where U: Unsigned + NonZero,

type Output = PInt<U>

The greatest common divisor.

impl Gcd<Z0> for Z0

type Output = Z0

The greatest common divisor.

impl Hash for Z0

fn hash<__H>(&self, state: &mut __H)where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Integer for Z0

const I8: i8 = 0i8

const I16: i16 = 0i16

const I32: i32 = 0i32

const I64: i64 = 0i64

const ISIZE: isize = 0isize

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_isize() -> isize

impl<U> Max<NInt<U>> for Z0where U: Unsigned + NonZero,

type Output = Z0

The type of the maximum of Self and Rhs

fn max(self, _: NInt<U>) -> <Z0 as Max<NInt<U>>>::Output

Method returning the maximum

impl<U> Max<PInt<U>> for Z0where U: Unsigned + NonZero,

type Output = PInt<U>

The type of the maximum of Self and Rhs

fn max(self, rhs: PInt<U>) -> <Z0 as Max<PInt<U>>>::Output

Method returning the maximum

impl Max<Z0> for Z0

type Output = Z0

The type of the maximum of Self and Rhs

fn max(self, _: Z0) -> <Z0 as Max<Z0>>::Output

Method returning the maximum

impl<U> Min<NInt<U>> for Z0where U: Unsigned + NonZero,

type Output = NInt<U>

The type of the minimum of Self and Rhs

fn min(self, rhs: NInt<U>) -> <Z0 as Min<NInt<U>>>::Output

Method returning the minimum

impl<U> Min<PInt<U>> for Z0where U: Unsigned + NonZero,

type Output = Z0

The type of the minimum of Self and Rhs

fn min(self, _: PInt<U>) -> <Z0 as Min<PInt<U>>>::Output

Method returning the minimum

impl Min<Z0> for Z0

type Output = Z0

The type of the minimum of Self and Rhs

fn min(self, _: Z0) -> <Z0 as Min<Z0>>::Output

Method returning the minimum

impl Mul<ATerm> for Z0

type Output = ATerm

The resulting type after applying the * operator.

fn mul(self, _: ATerm) -> <Z0 as Mul<ATerm>>::Output

Performs the * operation.

impl<I> Mul<I> for Z0where I: Integer,

Z0 * I = Z0

type Output = Z0

The resulting type after applying the * operator.

fn mul(self, _: I) -> <Z0 as Mul<I>>::Output

Performs the * operation.

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

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

The resulting type after applying the * operator.

fn mul(self, rhs: TArr<V, A>) -> <Z0 as Mul<TArr<V, A>>>::Output

Performs the * operation.

impl Neg for Z0

-Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

fn neg(self) -> <Z0 as Neg>::Output

Performs the unary - operation.

impl Ord for Z0

fn cmp(&self, other: &Z0) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<Z0> for Z0

fn eq(&self, other: &Z0) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<Z0> for Z0

fn partial_cmp(&self, other: &Z0) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<U> Pow<NInt<U>> for Z0where U: Unsigned + NonZero,

0^N = 0

type Output = Z0

The result of the exponentiation.

fn powi(self, _: NInt<U>) -> <Z0 as Pow<NInt<U>>>::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl<U> Pow<PInt<U>> for Z0where U: Unsigned + NonZero,

0^P = 0

type Output = Z0

The result of the exponentiation.

fn powi(self, _: PInt<U>) -> <Z0 as Pow<PInt<U>>>::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<Z0> for Z0

0^0 = 1

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

The result of the exponentiation.

fn powi(self, _: Z0) -> <Z0 as Pow<Z0>>::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl<I> Rem<I> for Z0where I: Integer + NonZero,

Z0 % I = Z0 where I != 0

type Output = Z0

The resulting type after applying the % operator.

fn rem(self, _: I) -> <Z0 as Rem<I>>::Output

Performs the % operation.

impl<U> Sub<NInt<U>> for Z0where U: Unsigned + NonZero,

Z0 - N = P

type Output = PInt<U>

The resulting type after applying the - operator.

fn sub(self, _: NInt<U>) -> <Z0 as Sub<NInt<U>>>::Output

Performs the - operation.

impl<U> Sub<PInt<U>> for Z0where U: Unsigned + NonZero,

Z0 - P = N

type Output = NInt<U>

The resulting type after applying the - operator.

fn sub(self, _: PInt<U>) -> <Z0 as Sub<PInt<U>>>::Output

Performs the - operation.

impl Sub<Z0> for Z0

Z0 - Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

fn sub(self, _: Z0) -> <Z0 as Sub<Z0>>::Output

Performs the - operation.

impl ToInt<i16> for Z0

fn to_int() -> i16

Method returning the concrete value for the type.

const INT: i16 = 0i16

The concrete value for the type. Can be used in const contexts.

impl ToInt<i32> for Z0

fn to_int() -> i32

Method returning the concrete value for the type.

const INT: i32 = 0i32

The concrete value for the type. Can be used in const contexts.

impl ToInt<i64> for Z0

fn to_int() -> i64

Method returning the concrete value for the type.

const INT: i64 = 0i64

The concrete value for the type. Can be used in const contexts.

impl ToInt<i8> for Z0

fn to_int() -> i8

Method returning the concrete value for the type.

const INT: i8 = 0i8

The concrete value for the type. Can be used in const contexts.

impl Copy for Z0

impl Eq for Z0

impl StructuralEq for Z0

impl StructuralPartialEq for Z0

impl Zero for Z0