Trait ChooseMinimallyRepresentableUInt

Source

pub trait ChooseMinimallyRepresentableUInt: SealedTrait {
    type Output: AddAssign + Add<Self::Output, Output = Self::Output> + PartialOrd + Debug + Display + Copy + Eq + Ord + Clone + Hash + Default;
    type AtomicOutput;

    const ZERO: Self::Output;
    const ONE: Self::Output;

    // Required method
    fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output;
}

Expand description

A trait for types that can choose the minimally representable unsigned integer.

Required Associated Constants§

Source

const ZERO: Self::Output

The additive identity of the type Self::Output, e.g. 0_usize, 0_u32.

Source

const ONE: Self::Output

The multiplicative identity of the type Self::Output, e.g. 1_usize, 1_u32.

Required Associated Types§

Source

type Output: AddAssign + Add<Self::Output, Output = Self::Output> + PartialOrd + Debug + Display + Copy + Eq + Ord + Clone + Hash + Default

The Rust’s primitive unsigned integer type that is minimally representable of the unsigned integer represented at the type level by Self. e.g. If Self is typenum::consts::U69, then Self::Output is u8.

Source

type AtomicOutput

Currently, a placeholder for future feature of this crate. Safe to put a placeholder here because this is a ‘Sealed’ trait.

Required Methods§

Source

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

A convenient method to convert the unsigned integer represented at the type level by Self to a value of type Self::Output. e.g. converting from typenum::consts::U69 to 69_u8.

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.

Trait ChooseMinimallyRepresentableUIntCopy item path

Required Associated Constants§

const ZERO: Self::Output

const ONE: Self::Output

Required Associated Types§

type Output: AddAssign + Add<Self::Output, Output = Self::Output> + PartialOrd + Debug + Display + Copy + Eq + Ord + Clone + Hash + Default

type AtomicOutput

Required Methods§

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

Dyn Compatibility§

Implementations on Foreign Types§

impl ChooseMinimallyRepresentableUInt for U0

const ZERO: Self::Output

const ONE: Self::Output

type Output = NumericalZeroSizedType

type AtomicOutput = NumericalZeroSizedType

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00> ChooseMinimallyRepresentableUInt for UInt<UTerm, B00>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UTerm, B00> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UTerm, B00> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01> ChooseMinimallyRepresentableUInt for UInt<UInt<UTerm, B00>, B01>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UTerm, B00>, B01>, B02>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06, B07> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>

const ZERO: Self::Output = {transmute(0x00): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x01): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u8

type AtomicOutput = <u8 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06, B07, B10> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10>

const ZERO: Self::Output = {transmute(0x0000): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10> as traits::ChooseMinimallyRepresentableUInt>::Output}

const ONE: Self::Output = {transmute(0x0001): <typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UInt<typenum::UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10> as traits::ChooseMinimallyRepresentableUInt>::Output}

type Output = u16

type AtomicOutput = <u16 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06, B07, B10, B11> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10>, B11>

type Output = u16

type AtomicOutput = <u16 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06, B07, B10, B11, B12> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10>, B11>, B12>

type Output = u16

type AtomicOutput = <u16 as AsAtomic>::Output

fn cast_unsigned_to_self_type<T: Unsigned>(_: SealedToken) -> Self::Output

impl<B00, B01, B02, B03, B04, B05, B06, B07, B10, B11, B12, B13> ChooseMinimallyRepresentableUInt for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B00>, B01>, B02>, B03>, B04>, B05>, B06>, B07>, B10>, B11>, B12>, B13>

Trait ChooseMinimallyRepresentableUInt