typemap_core

A no_std typemap with trait-based value-presence guarantees (on nightly)
or
A map from a type to a value of that type, without needing std/alloc

Context Example

use typemap_core::{typemap, Contains};

struct A;

#[derive(Debug)]
struct ContextA(u8);

// Context types are encouraged to be newtypes with From impls,
// so that when using the typemap! macro, you can use use the name
// of the newtype as a kind of readable field name.
impl From<u8> for ContextA {
    fn from(val: u8) -> Self {
        Self(val)
    }
}

struct B;

#[derive(Debug)]
struct ContextB(u16);

impl From<u16> for ContextB {
    fn from(val: u16) -> Self {
        Self(val)
    }
}

#[allow(unused)]
struct C {
    a: A,
    b: B,
}

trait ParseTrait<Ctx> {
    fn parse(context: Ctx) -> Self;
}

impl<Ctx> ParseTrait<Ctx> for A
where
    Ctx: Contains<ContextA>,
{
    fn parse(context: Ctx) -> Self {
        println!("{:?}", context.get::<ContextA>());
        A
    }
}

impl<Ctx> ParseTrait<Ctx> for B
where
    Ctx: Contains<ContextB>,
{
    fn parse(context: Ctx) -> Self {
        println!("{:?}", context.get::<ContextB>());
        B
    }
}

impl<Ctx> ParseTrait<Ctx> for C
where
    A: ParseTrait<Ctx>,
    B: ParseTrait<Ctx>,
    Ctx: Clone
{
    fn parse(context: Ctx) -> Self {
        Self {
            a: A::parse(context.clone()),
            b: B::parse(context)
        }
    }
}

fn main() {
    let ctx = typemap!(ContextA = 0u8);

    // Will panic at runtime on stable, and produce a compilation error on nightly
    // C::parse(&ctx);

    // context can be extended 
    let ctx = typemap!(ContextB = 10u16, ..ctx);

    // prints:
    // ContextA(0)
    // ContextB(10)
    C::parse(&ctx);

    // and you can override earlier values of context without discarding them
    let ctx = typemap!(ContextA = 5u8, ..ctx);

    // prints:
    // ContextA(5)
    // ContextB(10)
    C::parse(&ctx);
}

Nightly

This crate contains the Contains<T> and ContainsMut<T> traits. These traits are only implemented correctly on nightly due to missing features in stable, When using this library, you are encouraged to (occasionally) use the nightly compiler to catch errors in your constraints at compile-time rather than run-time, even if you are otherwise targeting stable.

This crate will properly implement those traits on stable as soon as we find a way to do so, but for now they are implemented for all instances of Ty<T, Rest> so that code running on stable doesn't need to cfg out all instances of requiring those traits.

However, some configurations involving references to the rest of the typemap and overriding existing values fail to compile on nightly without the use of -Ztrait-solver=next.

License

Licensed under either of

• Apache License, Version 2.0 (http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (http://opensource.org/licenses/MIT)

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.