carr 0.1.4

Constant sized arrays using const generics
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

//! Compile-time evaluation of constant assertions.
//!
//! See [`Prop`] for an example.

/// Used to establish the truthiness of a condition at compile time.
///
/// Example:
/// ```
/// # #![expect(incomplete_features)]
/// # #![feature(generic_const_items, gca_min_const_items, gca_const_items, gca_macroless_args)]
/// use carr::prop::{Prop, PropTrue};
///
/// const IS_EVEN<const X: usize>: bool = (X % 2) == 0;
/// fn foo<const X: usize>()
/// where
///     Prop<{ IS_EVEN::<X> }>: PropTrue
/// {
///     // ...
/// }
/// ```
pub struct Prop<const COND: bool>;

/// Implemented for [`Prop<true>`]. Should not be implemented for any other types, or outside of
/// this crate.
pub trait PropTrue {}

impl PropTrue for Prop<true> {}

/// Implemented for [`Prop<false>`]. Should not be implemented for any other types, or outside of
/// this crate.
pub trait PropFalse {}

impl PropFalse for Prop<false> {}