[−][src]Trait conv::ApproxFrom

pub trait ApproxFrom<Src, Scheme = DefaultApprox>: Sized where
    Scheme: ApproxScheme, {
    type Err: Error;
    fn approx_from(src: Src) -> Result<Self, Self::Err>;
}

This trait is used to perform a conversion that is permitted to approximate the result, but not to wrap or saturate the result to fit into the destination type's representable range.

Where possible, prefer implementing this trait over ApproxInto, but prefer using ApproxInto for generic constraints.

Details

All implementations of this trait must provide a conversion that can be separated into two logical steps: an approximation transform, and a representation transform.

The "approximation transform" step involves transforming the input value into an approximately equivalent value which is supported by the target type without taking the target type's representable range into account. For example, this might involve rounding or truncating a floating point value to an integer, or reducing the accuracy of a floating point value.

The "representation transform" step exactly rewrites the value from the source type's binary representation into the destination type's binary representation. This step may not transform the value in any way. If the result of the approximation is not representable, the conversion must fail.

The major reason for this formulation is to exactly define what happens when converting between floating point and integer types. Often, it is unclear what happens to floating point values beyond the range of the target integer type. Do they saturate, wrap, or cause a failure?

With this formulation, it is well-defined: if a floating point value is outside the representable range, the conversion fails. This allows users to distinguish between approximation and range violation, and act accordingly.

Associated Types

`type Err: Error`

The error type produced by a failed conversion.

Loading content...

Required methods

`fn approx_from(src: Src) -> Result<Self, Self::Err>`

Convert the given value into an approximately equivalent representation.

Loading content...

[−][src]Trait conv::ApproxFrom

Details

Associated Types

type Err: Error

Required methods

fn approx_from(src: Src) -> Result<Self, Self::Err>

Implementations on Foreign Types

impl ApproxFrom<i8, DefaultApprox> for i16[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i16, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for i16[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i16, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for i32[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i32, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for i32[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i32, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for i64[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i64, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for i64[src]

type Err = NoError

fn approx_from(src: i8) -> Result<i64, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for u8[src]

type Err = NegOverflow<i8>

fn approx_from(src: i8) -> Result<u8, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for u8[src]

type Err = NoError

fn approx_from(src: i8) -> Result<u8, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for u16[src]

type Err = NegOverflow<i8>

fn approx_from(src: i8) -> Result<u16, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for u16[src]

type Err = NoError

fn approx_from(src: i8) -> Result<u16, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for u32[src]

type Err = NegOverflow<i8>

fn approx_from(src: i8) -> Result<u32, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for u32[src]

type Err = NoError

fn approx_from(src: i8) -> Result<u32, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for u64[src]

type Err = NegOverflow<i8>

fn approx_from(src: i8) -> Result<u64, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for u64[src]

type Err = NoError

fn approx_from(src: i8) -> Result<u64, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for isize[src]

type Err = NoError

fn approx_from(src: i8) -> Result<isize, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for isize[src]

type Err = NoError

fn approx_from(src: i8) -> Result<isize, Self::Err>[src]

impl ApproxFrom<i8, DefaultApprox> for usize[src]

type Err = NegOverflow<i8>

fn approx_from(src: i8) -> Result<usize, Self::Err>[src]

impl ApproxFrom<i8, Wrapping> for usize[src]

type Err = NoError

fn approx_from(src: i8) -> Result<usize, Self::Err>[src]

impl ApproxFrom<i16, DefaultApprox> for i8[src]

type Err = RangeError<i16>

fn approx_from(src: i16) -> Result<i8, Self::Err>[src]

impl ApproxFrom<i16, Wrapping> for i8[src]

type Err = NoError

fn approx_from(src: i16) -> Result<i8, Self::Err>[src]

impl ApproxFrom<i16, DefaultApprox> for i32[src]

type Err = NoError

fn approx_from(src: i16) -> Result<i32, Self::Err>[src]

impl ApproxFrom<i16, Wrapping> for i32[src]

type Err = NoError

fn approx_from(src: i16) -> Result<i32, Self::Err>[src]

impl ApproxFrom<i16, DefaultApprox> for i64[src]

type Err = NoError

fn approx_from(src: i16) -> Result<i64, Self::Err>[src]

impl ApproxFrom<i16, Wrapping> for i64[src]

type Err = NoError

fn approx_from(src: i16) -> Result<i64, Self::Err>[src]

impl ApproxFrom<i16, DefaultApprox> for u8[src]

`type Err: Error`

`fn approx_from(src: Src) -> Result<Self, Self::Err>`

`impl ApproxFrom<i8, DefaultApprox> for i16`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i16, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for i16`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i16, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for i32`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i32, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for i32`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i32, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for i64`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i64, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for i64`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<i64, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for u8`[src]

`type Err = NegOverflow<i8>`

`fn approx_from(src: i8) -> Result<u8, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for u8`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<u8, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for u16`[src]

`type Err = NegOverflow<i8>`

`fn approx_from(src: i8) -> Result<u16, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for u16`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<u16, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for u32`[src]

`type Err = NegOverflow<i8>`

`fn approx_from(src: i8) -> Result<u32, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for u32`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<u32, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for u64`[src]

`type Err = NegOverflow<i8>`

`fn approx_from(src: i8) -> Result<u64, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for u64`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<u64, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for isize`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<isize, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for isize`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<isize, Self::Err>`[src]

`impl ApproxFrom<i8, DefaultApprox> for usize`[src]

`type Err = NegOverflow<i8>`

`fn approx_from(src: i8) -> Result<usize, Self::Err>`[src]

`impl ApproxFrom<i8, Wrapping> for usize`[src]

`type Err = NoError`

`fn approx_from(src: i8) -> Result<usize, Self::Err>`[src]

`impl ApproxFrom<i16, DefaultApprox> for i8`[src]

`type Err = RangeError<i16>`

`fn approx_from(src: i16) -> Result<i8, Self::Err>`[src]

`impl ApproxFrom<i16, Wrapping> for i8`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<i8, Self::Err>`[src]

`impl ApproxFrom<i16, DefaultApprox> for i32`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<i32, Self::Err>`[src]

`impl ApproxFrom<i16, Wrapping> for i32`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<i32, Self::Err>`[src]

`impl ApproxFrom<i16, DefaultApprox> for i64`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<i64, Self::Err>`[src]

`impl ApproxFrom<i16, Wrapping> for i64`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<i64, Self::Err>`[src]

`impl ApproxFrom<i16, DefaultApprox> for u8`[src]

`type Err = RangeError<i16>`

`fn approx_from(src: i16) -> Result<u8, Self::Err>`[src]

`impl ApproxFrom<i16, Wrapping> for u8`[src]

`type Err = NoError`

`fn approx_from(src: i16) -> Result<u8, Self::Err>`[src]