Trait IsHeight

pub trait IsHeight: IsHeight {
    const HEIGHT: u8;
}

Available on crate feature internal only.

The constant u8 associated with each unary height.

Required Associated Constants

const HEIGHT: u8

The number for this height.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl IsHeight for Zero

const HEIGHT: u8 = 0u8

impl<N: IsHeight> IsHeight for Succ<N>

const HEIGHT: u8 = _