Struct _1

Source

pub struct _1;

Expand description

This denotes the number 1

Trait Implementations§

Source §

fn clone(&self) -> _1

Returns a duplicate of the value. Read more

1.0.0 · Source§

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

Source §

impl Debug for _1

Source §

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Source §

impl Hex for _1

Source §

const NUMBER: u32 = 1u32

Source §

impl HexAdd<_0> for _1

Source §

type Output = _1

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _0

Source §

type Output = _1

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _1

Source §

type Output = _2

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _2

Source §

type Output = _3

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _3

Source §

type Output = _4

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _4

Source §

type Output = _5

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _5

Source §

type Output = _6

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _6

Source §

type Output = _7

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _7

Source §

type Output = _8

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _8

Source §

type Output = _9

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _9

Source §

type Output = _A

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _A

Source §

type Output = _B

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _B

Source §

type Output = _C

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _C

Source §

type Output = _D

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _D

Source §

type Output = _E

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _E

Source §

type Output = _F

Source §

type Carry = _0

Source §

impl HexAdd<_1> for _F

Source §

type Output = _0

Source §

type Carry = _1

Source §

impl HexAdd<_2> for _1

Source §

type Output = _3

Source §

type Carry = _0

Source §

impl HexAdd<_3> for _1

Source §

type Output = _4

Source §

type Carry = _0

Source §

impl HexAdd<_4> for _1

Source §

type Output = _5

Source §

type Carry = _0

Source §

impl HexAdd<_5> for _1

Source §

type Output = _6

Source §

type Carry = _0

Source §

impl HexAdd<_6> for _1

Source §

type Output = _7

Source §

type Carry = _0

Source §

impl HexAdd<_7> for _1

Source §

type Output = _8

Source §

type Carry = _0

Source §

impl HexAdd<_8> for _1

Source §

type Output = _9

Source §

type Carry = _0

Source §

impl HexAdd<_9> for _1

Source §

type Output = _A

Source §

type Carry = _0

Source §

impl HexAdd<_A> for _1

Source §

type Output = _B

Source §

type Carry = _0

Source §

impl HexAdd<_B> for _1

Source §

type Output = _C

Source §

type Carry = _0

Source §

impl HexAdd<_C> for _1

Source §

type Output = _D

Source §

type Carry = _0

Source §

impl HexAdd<_D> for _1

Source §

type Output = _E

Source §

type Carry = _0

Source §

impl HexAdd<_E> for _1

Source §

type Output = _F

Source §

type Carry = _0

Source §

impl HexAdd<_F> for _1

Source §

type Output = _0

Source §

type Carry = _1

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _1
where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _0
where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _1
where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _2
where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _3
where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _4
where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _5
where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _6
where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _7
where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _8
where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _9
where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _A
where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _B
where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _C
where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _D
where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _E
where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _F
where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _1
where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _1
where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _1
where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _1
where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _1
where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _1
where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _1
where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _1
where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _1
where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _1
where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _1
where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _1
where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _1
where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _1
where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

Source §

type Output = R

Source §

type Carry = Cr

Source §

impl HexEqual<_0> for _1

Source §

type Output = _0

Source §

impl HexEqual<_1> for _0

Source §

type Output = _0

Source §

impl HexEqual<_1> for _1

Source §

type Output = _1

Source §

impl HexEqual<_1> for _2

Source §

type Output = _0

Source §

impl HexEqual<_1> for _3

Source §

type Output = _0

Source §

impl HexEqual<_1> for _4

Source §

type Output = _0

Source §

impl HexEqual<_1> for _5

Source §

type Output = _0

Source §

impl HexEqual<_1> for _6

Source §

type Output = _0

Source §

impl HexEqual<_1> for _7

Source §

type Output = _0

Source §

impl HexEqual<_1> for _8

Source §

type Output = _0

Source §

impl HexEqual<_1> for _9

Source §

type Output = _0

Source §

impl HexEqual<_1> for _A

Source §

type Output = _0

Source §

impl HexEqual<_1> for _B

Source §

type Output = _0

Source §

impl HexEqual<_1> for _C

Source §

type Output = _0

Source §

impl HexEqual<_1> for _D

Source §

type Output = _0

Source §

impl HexEqual<_1> for _E

Source §

type Output = _0

Source §

impl HexEqual<_1> for _F

Source §

type Output = _0

Source §

impl HexEqual<_2> for _1

Source §

type Output = _0

Source §

impl HexEqual<_3> for _1

Source §

type Output = _0

Source §

impl HexEqual<_4> for _1

Source §

type Output = _0

Source §

impl HexEqual<_5> for _1

Source §

type Output = _0

Source §

impl HexEqual<_6> for _1

Source §

type Output = _0

Source §

impl HexEqual<_7> for _1

Source §

type Output = _0

Source §

impl HexEqual<_8> for _1

Source §

type Output = _0

Source §

impl HexEqual<_9> for _1

Source §

type Output = _0

Source §

impl HexEqual<_A> for _1

Source §

type Output = _0

Source §

impl HexEqual<_B> for _1

Source §

type Output = _0

Source §

impl HexEqual<_C> for _1

Source §

type Output = _0

Source §

impl HexEqual<_D> for _1

Source §

type Output = _0

Source §

impl HexEqual<_E> for _1

Source §

type Output = _0

Source §

impl HexEqual<_F> for _1

Source §

type Output = _0

Source §

impl HexMul<_0> for _1

Source §

type Output = _0

Source §

type Carry = _0

Source §

impl HexMul<_1> for _0

