#traits #bounds #typemap #restrictions #partial-eq #object #typemaps

trait-bound-typemap

A crate to create typemaps with additional trait restrictions and implementations

6 releases

0.3.3 Mar 16, 2022
0.3.2 Mar 16, 2022
0.2.0 Mar 15, 2022
0.1.0 Mar 14, 2022

#11 in #typemap

26 downloads per month
Used in bromine

Apache-2.0

17KB
396 lines

Trait bound Typemap

This crate offers typemaps that restrict a given type in their trait and therefore offer additional trait implementations such as Clone and PartialEq.

Safety

This crate relies on the multi-trait-object crate which provides a workaround for storing a type erased object with all associated traits until this feature is implemented in the language itself. This crate will likely break when the fat pointer used by trait objects changes which it hasn't in a long time so far.

Usage

use trait_bound_typemap::{CloneTypeMap, AnyTypeMap, TypeMap, TypeMapKey};

#[derive(Clone)]
pub struct MyStruct {
    a: u8,
    b: String,
}

pub struct MyStructKey;

impl TypeMapKey for MyStructKey {
    type Value = MyStruct;
}

fn main() {
    let mut map = CloneTypeMap::new();
    let value = MyStruct {a: 5, b: String::from("Hello World")};
    map.insert::<MyStructKey>(value);
    assert!(map.contains_key::<MyStructKey>());

    // can be cloned
    let map2 = map.clone();
    assert!(map.contains_key::<MyStructKey>());

    // less restrictive is always allowed
    let any_map = AnyTypeMap::from_iter(map2);
    assert!(map.contains_key::<MyStructKey>());
}

License

Apache-2.0

Dependencies

~18KB