typed_use_cases 0.1.2

Formalize use cases at the type level. Zero runtime overhead. Experimental proof-of-concept.
Documentation 
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

/// Verifies at compile time (within test builds) that the given system type
/// implements all declared use case traits.
///
/// Zero runtime overhead — expands to a #[cfg(test)] block only.
///
/// # Example
/// ```rust,no_run
/// use typed_use_cases::implement_all_use_cases;
/// 
/// # struct System;
/// # trait AddItemToCart {}
/// # trait BrowseCatalog {}
/// # trait Login {}
/// # trait Checkout {}
/// implement_all_use_cases!(System: [
///     AddItemToCart,
///     BrowseCatalog,
///     Login,
///     Checkout,
/// ]);
/// ```
#[macro_export]
macro_rules! implement_all_use_cases {
    ($system:ty : [$($use_case:ty),* $(,)?]) => {
        #[cfg(test)]
        mod __use_cases_verification {
            use super::*;
            $(
                static_assertions::assert_impl_all!($system: $use_case);
            )*
        }
    };
}