Crate funty

fundamental types

This crate provides trait unification of the Rust fundamental items, allowing users to declare the behavior they want from a number without committing to a single particular numeric type.

The number types can be categorized along two axes: behavior and width. Traits for each axis and group on that axis are provided:

Numeric Categories

The most general category is represented by the trait Numeric. It is implemented by all the numeric fundamentals, and includes only the traits that they all implement. This is an already-large amount: basic memory management, comparison, rendering, and numeric arithmetic.

The numbers are then split into Floating and Integral. The former fills out the API of f32 and f64, while the latter covers all of the iN and uN numbers.

Lastly, Integral splits further, into Signed and Unsigned. These provide the last specializations unique to the differences between iN and uN.

Width Categories

Every number implements the trait IsN for the N of its bit width. isize and usize implement the trait that matches their width on the target platform.

In addition, the trait groups AtLeastN and AtMostN enable clamping the range of acceptable widths to lower or upper bounds. These traits are equivalent to mem::size_of::<T>() >= N and mem::size_of::<T>() <= N, respectively.

!

Traits

• AtLeast8
  Declare that a type is eight or more bits wide.
• AtLeast16
  Declare that a type is sixteen or more bits wide.
• AtLeast32
  Declare that a type is thirty-two or more bits wide.
• AtLeast64
  Declare that a type is sixty-four or more bits wide.
• AtLeast128
  Declare that a type is one hundred twenty-eight or more bits wide.
• AtMost8
  Declare that a type is eight or fewer bits wide.
• AtMost16
  Declare that a type is sixteen or fewer bits wide.
• AtMost32
  Declare that a type is thirty-two or fewer bits wide.
• AtMost64
  Declare that a type is sixty-four or fewer bits wide.
• AtMost128
  Declare that a type is one hundred twenty-eight or fewer bits wide.
• Floating
  Declare that a type is a floating-point number.
• Fundamental
  Declare that a type is one of the language fundamental types.
• Integral
  Declare that a type is a fixed-point integer.
• Is8
  Declare that a type is exactly eight bits wide.
• Is16
  Declare that a type is exactly sixteen bits wide.
• Is32
  Declare that a type is exactly thirty-two bits wide.
• Is64
  Declare that a type is exactly sixty-four bits wide.
• Is128
  Declare that a type is exactly one hundred twenty-eight bits wide.
• Numeric
  Declare that a type is an abstract number.
• Signed
  Declare that a type is a signed integer.
• Unsigned
  Declare that a type is an unsigned integer.