Trait dialectic::types::unary::Unary

pub trait Unary: Sealed {
    pub const VALUE: usize;
}

All unary numbers can be converted to their value-level equivalent usize.

Examples

use dialectic::prelude::*;

assert_eq!(_0::VALUE, 0);
assert_eq!(_1::VALUE, 1);
assert_eq!(_2::VALUE, 2);
// ...
assert_eq!(_127::VALUE, 127);

Associated Constants

pub const VALUE: usize

The runtime value of this type-level number, as a usize.

Loading content...

Implementors

impl Unary for Z

pub const VALUE: usize

impl<N: Unary> Unary for S<N>

pub const VALUE: usize

Loading content...