Trait dialectic::unary::Unary

pub trait Unary: Unary + Sized + Sync + Send + 'static {
    const VALUE: usize;
}

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

Examples

use dialectic::prelude::*;
use dialectic::unary::*;

assert_eq!(<UnaryOf<0>>::VALUE, 0);
assert_eq!(<UnaryOf<1>>::VALUE, 1);
assert_eq!(<UnaryOf<2>>::VALUE, 2);
// ...
assert_eq!(<UnaryOf<256>>::VALUE, 256);

Associated Constants

const VALUE: usize

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

Loading content...

Implementors

impl Unary for Z

const VALUE: usize

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

const VALUE: usize

Loading content...