just_prim_int

Crates.iojust_prim_int
lib.rsjust_prim_int
version0.1.1
sourcesrc
created_at2022-02-09 06:39:27.037202
updated_at2022-02-14 21:00:11.509582
descriptionPrimitive integer marker traits
homepage
repositoryhttps://github.com/JohnScience/just_prim_int
max_upload_size
id529535
size10,588
Dmitrii - Demenev (JohnScience)

documentation

https://docs.rs/just_prim_int

README

Primitive integer marker traits

This crate provides marker traits for primitive integers:

Numeric types

Integer types

The unsigned integer types consist of:

Type Minimum Maximum

u8 | 0 | 28-1 u16 | 0 | 216-1 u32 | 0 | 232-1 u64 | 0 | 264-1 u128 | 0 | 2128-1

The signed two's complement integer types consist of:

Type Minimum Maximum

i8 | -(27) | 27-1 i16 | -(215) | 215-1 i32 | -(231) | 231-1 i64 | -(263) | 263-1 i128 | -(2127) | 2127-1

Machine-dependent integer types

The usize type is an unsigned integer type with the same number of bits as the platform's pointer type. It can represent every memory address in the process.

The isize type is a signed integer type with the same number of bits as the platform's pointer type. The theoretical upper bound on object and array size is the maximum isize value. This ensures that isize can be used to calculate differences between pointers into an object or array and can address every byte within an object along with one byte past the end.

usize and isize are at least 16-bits wide.

Example

Cargo.toml

## ...

[dependencies]
just_prim_int = { version = "0.1.0" }

## ...

[features]

## https://doc.rust-lang.org/beta/unstable-book/language-features/marker-trait-attr.html
marker_trait_attr = ["just_prim_int/marker_trait_attr"]

src/main.rs

// Uncomment if you want to conditionally use the feature. Remove otherwise.
// #![cfg_attr(feature = "marker_trait_attr", feature(marker_trait_attr))]

use just_prim_int::PrimInt;

trait MyExtensionTraitForPrimInts: PrimInt {
    // ...
}

fn main() {}

Building, running, and testing

  • cargo build <other options> --features marker_trait_attr if you want the feature and cargo build <other options> otherwise;
  • cargo run<other options> --features marker_trait_attr if you want the feature and cargo build <other options> otherwise;
  • cargo test <other options> --features marker_trait_attr if you want the feature and cargo test <other options> otherwise.

Features

With marker_trait_attr Nightly feature, each of the provided traits also has #[marker] attribute which allows more optimal implementation of PrimInt via two "overlapping" generic impl blocks, one for T: PrimSignedInt and the other for T: PrimUnsignedInt. Without #[marker] attribute, they would be conflicting.

Similar crates by the author:

  • epui - Equisized (primitive) unsigned ints for primitive ints: u8 for u8, u16 for i16, etc
  • epsi - Equisized (primitive) signed ints for primitive ints
  • primitive_promotion - Primitive promotions for primitive numeric types: u16 for u8, i32 for i16, f64 for f32, etc
  • is_signed_trait - Trait for IS_SIGNED associated constant
  • max_len_base_10_as_usize - Trait offering constant maximum lengths of primitive integers as usize
  • min_max_traits - Traits for MIN and MAX associated constants
  • as well as others that can be found on crates.io

Alternatives

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Commit count: 4

cargo fmt