Crate funty

fundamental types

This crate provides trait unification of the Rust fundamental numbers, 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 IsNumber. 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 IsInteger and IsFloat. The former fills out the API of f32 and f64, while the latter covers all of the iN and uN numbers.

Lastly, IsInteger splits further, into IsSigned and IsUnsigned. 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.

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.

IsFloat

Declare that a type is a floating-point number.

IsInteger

Declare that a type is a fixed-point integer.

IsNumber

Declare that a type is an abstract number.

IsSigned

Declare that a type is a signed integer.

IsUnsigned

Declare that a type is an unsigned integer.