Trait scale_info::TypeInfo

pub trait TypeInfo {
    type Identity: ?Sized + 'static;
    fn type_info() -> Type;
}

Implementors return their meta type information.

Associated Types

type Identity: ?Sized + 'static

The type identifying for which type info is provided.

Note

This is used to uniquely identify a type via core::any::TypeId::of. In most cases it will just be Self, but can be used to unify different types which have the same encoded representation e.g. reference types Box<T>, &T and &mut T.

Required methods

fn type_info() -> Type

Returns the static type identifier for Self.

Implementations on Foreign Types

impl TypeInfo for bool

type Identity = Self

fn type_info() -> Type

impl TypeInfo for char

type Identity = Self

fn type_info() -> Type

impl TypeInfo for u8

type Identity = Self

fn type_info() -> Type

impl TypeInfo for u16

type Identity = Self

fn type_info() -> Type

impl TypeInfo for u32

type Identity = Self

fn type_info() -> Type

impl TypeInfo for u64

type Identity = Self

fn type_info() -> Type

impl TypeInfo for u128

type Identity = Self

fn type_info() -> Type

impl TypeInfo for i8

type Identity = Self

fn type_info() -> Type

impl TypeInfo for i16

type Identity = Self

fn type_info() -> Type

impl TypeInfo for i32

type Identity = Self

fn type_info() -> Type

impl TypeInfo for i64

type Identity = Self

fn type_info() -> Type

impl TypeInfo for i128

type Identity = Self

fn type_info() -> Type

impl<T: TypeInfo + 'static, const N: usize> TypeInfo for [T; N]

type Identity = Self

fn type_info() -> Type

impl TypeInfo for ()

type Identity = Self

fn type_info() -> Type

impl<A> TypeInfo for (A,) where
    A: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B> TypeInfo for (A, B) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C> TypeInfo for (A, B, C) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D> TypeInfo for (A, B, C, D) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E> TypeInfo for (A, B, C, D, E) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F> TypeInfo for (A, B, C, D, E, F) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G> TypeInfo for (A, B, C, D, E, F, G) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H> TypeInfo for (A, B, C, D, E, F, G, H) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I> TypeInfo for (A, B, C, D, E, F, G, H, I) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J> TypeInfo for (A, B, C, D, E, F, G, H, I, J) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static,
    P: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static,
    P: TypeInfo + 'static,
    Q: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static,
    P: TypeInfo + 'static,
    Q: TypeInfo + 'static,
    R: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static,
    P: TypeInfo + 'static,
    Q: TypeInfo + 'static,
    R: TypeInfo + 'static,
    S: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T> TypeInfo for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T) where
    A: TypeInfo + 'static,
    B: TypeInfo + 'static,
    C: TypeInfo + 'static,
    D: TypeInfo + 'static,
    E: TypeInfo + 'static,
    F: TypeInfo + 'static,
    G: TypeInfo + 'static,
    H: TypeInfo + 'static,
    I: TypeInfo + 'static,
    J: TypeInfo + 'static,
    K: TypeInfo + 'static,
    L: TypeInfo + 'static,
    M: TypeInfo + 'static,
    N: TypeInfo + 'static,
    O: TypeInfo + 'static,
    P: TypeInfo + 'static,
    Q: TypeInfo + 'static,
    R: TypeInfo + 'static,
    S: TypeInfo + 'static,
    T: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<T> TypeInfo for Option<T> where
    T: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<T, E> TypeInfo for Result<T, E> where
    T: TypeInfo + 'static,
    E: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl<T> TypeInfo for &T where
    T: TypeInfo + ?Sized + 'static, 

type Identity = T

fn type_info() -> Type

impl<T> TypeInfo for &mut T where
    T: TypeInfo + ?Sized + 'static, 

type Identity = T

fn type_info() -> Type

impl<T> TypeInfo for [T] where
    T: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

impl TypeInfo for str

type Identity = Self

fn type_info() -> Type

impl<T> TypeInfo for Compact<T> where
    T: TypeInfo + 'static, 

type Identity = Self

fn type_info() -> Type

Implementors

impl TypeInfo for NonZeroI8

type Identity = Self

impl TypeInfo for NonZeroI16

type Identity = Self

impl TypeInfo for NonZeroI32

type Identity = Self

impl TypeInfo for NonZeroI64

type Identity = Self

impl TypeInfo for NonZeroI128

type Identity = Self

impl TypeInfo for NonZeroU8

type Identity = Self

impl TypeInfo for NonZeroU16

type Identity = Self

impl TypeInfo for NonZeroU32

type Identity = Self

impl TypeInfo for NonZeroU64

type Identity = Self

impl TypeInfo for NonZeroU128

type Identity = Self

impl TypeInfo for String

type Identity = str

impl<Idx> TypeInfo for Range<Idx> where
    Idx: TypeInfo + 'static + PartialOrd + Debug, 

type Identity = Self

impl<Idx> TypeInfo for RangeInclusive<Idx> where
    Idx: TypeInfo + 'static + PartialOrd + Debug, 

type Identity = Self

impl<K, V> TypeInfo for BTreeMap<K, V> where
    K: TypeInfo + 'static,
    V: TypeInfo + 'static, 

type Identity = Self

impl<T> TypeInfo for Cow<'static, T> where
    T: ToOwned + TypeInfo + ?Sized + 'static, 

type Identity = Self

impl<T> TypeInfo for Box<T> where
    T: TypeInfo + ?Sized + 'static, 

type Identity = T

impl<T> TypeInfo for BTreeSet<T> where
    T: TypeInfo + 'static, 

type Identity = Self

impl<T> TypeInfo for VecDeque<T> where
    T: TypeInfo + 'static, 

type Identity = [T]

impl<T> TypeInfo for PhantomData<T>

type Identity = PhantomData<()>

impl<T> TypeInfo for Vec<T> where
    T: TypeInfo + 'static, 

type Identity = [T]