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: ?Sized> TypeInfo for &T where
    T: TypeInfo + ?Sized + 'static, 

type Identity = T

fn type_info() -> Type

impl<T: ?Sized> 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

impl TypeInfo for NonZeroI16

impl TypeInfo for NonZeroI32

impl TypeInfo for NonZeroI64

impl TypeInfo for NonZeroI128

impl TypeInfo for NonZeroU8

impl TypeInfo for NonZeroU16

impl TypeInfo for NonZeroU32

impl TypeInfo for NonZeroU64

impl TypeInfo for NonZeroU128

impl TypeInfo for String

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

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

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

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

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

impl<T> TypeInfo for PhantomData<T>

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

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

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