Trait Semantics 

pub trait Semantics: Sized {
    const BITS: usize;
    const EXP_BITS: usize;
    const PRECISION: usize = _;
    const NONFINITE_BEHAVIOR: NonfiniteBehavior = NonfiniteBehavior::IEEE754;
    const MAX_EXP: ExpInt = _;
    const IEEE_MAX_EXP: ExpInt = _;
    const MIN_EXP: ExpInt = Self::IEEE_MIN_EXP;
    const IEEE_MIN_EXP: ExpInt = _;
    const NAN_SIGNIFICAND_BASE: u128 = _;
    const NAN_PAYLOAD_MASK: u128 = _;
    const QNAN_SIGNIFICAND: u128 = _;

    // Provided methods
    fn from_bits(bits: u128) -> IeeeFloat<Self> { ... }
    fn to_bits(x: IeeeFloat<Self>) -> u128 { ... }
}

Represents floating point arithmetic semantics.

Required Associated Constants

const BITS: usize

Total number of bits in the interchange format.

const EXP_BITS: usize

Number of exponent bits in the interchange format.

Provided Associated Constants

const PRECISION: usize = _

Number of bits in the significand. This includes the integer bit.

const NONFINITE_BEHAVIOR: NonfiniteBehavior = NonfiniteBehavior::IEEE754

How the nonfinite values Inf and NaN are represented.

const MAX_EXP: ExpInt = _

The largest E such that 2^E is representable; this matches the definition of IEEE 754.

const IEEE_MAX_EXP: ExpInt = _

const MIN_EXP: ExpInt = Self::IEEE_MIN_EXP

The smallest E such that 2^E is a normalized number; this matches the definition of IEEE 754.

const IEEE_MIN_EXP: ExpInt = _

const NAN_SIGNIFICAND_BASE: u128 = _

The base significand bitpattern of NaNs, i.e. the bits that must always be set in all NaNs, with other significand bits being either used for payload bits (if NAN_PAYLOAD_MASK covers them) or always unset.

const NAN_PAYLOAD_MASK: u128 = _

The significand bitmask for the payload of a NaN (if supported), including the “quiet bit” (telling QNaNs apart from SNaNs).

const QNAN_SIGNIFICAND: u128 = _

The significand bitpattern to mark a NaN as quiet (if supported).

NOTE: for X87DoubleExtended we need to set two bits instead of one.

NOTE: all NaNs are quiet if unsupported (see NonfiniteBehavior::NanOnly).

Provided Methods

fn from_bits(bits: u128) -> IeeeFloat<Self>

fn to_bits(x: IeeeFloat<Self>) -> u128

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Semantics for BFloatS

const BITS: usize = 16usize

const EXP_BITS: usize = 8usize

impl Semantics for DoubleS

const BITS: usize = 64usize

const EXP_BITS: usize = 11usize

impl Semantics for Float8E4M3FNS

const BITS: usize = 8usize

const EXP_BITS: usize = 4usize

const NONFINITE_BEHAVIOR: NonfiniteBehavior = NonfiniteBehavior::NanOnly

impl Semantics for Float8E5M2S

const BITS: usize = 8usize

const EXP_BITS: usize = 5usize

impl Semantics for HalfS

const BITS: usize = 16usize

const EXP_BITS: usize = 5usize

impl Semantics for QuadS

const BITS: usize = 128usize

const EXP_BITS: usize = 15usize

impl Semantics for SingleS

const BITS: usize = 32usize

const EXP_BITS: usize = 8usize

impl Semantics for X87DoubleExtendedS

const BITS: usize = 80usize

const EXP_BITS: usize = 15usize

const PRECISION: usize = 64usize

const QNAN_SIGNIFICAND: u128 = 13_835_058_055_282_163_712u128

impl<F: Float> Semantics for FallbackExtendedS<F>

const BITS: usize = 0usize

const EXP_BITS: usize = 0usize

const PRECISION: usize = Fallback<F>::PRECISION

const MAX_EXP: ExpInt

const MIN_EXP: ExpInt

impl<F: Float> Semantics for FallbackS<F>

const BITS: usize = 0usize

const EXP_BITS: usize = 0usize

const PRECISION: usize

const MAX_EXP: ExpInt

const MIN_EXP: ExpInt