kernel/num/bounded.rs

20 /// Evaluates to `true` if `$value` can be represented using at most `$n` bits in a `$type`.
37 /// Returns `true` if `value` can be represented with at most `N` bits in a `T`.
54 /// - Stored values can be represented with at most `N` bits.
85 /// // This succeeds because `15` can be represented with 4 unsigned bits.
88 /// // This fails because `16` cannot be represented with 4 unsigned bits.
153 /// // represented with 8 bits.
241             /// Fails at build time if `VALUE` cannot be represented with `N` bits.
262                 // SAFETY: `fits_within` confirmed that `VALUE` can be represented within
287     /// The caller must ensure that `value` can be represented within `N` bits.
333             // SAFETY: `fits_within` confirmed that `value` can be represented within `N` bits.  in try_new()
376         // SAFETY: `fits_within` confirmed that `expr` can be represented within `N` bits.  in from_expr()
423     /// Returns [`None`] if the value of `self` cannot be represented within `M` bits.
432     /// // `7` can be represented using 3 unsigned bits...
468         // SAFETY: The converted value is represented using `N` bits, `U` can contain `N` bits, and  in cast()
472         // SAFETY: Although the backing type has changed, the value is still represented within  in cast()
879 /// Implements `$trait` for all [`Bounded`] types represented using `$num_bits`.
1057         // SAFETY: A boolean can be represented using a single bit, and thus fits within any  in from()