Struct typemap_core::Ty

pub struct Ty<V: 'static, R> { /* fields omitted */ }

A type-level linked-list implementation of a typemap

The generic arguments can be treated as if this were a cons cell. i.e.

use typemap_core::{Ty, TyEnd};
type Example = Ty<u32, Ty<u16, Ty<u8, TyEnd>>>;

is akin to (cons u32 (cons u16 (cons u8 nil))) at the type level, and creates a storage capable of holding a u32, a u16, and a u8.

A couple of helper macros, typemap_ty! and typemap! exist, for ease of definition.

use typemap_core::{typemap, typemap_ty};
type Example = typemap_ty!(u32, u16, u8);
let example: Example = typemap!(u32 = 0u32, u16 = 1337u16, u8 = 255u8);

As a linked list, it is fairly easy to prepend additional items:

let extended = typemap!(&str = "Hello!", ..example);

Which also allows you to "override" existing values temporarilly.

use typemap_core::{typemap, TypeMapGet};
let greeting_options = typemap!(&str = "Hello!");
let rude_greeting = typemap!(&str = "Go away.", ..&greeting_options);
assert_eq!(rude_greeting.get::<&str>(), &"Go away.");
drop(rude_greeting);
assert_eq!(greeting_options.get::<&str>(), &"Hello!");

See the TypeMapGet and TypeMapSet traits for more details.

Implementations

impl<V: 'static, R> Ty<V, R>

pub const fn new(val: V, rest: R) -> Self

Construct a node of a typemap

Trait Implementations

impl<V: Clone + 'static, R: Clone> Clone for Ty<V, R>

fn clone(&self) -> Ty<V, R>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: 'static, R: TypeMapGet> Contains<A> for Ty<A, R>

impl<A: 'static, B: 'static, R: TypeMapGet> Contains<A> for &Ty<B, R> where
    Ty<B, R>: Contains<A>, 

impl<A: 'static, B: 'static, R: TypeMapGet> Contains<A> for &mut Ty<B, R> where
    Ty<B, R>: Contains<A>, 

impl<A: 'static, B: 'static, R: Contains<B>> Contains<B> for Ty<A, R>

impl<A: 'static, R: TypeMapSet> ContainsMut<A> for Ty<A, R>

impl<A: 'static, B: 'static, R: TypeMapSet> ContainsMut<A> for &mut Ty<B, R> where
    Ty<B, R>: TypeMapSet + ContainsMut<A>, 

impl<A: 'static, B: 'static, R: ContainsMut<B>> ContainsMut<B> for Ty<A, R>

impl<V: Copy + 'static, R: Copy> Copy for Ty<V, R>

impl<V: Debug + 'static, R: Debug> Debug for Ty<V, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V: Default + 'static, R: Default> Default for Ty<V, R>

fn default() -> Ty<V, R>

Returns the "default value" for a type.

impl<V: Eq + 'static, R: Eq> Eq for Ty<V, R>

impl<V: PartialEq + 'static, R: PartialEq> PartialEq<Ty<V, R>> for Ty<V, R>

fn eq(&self, other: &Ty<V, R>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Ty<V, R>) -> bool

This method tests for !=.

impl<V: 'static, R> StructuralEq for Ty<V, R>

impl<V: 'static, R> StructuralPartialEq for Ty<V, R>

impl<V: 'static, R: TypeMapGet> TypeMapGet for Ty<V, R>

fn try_get<T: 'static>(&self) -> Option<&T>

Attempts to obtain a value of a given type from the map.

fn get<T: 'static>(&self) -> &T where
    Self: Contains<T>, 

Obtains a value of a given type from the map.

impl<V: 'static, R: TypeMapGet> TypeMapGet for &Ty<V, R>

fn try_get<T: 'static>(&self) -> Option<&T>

Attempts to obtain a value of a given type from the map.

fn get<T: 'static>(&self) -> &T where
    Self: Contains<T>, 

Obtains a value of a given type from the map.

impl<V: 'static, R: TypeMapGet> TypeMapGet for &mut Ty<V, R>

fn try_get<T: 'static>(&self) -> Option<&T>

Attempts to obtain a value of a given type from the map.

fn get<T: 'static>(&self) -> &T where
    Self: Contains<T>, 

Obtains a value of a given type from the map.

impl<V: 'static, R: TypeMapSet> TypeMapSet for &Ty<V, R>

fn try_set<T: 'static>(&mut self, _value: T) -> bool

Attempts to mutably set a value of a given type in the map.

fn set<T: 'static>(&mut self, value: T) where
    Self: ContainsMut<T>, 

Mutable sets a value of a given type in the map.

impl<V: 'static, R: TypeMapSet> TypeMapSet for Ty<V, R>

fn try_set<T: 'static>(&mut self, value: T) -> bool

Attempts to mutably set a value of a given type in the map.

fn set<T: 'static>(&mut self, value: T) where
    Self: ContainsMut<T>, 

Mutable sets a value of a given type in the map.

impl<V: 'static, R: TypeMapSet> TypeMapSet for &mut Ty<V, R>

fn try_set<T: 'static>(&mut self, value: T) -> bool

Attempts to mutably set a value of a given type in the map.

fn set<T: 'static>(&mut self, value: T) where
    Self: ContainsMut<T>, 

Mutable sets a value of a given type in the map.