sealed_trait 0.1.1

A utility for making sealed traits more accessible
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

#[macro_export]
/// The whole point.
///
/// See crate documentation for more information.
macro_rules! sealed_trait {
    (
        $v:vis sealed trait $name:ty: [$($requires:ty),*] permits $($sealed_type:ty)* => $body:tt
    ) => {
        $crate::paste::paste! {
            #[allow(unused)]
            trait [<$name Sealer>] {}
            $(
                impl [<$name Sealer>] for $sealed_type {}
            )*

            #[allow(private_bounds)]
            $v trait $name: [<$name Sealer>] $(+ $requires)* $body
        }
    };

    ($v:vis sealed trait $name:ident permits $($sealed_type:ty)* => $body:tt) => {
        $crate::paste::paste! {
            #[allow(unused)]
            trait [<$name Sealer>] {}
            $(
                impl [<$name Sealer>] for $sealed_type {}
            )*

            #[allow(private_bounds)]
            $v trait $name: [<$name Sealer>] $body
        }
    }
}