Struct const_arithmetic::TypedInteger

pub struct TypedInteger<H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex> { /* private fields */ }

A struct which generics represents an unique integer from 0 to 2 ** 32 - 1

Example

use const_arithmetic::*;
let a = parse_integer!(3);
// a has type TypedInteger<_3, _0, _0, _0, _0, _0, _0, _0>

Implementations

impl<H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex> TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>

pub const fn new() -> Self

pub const fn number() -> u32

Returns the value of the Typed integer

Example

use const_arithmetic::*;
let a = parse_integer!(3);
assert_eq!(a.number(), 3);

Trait Implementations

impl<H0: Clone + Hex, H1: Clone + Hex, H2: Clone + Hex, H3: Clone + Hex, H4: Clone + Hex, H5: Clone + Hex, H6: Clone + Hex, H7: Clone + Hex> Clone for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>

fn clone(&self) -> TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex> IsInteger for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>

type Hex0 = H0

type Hex1 = H1

type Hex2 = H2

type Hex3 = H3

type Hex4 = H4

type Hex5 = H5

type Hex6 = H6

type Hex7 = H7

fn number() -> u32

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: IsInteger> TypedAdd<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Add<N, Output = R>,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: IsInteger, O: IsInteger> TypedDiv<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Div<N, Output = R, Remainder = O>,

type Output = R

type Remainder = O

impl<N, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: Binary> TypedEqual<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where N: _Equal<TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>, Output = R> + IsInteger,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: Binary> TypedGeq<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Geq<N, Output = R>,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: Binary> TypedGreaterThan<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _GreaterThan<N, Output = R>,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: Binary> TypedLeq<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Leq<N, Output = R>,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: Binary> TypedLessThan<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _LessThan<N, Output = R>,

type Output = R

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: IsInteger, O: IsInteger> TypedMul<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Mul<N, Output = R, Overflow = O>,

type Output = R

type Overflow = O

impl<N: IsInteger, H0: Hex, H1: Hex, H2: Hex, H3: Hex, H4: Hex, H5: Hex, H6: Hex, H7: Hex, R: IsInteger> TypedSub<N> for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>where TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>: _Sub<N, Output = R>,

type Output = R

impl<H0: Copy + Hex, H1: Copy + Hex, H2: Copy + Hex, H3: Copy + Hex, H4: Copy + Hex, H5: Copy + Hex, H6: Copy + Hex, H7: Copy + Hex> Copy for TypedInteger<H0, H1, H2, H3, H4, H5, H6, H7>

impl<N: IsInteger> TypedAssertEqual<N> for TypedInteger<N::Hex0, N::Hex1, N::Hex2, N::Hex3, N::Hex4, N::Hex5, N::Hex6, N::Hex7>