Crate type_sets

Sets implemented in the rust type-system.

This crate allows you to create sets of types in the rust type-system. These sets can be compared using SubsetOf and SupersetOf.

This library was developed for use in meslin, but is general enough that there might be other purposes as well.

Example

use type_sets::*;

// We can define functions, that may only be called if the parameter `T` is
// a subset or superset of another set.
fn is_subset<T: SubsetOf<Set![u32, u64]>>() {}
fn is_superset<T: SupersetOf<Set![u32, u64]>>() {}

// We can also use custom structs as sets
struct MySet;
impl AsSet for MySet {
    type Set = Set![u32];
}

fn main() {
    is_subset::<Set![u32, u64]>(); // compiles
    is_subset::<Set![u32]>(); // compiles
    // is_subset::<Set![u32, u64, u32]>(); // does not compile

    is_superset::<Set![u32, u64]>(); // compiles
    is_superset::<Set![u32, u64, u128]>(); // compiles
    // is_superset::<Set![u32]>(); // does not compile

    is_subset::<MySet>(); // compiles
    // is_superset::<MySet>(); // does not compile
}

Modules

• sets
  Sets of types from 0 to 10 elements.

Macros

• Set
  Create a Set from a list of types.

Structs

• Set
  Marker struct to act as a set of elements.

Traits

• AsSet
  Trait that allows usage of custom types as a set.
• Contains
  Indicates that a set contains element E.
• Members
  Trait to get the members (type-ids) of a set.
• SubsetOf
  Implemented if set is a subset of S.
• SupersetOf
  Implemented if set is a superset of S.