Trait checked_rs::Behavior

pub trait Behavior: Copy + 'static {
    // Required methods
    fn add<T: Add<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Add<Output = Saturating<T>>;
    fn sub<T: Sub<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Sub<Output = Saturating<T>>;
    fn mul<T: Mul<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Mul<Output = Saturating<T>>;
    fn div<T: Div<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Div<Output = Saturating<T>>;
    fn rem<T: Rem<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Rem<Output = Saturating<T>>;
    fn bitand<T: BitAnd<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: BitAnd<Output = Saturating<T>>;
    fn bitor<T: BitOr<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: BitOr<Output = Saturating<T>>;
    fn bitxor<T: BitXor<Output = T>>(
        lhs: T,
        rhs: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: BitXor<Output = Saturating<T>>;
    fn neg<T: Neg<Output = T>>(
        value: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Neg<Output = Saturating<T>>;
    fn not<T: Not<Output = T>>(
        value: T,
        min: T::Output,
        max: T::Output,
    ) -> T::Output
       where T::Output: Eq + Ord,
             Saturating<T>: Not<Output = Saturating<T>>;
}

Required Methods

fn add<T: Add<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Add<Output = Saturating<T>>,

fn sub<T: Sub<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Sub<Output = Saturating<T>>,

fn mul<T: Mul<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Mul<Output = Saturating<T>>,

fn div<T: Div<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Div<Output = Saturating<T>>,

fn rem<T: Rem<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Rem<Output = Saturating<T>>,

fn bitand<T: BitAnd<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: BitAnd<Output = Saturating<T>>,

fn bitor<T: BitOr<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: BitOr<Output = Saturating<T>>,

fn bitxor<T: BitXor<Output = T>>( lhs: T, rhs: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: BitXor<Output = Saturating<T>>,

fn neg<T: Neg<Output = T>>( value: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Neg<Output = Saturating<T>>,

fn not<T: Not<Output = T>>( value: T, min: T::Output, max: T::Output, ) -> T::Output

where T::Output: Eq + Ord, Saturating<T>: Not<Output = Saturating<T>>,

Object Safety

This trait is not object safe.

Implementors

impl Behavior for Panicking

impl Behavior for Saturating