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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
//! Oh, hi `mark`.
//!
//! [github]: https://img.shields.io/badge/github-8da0cb?style=for-the-badge&labelColor=555555&logo=github
//! [crates-io]: https://img.shields.io/badge/crates.io-fc8d62?style=for-the-badge&labelColor=555555&logo=rust
//! [docs-rs]: https://img.shields.io/badge/docs.rs-66c2a5?style=for-the-badge&labelColor=555555&logo=docs.rs
//!
//! For those who crave more ergonomic marker traits.
//!
//! ## Introduction
//! Marker traits are a common design pattern in Rust, used to denote certain properties or capabilities of types without requiring any additional implementation. However, managing marker traits can be tedious and often leads to boilerplate code. The `himark` crate aims to alleviate these issues by providing ergonomic utilities for working with marker traits.
//!
//! ## About
//! The `himark` crate simplifies the usage of marker traits in Rust by offering two main features:
//!
//! 1. **Automatic Implementation Generation**: Use `himark::mark` to automatically generate `impl` blocks for marker traits.
//! 2. **Trait Validation**: Use `himark::marker` to ensure that a trait meets the criteria for being a marker trait.
//!
//! ## Usage
//!
//! ### Generating Implementations for Marker Traits
//! The `himark::mark` attribute macro generates implementations for specified marker traits, reducing the need for boilerplate code.
//!
//! #### Example:
//! ```rust
//! use himark::mark;
//!
//! #[mark(MyMarkerTrait)]
//! struct MyStruct;
//! ```
//!
//! This will automatically generate the following implementation:
//! ```rust
//! impl MyMarkerTrait for MyStruct {}
//! ```
//!
//! ### Validating Marker Traits
//! The `himark::marker` attribute macro validates that a trait meets the criteria of being a marker trait, ensuring that it has no associated items and that all its super traits are also markers or auto traits.
//!
//! #### Example:
//! ```rust
//! use himark::marker;
//!
//! #[marker]
//! trait MyMarkerTrait {}
//! ```
//!
//! This macro will produce a compile-time error if the trait does not meet the criteria for being a marker trait.
//!
//! ### Recommended configuration
//!
//! For best user experience we recommend importing `himark` as `hi` either with `use himark as hi;` or custom `Cargo.toml` configuration.
//!
//! ```toml
//! [dependencies]
//! hi = { package = "himark", version = ... }
//! ```
//!
//! And write code as allows:
//!
//! ```rust
//! use himark as hi;
//!
//! #[hi::mark(...)]
//! struct Foo { }
//! ```
//!
//! ## Features
//! - **Automatic Implementation Generation**: Simplifies the process of implementing marker traits.
//! - **Trait Validation**: Ensures that your marker traits conform to the expected structure.
//!
//! ## Contributing
//! Contributions are welcome! Please feel free to submit a pull request or open an issue on GitHub.
//!
//! ## License
//! This project is licensed under the MIT License. See the [LICENSE](LICENSE) file for details.
extern crate proc_macro;
use TokenStream;
use ;
use ;
/// Attribute for use on traits which verifies that they are indeed markers.
///
/// Trait is considered a marker if:
/// - has no associated items
/// - all its super traits are also markers or auto traits
/// Attribute for marking types with marker traits.