Crate hax_bounded_integers 

Modules

_macro_utils

num_traits

This module provides traits for generic mathematics. This is a smaller and more opinionated version of num_traits.

Macros

refinement_int

Makes a refined new type in a very similar way to hax_lib::refinement_tyoe, but derives the various traits an integer type is expected to implement.

Structs

BoundedI8

Bounded i8 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedI16

Bounded i16 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedI32

Bounded i32 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedI64

Bounded i64 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedI128

Bounded i128 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedIsize

Bounded isize integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedU8

Bounded u8 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedU16

Bounded u16 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedU32

Bounded u32 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedU64

Bounded u64 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedU128

Bounded u128 integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.

BoundedUsize

Bounded usize integers. This struct enforces the invariant that values are greater or equal to MIN and less or equal to MAX.