Source §

type Output = _0

Source §

type Carry = _0

Source §

impl HexMul<_1> for _1

Source §

type Output = _1

Source §

type Carry = _0

Source §

impl HexMul<_1> for _2

Source §

type Output = _2

Source §

type Carry = _0

Source §

impl HexMul<_1> for _3

Source §

type Output = _3

Source §

type Carry = _0

Source §

impl HexMul<_1> for _4

Source §

type Output = _4

Source §

type Carry = _0

Source §

impl HexMul<_1> for _5

Source §

type Output = _5

Source §

type Carry = _0

Source §

impl HexMul<_1> for _6

Source §

type Output = _6

Source §

type Carry = _0

Source §

impl HexMul<_1> for _7

Source §

type Output = _7

Source §

type Carry = _0

Source §

impl HexMul<_1> for _8

Source §

type Output = _8

Source §

type Carry = _0

Source §

impl HexMul<_1> for _9

Source §

type Output = _9

Source §

type Carry = _0

Source §

impl HexMul<_1> for _A

Source §

type Output = _A

Source §

type Carry = _0

Source §

impl HexMul<_1> for _B

Source §

type Output = _B

Source §

type Carry = _0

Source §

impl HexMul<_1> for _C

Source §

type Output = _C

Source §

type Carry = _0

Source §

impl HexMul<_1> for _D

Source §

type Output = _D

Source §

type Carry = _0

Source §

impl HexMul<_1> for _E

Source §

type Output = _E

Source §

type Carry = _0

Source §

impl HexMul<_1> for _F

Source §

type Output = _F

Source §

type Carry = _0

Source §

impl HexMul<_2> for _1

Source §

type Output = _2

Source §

type Carry = _0

Source §

impl HexMul<_3> for _1

Source §

type Output = _3

Source §

type Carry = _0

Source §

impl HexMul<_4> for _1

Source §

type Output = _4

Source §

type Carry = _0

Source §

impl HexMul<_5> for _1

Source §

type Output = _5

Source §

type Carry = _0

Source §

impl HexMul<_6> for _1

Source §

type Output = _6

Source §

type Carry = _0

Source §

impl HexMul<_7> for _1

Source §

type Output = _7

Source §

type Carry = _0

Source §

impl HexMul<_8> for _1

Source §

type Output = _8

Source §

type Carry = _0

Source §

impl HexMul<_9> for _1

Source §

type Output = _9

Source §

type Carry = _0

Source §

impl HexMul<_A> for _1

Source §

type Output = _A

Source §

type Carry = _0

Source §

impl HexMul<_B> for _1

Source §

type Output = _B

Source §

type Carry = _0

Source §

impl HexMul<_C> for _1

Source §

type Output = _C

Source §

type Carry = _0

Source §

impl HexMul<_D> for _1

Source §

type Output = _D

Source §

type Carry = _0

Source §

impl HexMul<_E> for _1

Source §

type Output = _E

Source §

type Carry = _0

Source §

impl HexMul<_F> for _1

Source §

type Output = _F

Source §

type Carry = _0

Source §

impl AssertTrue for _1

Source §

impl Copy for _1

Source §

impl HexAssertEqual<_1> for _1

Auto Trait Implementations§

§

impl Freeze for _1

§

impl RefUnwindSafe for _1

§

impl Send for _1

§

impl Sync for _1

§

impl Unpin for _1

§

impl UnwindSafe for _1

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct _1Copy item path

Trait Implementations§

impl BinAnd<_0> for _1

type Output = _0

impl BinAnd<_1> for _0

type Output = _0

impl BinAnd<_1> for _1

type Output = _1

impl BinEq<_0> for _1

type Output = _0

impl BinEq<_1> for _0

type Output = _0

impl BinEq<_1> for _1

type Output = _1

impl BinNor<_0> for _1

type Output = _0

impl BinNor<_1> for _0

type Output = _0

impl BinNor<_1> for _1

type Output = _0

impl BinNot for _1

type Output = _0

impl BinOr<_0> for _1

type Output = _1

impl BinOr<_1> for _0

type Output = _1

impl BinOr<_1> for _1

type Output = _1

impl Binary for _1

const VALUE: bool = true

impl Clone for _1

fn clone(&self) -> _1

const fn clone_from(&mut self, source: &Self)

impl Debug for _1

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Hex for _1

const NUMBER: u32 = 1u32

impl HexAdd<_0> for _1

type Output = _1

type Carry = _0

impl HexAdd<_1> for _0

type Output = _1

type Carry = _0

impl HexAdd<_1> for _1

type Output = _2

type Carry = _0

impl HexAdd<_1> for _2

type Output = _3

type Carry = _0

impl HexAdd<_1> for _3

type Output = _4

type Carry = _0

impl HexAdd<_1> for _4

type Output = _5

type Carry = _0

impl HexAdd<_1> for _5

type Output = _6

type Carry = _0

impl HexAdd<_1> for _6

type Output = _7

type Carry = _0

impl HexAdd<_1> for _7

type Output = _8

type Carry = _0

impl HexAdd<_1> for _8

type Output = _9

type Carry = _0

impl HexAdd<_1> for _9

type Output = _A

type Carry = _0

impl HexAdd<_1> for _A

type Output = _B

type Carry = _0

impl HexAdd<_1> for _B

type Output = _C

type Carry = _0

impl HexAdd<_1> for _C

type Output = _D

type Carry = _0

impl HexAdd<_1> for _D

Struct _1

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _1
where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _0
where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _1
where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _2
where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _3
where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,