Crate num_convert

Generic traits for conversions between integer types.

• The FromByAdd trait for converting from negative integers to positive or vice versa.
• The IntoByAdd trait for converting into negative integers to positive or vice versa.
• The TryFromByAdd trait for converting from negative integers to positive or vice versa, that can fail.
• The TryIntoByAdd trait for converting into negative integers to positive or vice versa, that can fail.
• The FromAs generic trait for conversion from integers with possible overflow.
• The IntoAs generic trait for conversion into integers with possible overflow.
• The TryFromDigits trait for converting from digits as a number, with possible value types.

Other traits for integers.

• A trait IntegerLen to determine the number of digits of integers.
• The Sbits trait for define the size of integer value in bits.
• The Tbits trait for define the size of integer type in bits.
• The ToZero trait for implementing the null value of types.
• The ToMin trait for implement lower bounds on types.
• The ToMax trait for implement upper bounds on types.

Examples

Usage:

Convert from negative into positive and positive into negative.

assert_eq!(<u8>::from_by_add(-28i8), 100u8);
assert_eq!(<i8>::from_by_add(10u8), -118i8);

Usage:

Convert into between integer types.

fn integer_to_integer<T1: IntoByAdd<U1>, T2: IntoByAdd<U2>, U1, U2>(min: T1, max: T2) -> (U1, U2) {
    (min.into_by_add(), max.into_by_add())
}
assert_eq!(integer_to_integer(i16::MIN, u16::MAX), (u16::MIN, i16::MAX));
assert_eq!(integer_to_integer(u16::MIN, u16::MAX), (i16::MIN, i16::MAX));

Usage:

Convert from negative into positive without error and with error.

assert_eq!(<u8>::try_from_by_add(-128i16), Some(0u8));
assert_eq!(<u8>::try_from_by_add(-129i16), None);

Usage:

Convert between 128 bit types lossless.

assert_eq!(<i128 as TryIntoByAdd<u128>>::try_into_by_add(i128::MIN), Some(u128::MIN));
assert_eq!(<u128 as TryIntoByAdd<i128>>::try_into_by_add(u128::MIN), Some(i128::MIN));

Usage:

Conversions type u16 in u8 without overflow and with overflow.

assert_eq!(<u16 as IntoAs<u8>>::into_as(255u16), 255u8);
assert_eq!(<u16 as IntoAs<u8>>::into_as(258u16), 2u8);
assert_eq!(<u8>::from_as(261u16), 5u8);

Usage:

Converting from digits as a number.

let arr: [u32; 6] = [25_635_071, 25_634_091, 25_633_334, 25_636_309, 25_637_101, 25_636_243];
let val: Vec<u8> = arr.iter().map(|var| u8::from_digits(*var).unwrap_or(255u8) ).collect::<_>();
assert_eq!(val, [71, 91, 255, 255, 101, 243]);

Usage:

The size of integer values in bits.

assert_eq!((-128i8).sbits(), 8u32);
assert_eq!(u64::MAX.sbits(), 64u32);

Usage:

The size of integer type in bits.

assert_eq!(i8::tbits(), 8u32);
assert_eq!(u64::tbits(), 64u32);

Usage:

Determining the number of digits of integers.

assert_eq!(0i8.len(), 1usize);
assert_eq!(i8::MAX.len(), 3usize);
assert_eq!(i128::MAX.len(), 39usize);
assert_eq!(u128::MAX.len(), 39usize);

Traits

• CastFromAscast_from_as
  The CastFromAs trait for simple convert from value between integer types with possible overflow.
• CastIntoAscast_into_as
  The CastIntoAs trait for simple convert self value between integer types with possible overflow.
• FromAs
  The FromAs generic trait for convert from value between integer types with possible overflow.
• FromByAdd
  A generic trait for converting from possible types.
• IntegerLen
  A trait IntegerLen to determine the number of digits of integers.
• IntoAs
  The IntoAs trait for convert into value between integer types with overflow.
• IntoByAdd
  A generic trait for converting into possible types.
• Sbitsbits
  The Sbit trait for define the size of integer value in bits.
• Tbitsbits
  Generic trait for define the size of the integers type in bits.
• ToMaxto_max
  Trait to implement upper bounds on types.
• ToMinto_min
  Trait to implement lower bounds on types.
• ToZeroto_zero
  Trait for implementing the null value of types.
• TryFromByAdd
  A generic trait for converting from possible types.
• TryFromDigits
  A generic trait for converting from digits into possible types.
• TryIntoByAdd
  A generic trait for converting into possible types.
• TypeInfotype_info
  Trait for type info.
• ValTypeInfoval_type_info
  Trait value type info.