Struct bounded_registers::bounds::Bounded

pub struct Bounded<N, L, U> {
    pub val: N,
    // some fields omitted
}

A type whose behaviors enforce that its val member fall with in the range prescribed by L (a lower bound) and U (an upper bound).

Fields

val: N

Methods

impl<N, L, U> Bounded<N, L, U> where
    N: Clone + Copy + PartialOrd,
    L: ReifyTo<N>,
    U: ReifyTo<N>,
    U: IsGreater<L, Output = True>, 

pub fn new(val: N) -> Option<Self>

Make a new instance of a bounded value. If L <= val <= U does not hold, then new returns None.

impl<L, U> Bounded<u8, L, U>

pub const fn checked<V: Unsigned>() -> Self where
    V: IsLessOrEqual<U, Output = True>,
    V: IsGreaterOrEqual<L, Output = True>, 

Compile-type checked value.

impl<L, U> Bounded<u16, L, U>

pub const fn checked<V: Unsigned>() -> Self where
    V: IsLessOrEqual<U, Output = True>,
    V: IsGreaterOrEqual<L, Output = True>, 

Compile-type checked value.

impl<L, U> Bounded<u32, L, U>

pub const fn checked<V: Unsigned>() -> Self where
    V: IsLessOrEqual<U, Output = True>,
    V: IsGreaterOrEqual<L, Output = True>, 

Compile-type checked value.

impl<L, U> Bounded<u64, L, U>

pub const fn checked<V: Unsigned>() -> Self where
    V: IsLessOrEqual<U, Output = True>,
    V: IsGreaterOrEqual<L, Output = True>, 

Compile-type checked value.

impl<L, U> Bounded<usize, L, U>

pub const fn checked<V: Unsigned>() -> Self where
    V: IsLessOrEqual<U, Output = True>,
    V: IsGreaterOrEqual<L, Output = True>, 

Compile-type checked value.

Trait Implementations

impl<N: Debug, L: Debug, U: Debug> Debug for Bounded<N, L, U>

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

Formats the value using the given formatter.

impl<N: Copy, L: Copy, U: Copy> Copy for Bounded<N, L, U>

impl<N: Clone, L: Clone, U: Clone> Clone for Bounded<N, L, U>

fn clone(&self) -> Bounded<N, L, U>

Returns a copy of the value.

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

Performs copy-assignment from source.