Struct Z 

pub struct Z;

Type-level zero.

Examples

use reflect_nat::Z;
use reify_reflect_core::{Reflect, RuntimeValue};

assert_eq!(Z::reflect(), RuntimeValue::Nat(0));

Trait Implementations

impl<N> Add<N> for Z

where N: Nat,

type Result = N

The resulting type-level natural.

impl Clone for Z

fn clone(&self) -> Z

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Z

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

Formats the value using the given formatter.

impl Default for Z

fn default() -> Z

Returns the “default value” for a type.

impl<N> Lt<S<N>> for Z

where N: Nat,

const VALUE: bool = true

true if Self < Rhs at the type level.

impl<M> Lt<Z> for S<M>

where M: Nat,

const VALUE: bool = false

true if Self < Rhs at the type level.

impl Lt<Z> for Z

const VALUE: bool = false

true if Self < Rhs at the type level.

impl<N> Mul<N> for Z

where N: Nat,

type Result = Z

The resulting type-level natural.

impl Nat for Z

fn to_u64() -> u64

The runtime u64 value of this type-level natural.

impl Reflect for Z

type Value = RuntimeValue

The runtime representation of this type-level value.

fn reflect() -> <Z as Reflect>::Value

Produce the runtime value corresponding to this type-level value.

impl Copy for Z