[−][src]Struct bounded_registers::FieldDisj

pub struct FieldDisj<W> { /* fields omitted */ }

FieldDisj is short for Field Disjunction. It is a type which constitutes the intermediate result of the summing, or disjunct of two fields. It is not a type which one should use directly.

Trait Implementations

impl<W: Copy> Positioned for FieldDisj<W>[src]

type Width = W

impl<W, M: Unsigned, O: Unsigned, U: Unsigned, R> Add<FieldDisj<W>> for Field<W, M, O, U, R> where
    U: IsGreater<U0, Output = True> + ReifyTo<W>,
    W: Copy + Clone + PartialOrd + BitAnd<W, Output = W> + Shr<W, Output = W> + Default + Shl<W, Output = W> + BitOr<W, Output = W>,
    U0: ReifyTo<W>,
    O: ReifyTo<W>,
    M: ReifyTo<W>, [src]

type Output = FieldDisj<W>

The resulting type after applying the + operator.

impl<W, M: Unsigned, O: Unsigned, U: Unsigned, R> Add<Field<W, M, O, U, R>> for FieldDisj<W> where
    U: IsGreater<U0, Output = True> + ReifyTo<W>,
    W: Copy + Clone + PartialOrd + BitAnd<W, Output = W> + Shr<W, Output = W> + Default + Shl<W, Output = W> + BitOr<W, Output = W>,
    U0: ReifyTo<W>,
    O: ReifyTo<W>,
    M: ReifyTo<W>, [src]

type Output = FieldDisj<W>

The resulting type after applying the + operator.

Auto Trait Implementations

impl<W> Unpin for FieldDisj<W> where
    W: Unpin, 

impl<W> Send for FieldDisj<W> where
    W: Send, 

impl<W> Sync for FieldDisj<W> where
    W: Sync, 

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

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

impl<T> Same<T> for T[src]

type Output = T

Should always be Self