type-sets 0.1.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

use type_sets::*;

fn accepts_superset<T: SupersetOf<Set!(u32)>>() {}
fn accepts_subset<T: SubsetOf<Set!(u32, u64)>>() {}
fn accepts_contains<T: Contains<u32>>() {}

#[test]
fn test() {
    accepts_superset::<Set<(u32,)>>();
    accepts_superset::<Set<(u64, u32)>>();
    // accepts_superset::<Set<(String, u64, u128)>>();

    accepts_contains::<Set!(u32)>();
    accepts_contains::<Set!(u32, u64)>();
    // accepts_contains::<Set!(String, u64, u128)>();

    accepts_subset::<Set!(u32, u64)>();
    // accepts_subset::<Set!(u32, u64, u128)>();
}