Struct arpfloat::Float

pub struct Float<const EXPONENT: usize, const MANTISSA: usize> { /* private fields */ }

This is the main data structure of this library. It represents an arbitrary-precision floating-point number. The data structure is generic and accepts the EXPONENT and MANTISSA constants, that represent the encoding number of bits that are dedicated to storing these values.

Implementations

impl<const EXPONENT: usize, const MANTISSA: usize> Float<EXPONENT, MANTISSA>

pub fn add_with_rm(a: Self, b: Self, rm: RoundingMode) -> Self

Computes a+b using the rounding mode rm.

pub fn sub_with_rm(a: Self, b: Self, rm: RoundingMode) -> Self

Computes a-b using the rounding mode rm.

impl<const EXPONENT: usize, const MANTISSA: usize> Float<EXPONENT, MANTISSA>

pub fn mul_with_rm(a: Self, b: Self, rm: RoundingMode) -> Self

Compute a*b using the rounding mode rm.

impl<const EXPONENT: usize, const MANTISSA: usize> Float<EXPONENT, MANTISSA>

pub fn div_with_rm(a: Self, b: Self, rm: RoundingMode) -> Self

Compute a/b, with the rounding mode rm.

impl<const EXPONENT: usize, const MANTISSA: usize> Float<EXPONENT, MANTISSA>

pub fn from_u64(val: u64) -> Self

Load the integer val into the float. Notice that the number may overflow, or rounded to the nearest even integer.

pub fn from_i64(val: i64) -> Self

Load the integer val into the float. Notice that the number may overflow, or rounded to the nearest even integer.

pub fn to_i64(&self, rm: RoundingMode) -> i64

Converts and returns the rounded integral part.

pub fn trunc(&self) -> Self

Returns a value that is rounded to the nearest integer that’s not larger in magnitude than this float.

pub fn cast_with_rm<const E: usize, const M: usize>(
    &self,
    rm: RoundingMode
) -> Float<E, M>

Cast to another float using the rounding mode rm.

pub fn cast<const E: usize, const M: usize>(&self) -> Float<E, M>

Convert from one float format to another.

pub fn as_f32(&self) -> f32

pub fn as_f64(&self) -> f64

pub fn from_f32(float: f32) -> Self

pub fn from_f64(float: f64) -> Self

impl<const EXPONENT: usize, const MANTISSA: usize> Float<EXPONENT, MANTISSA>

pub fn new(sign: bool, exp: i64, mantissa: BigInt<4>) -> Self

Create a new normal floating point number.

pub fn raw(sign: bool, exp: i64, mantissa: BigInt<4>, category: Category) -> Self

Create a new normal floating point number.

pub fn zero(sign: bool) -> Self

Returns a new zero float.

pub fn inf(sign: bool) -> Self

Returns a new infinity float.

pub fn nan(sign: bool) -> Self

Returns a new NaN float.

pub fn is_negative(&self) -> bool

Returns true if the Float is negative

pub fn is_inf(&self) -> bool

Returns true if the Float is +-inf.

pub fn is_nan(&self) -> bool

Returns true if the Float is a +- NaN.

pub fn is_zero(&self) -> bool

Returns true if the Float is a +- NaN.

pub fn is_normal(&self) -> bool

Returns true if this number is normal (not Zero, Nan, Inf).

pub fn set_sign(&mut self, sign: bool)

Update the sign of the float to sign. True means negative.

pub fn get_sign(&self) -> bool

Returns the sign of the float. True means negative.

pub fn get_mantissa(&self) -> BigInt<4>

Returns the mantissa of the float.

pub fn get_exp(&self) -> i64

Returns the exponent of the float.

pub fn get_category(&self) -> Category

Returns the category of the float.

pub fn neg(&self) -> Self

Returns a new float which has a flipped sign (negated value).

pub fn dump(&self)

Prints the number using the internal representation.

pub fn get_exp_bounds() -> (i64, i64)

Returns the upper and lower bounds of the exponent.

Trait Implementations

impl<const EXPONENT: usize, const MANTISSA: usize> Add<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

type Output = Float<EXPONENT, MANTISSA>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl<const EXPONENT: usize, const MANTISSA: usize> Clone for Float<EXPONENT, MANTISSA>

fn clone(&self) -> Float<EXPONENT, MANTISSA>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<const EXPONENT: usize, const MANTISSA: usize> Debug for Float<EXPONENT, MANTISSA>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const EXPONENT: usize, const MANTISSA: usize> Display for Float<EXPONENT, MANTISSA>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const EXPONENT: usize, const MANTISSA: usize> Div<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

type Output = Float<EXPONENT, MANTISSA>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self

Performs the / operation.

impl<const EXPONENT: usize, const MANTISSA: usize> Mul<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

type Output = Float<EXPONENT, MANTISSA>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl<const EXPONENT: usize, const MANTISSA: usize> PartialEq<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<const EXPONENT: usize, const MANTISSA: usize> PartialOrd<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

Page 66. Chapter 3. Floating-Point Formats and Environment Table 3.8: Comparison predicates and the four relations. and IEEE 754-2019 section 5.10 - totalOrder.

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<const EXPONENT: usize, const MANTISSA: usize> Sub<Float<EXPONENT, MANTISSA>> for Float<EXPONENT, MANTISSA>

type Output = Float<EXPONENT, MANTISSA>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl<const EXPONENT: usize, const MANTISSA: usize> Copy for Float<EXPONENT, MANTISSA>