[][src]Trait rkyv_typename::TypeName

pub trait TypeName {
    fn build_type_name<F: FnMut(&str)>(f: F);
}

Builds a name for a type.

An implementation can be derived automatically with #[derive(TypeName)]. See TypeName for more details.

Names cannot be guaranteed to be unique and although they are usually suitable to use as keys, precautions should be taken to ensure that if name collisions happen that they are detected and fixable.

Examples

Most of the time, #[derive(TypeName)] will suit your needs. However, if you need more control, you can always implement it manually:

use rkyv_typename::TypeName;

struct Example;

impl TypeName for Example {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("CoolStruct");
    }
}

struct GenericExample<T, U, V>(T, U, V);

impl<T: TypeName, U: TypeName, V: TypeName> TypeName for GenericExample<T, U, V> {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("CoolGeneric<");
        T::build_type_name(&mut f);
        f(", ");
        U::build_type_name(&mut f);
        f(", ");
        V::build_type_name(&mut f);
        f(">");
    }
}

fn type_name<T: TypeName>() -> String {
    let mut result = String::new();
    T::build_type_name(|piece| result += piece);
    result
}

assert_eq!(type_name::<Example>(), "CoolStruct");
assert_eq!(type_name::<GenericExample<i32, Option<String>, Example>>(), "CoolGeneric<i32, Option<String>, CoolStruct>");

Required methods

fn build_type_name<F: FnMut(&str)>(f: F)

Submits the pieces of the type name to the given function.

Loading content...

Implementations on Foreign Types

impl TypeName for ()[src]

impl TypeName for bool[src]

impl TypeName for i8[src]

impl TypeName for i16[src]

impl TypeName for i32[src]

impl TypeName for i64[src]

impl TypeName for i128[src]

impl TypeName for u8[src]

impl TypeName for u16[src]

impl TypeName for u32[src]

impl TypeName for u64[src]

impl TypeName for u128[src]

impl TypeName for f32[src]

impl TypeName for f64[src]

impl TypeName for char[src]

impl<T11: TypeName, T10: TypeName, T9: TypeName, T8: TypeName, T7: TypeName, T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

impl<T10: TypeName, T9: TypeName, T8: TypeName, T7: TypeName, T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

impl<T9: TypeName, T8: TypeName, T7: TypeName, T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

impl<T8: TypeName, T7: TypeName, T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

impl<T7: TypeName, T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T7, T6, T5, T4, T3, T2, T1, T0)[src]

impl<T6: TypeName, T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T6, T5, T4, T3, T2, T1, T0)[src]

impl<T5: TypeName, T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T5, T4, T3, T2, T1, T0)[src]

impl<T4: TypeName, T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T4, T3, T2, T1, T0)[src]

impl<T3: TypeName, T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T3, T2, T1, T0)[src]

impl<T2: TypeName, T1: TypeName, T0: TypeName> TypeName for (T2, T1, T0)[src]

impl<T1: TypeName, T0: TypeName> TypeName for (T1, T0)[src]

impl<T0: TypeName> TypeName for (T0,)[src]

impl<T: TypeName> TypeName for [T; 31][src]

impl<T: TypeName> TypeName for [T; 30][src]

impl<T: TypeName> TypeName for [T; 29][src]

impl<T: TypeName> TypeName for [T; 28][src]

impl<T: TypeName> TypeName for [T; 27][src]

impl<T: TypeName> TypeName for [T; 26][src]

impl<T: TypeName> TypeName for [T; 25][src]

impl<T: TypeName> TypeName for [T; 24][src]

impl<T: TypeName> TypeName for [T; 23][src]

impl<T: TypeName> TypeName for [T; 22][src]

impl<T: TypeName> TypeName for [T; 21][src]

impl<T: TypeName> TypeName for [T; 20][src]

impl<T: TypeName> TypeName for [T; 19][src]

impl<T: TypeName> TypeName for [T; 18][src]

impl<T: TypeName> TypeName for [T; 17][src]

impl<T: TypeName> TypeName for [T; 16][src]

impl<T: TypeName> TypeName for [T; 15][src]

impl<T: TypeName> TypeName for [T; 14][src]

impl<T: TypeName> TypeName for [T; 13][src]

impl<T: TypeName> TypeName for [T; 12][src]

impl<T: TypeName> TypeName for [T; 11][src]

impl<T: TypeName> TypeName for [T; 10][src]

impl<T: TypeName> TypeName for [T; 9][src]

impl<T: TypeName> TypeName for [T; 8][src]

impl<T: TypeName> TypeName for [T; 7][src]

impl<T: TypeName> TypeName for [T; 6][src]

impl<T: TypeName> TypeName for [T; 5][src]

impl<T: TypeName> TypeName for [T; 4][src]

impl<T: TypeName> TypeName for [T; 3][src]

impl<T: TypeName> TypeName for [T; 2][src]

impl<T: TypeName> TypeName for [T; 1][src]

impl<T: TypeName> TypeName for [T; 0][src]

impl TypeName for str[src]

impl<T: TypeName> TypeName for [T][src]

impl<T: TypeName> TypeName for Option<T>[src]

impl TypeName for String[src]

impl<T: TypeName> TypeName for Box<T>[src]

impl<T: TypeName> TypeName for Vec<T>[src]

Loading content...

Implementors

Loading content...