Trait EnsureFrom

pub trait EnsureFrom<T>:
    TryFrom<T>
    + PartialOrd
    + Zero
where
    T: PartialOrd + Zero,
{
    // Provided method
    fn ensure_from(other: T) -> Result<Self, ArithmeticError> { ... }
}

Similar to TryFrom but returning an ArithmeticError error.

Provided Methods

fn ensure_from(other: T) -> Result<Self, ArithmeticError>

Performs the conversion returning an ArithmeticError if fails.

Similar to TryFrom::try_from() but returning an ArithmeticError error.

use sp_arithmetic::{traits::EnsureFrom, ArithmeticError};

fn overflow() -> Result<(), ArithmeticError> {
    let byte: u8 = u8::ensure_from(256u16)?;
    Ok(())
}

fn underflow() -> Result<(), ArithmeticError> {
    let byte: i8 = i8::ensure_from(-129i16)?;
    Ok(())
}

assert_eq!(overflow(), Err(ArithmeticError::Overflow));
assert_eq!(underflow(), Err(ArithmeticError::Underflow));

Object Safety

This trait is not object safe.

Implementors

impl<T, S> EnsureFrom<S> for T

where T: TryFrom<S> + PartialOrd + Zero, S: PartialOrd + Zero,