use typenum::{Bit, UInt, UTerm, Unsigned, B1};

pub trait Sealed {

    const F64: f64;

}

impl Sealed for UInt<UTerm, B1> {

    const F64: f64 = 1_f64;

}

impl<U, B> Sealed for UInt<U, B>

where

    U: NonZeroUnsigned,

    B: Bit,

{

    const F64: f64 = <U as Sealed>::F64 * 2_f64 + B::U8 as f64;

}

/// Type-level non-zero unsigned integers.

///

/// # Examples

///

/// This trait is basically implemented for types that implement [typenum]'s `Unsigned` and `NonZero`.

///

/// ```

/// use typerat::*;

/// use typenum::{UInt, UTerm};

///

/// fn to_u8_typenum<U: typenum::Unsigned + typenum::NonZero>() -> u8 {

///     U::to_u8()

/// }

///

/// fn to_u8_typerat<U: NonZeroUnsigned>() -> u8 {

///     U::to_u8()

/// }

///

/// assert_eq!(to_u8_typenum::<U1>(), 1_u8);

/// assert_eq!(to_u8_typerat::<U1>(), 1_u8);

/// ```

///

/// Unlike [typenum], compile time unsigned integers with leading zeros are not allowed.

///

/// ```

/// # use typerat::*;

/// # use typenum::{UInt, UTerm};

/// #

/// # fn to_u8_typenum<U: typenum::Unsigned + typenum::NonZero>() -> u8 {

/// #     U::to_u8()

/// # }

/// #

/// assert_eq!(to_u8_typenum::<UInt<UTerm, B0>>(), 0_u8);

/// ```

///

/// ```compile_fail

/// # use typerat::*;

/// # use typenum::{UInt, UTerm};

/// #

/// # fn to_u8_typerat<U: NonZeroUnsigned>() -> u8 {

/// #     U::to_u8()

/// # }

/// #

/// assert_eq!(to_u8_typerat::<UInt<UTerm, B0>>(), 0_u8);

/// ```

///

/// [typenum]: https://crates.io/crates/typenum

pub trait NonZeroUnsigned: Unsigned + typenum::NonZero + Sealed {}

impl NonZeroUnsigned for UInt<UTerm, B1> {}

impl<U, B> NonZeroUnsigned for UInt<U, B>

where

    U: NonZeroUnsigned,

    B: Bit,

{

}

#[cfg(test)]

mod tests {

    use super::*;

    use typenum::consts::*;

    #[test]

}