type-sets 0.2.0

Sets implemented in the rust type-system
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
34
35
36

[![Crates.io](https://img.shields.io/crates/v/type-sets.svg)](https://crates.io/crates/type-sets)
[![Documentation](https://docs.rs/type-sets/badge.svg)](https://docs.rs/type-sets)
[![License](https://img.shields.io/crates/l/type-sets.svg)](LICENSE)


# type-sets

Compile-time set operations for Rust tuples.

`type-sets` provides a collection of traits for working with tuples as type-level sets. You can check membership, compare sets, and construct new sets entirely at compile time.

Read the [documentation](https://docs.rs/type-sets/latest/type_sets/) for more details.

## Features

- **`Contains<E>`** — Check whether a set contains a type.
- **`Subset<S>`** — Check whether a set is a subset of another set.
- **`Superset<S>`** — Check whether a set is a superset of another set.
- **`SetEqual<R>`** — Check whether two sets contain the same types.
- **`IsEmpty`** — Check whether a set is empty.
- **`Insert<T, E>`** — Add a type to a set.
- **`Union<T, R>`** — Compute the union of two sets.

## Example

```rust
use type_sets::*;

assert::contains::<(i32, i16), i32>();
assert::subset::<(i32,), (i32, i64)>();
assert::superset::<(i32, i16), (i32,)>();
assert::eq::<(i32, i16), (i16, i32)>();
```

## Libraries using type-sets
- [`axum-error-sets`](https://docs.rs/axum-error-sets/latest/axum_error_sets/): Flexible responses for Axum handlers with openapi generation.