Trait TypeOf

pub trait TypeOf: TypeHash {
    const STATIC_TYPE_INFO: AnyTypeInfo;
    const PARAMETERS: Hash = Hash::EMPTY;

    // Provided method
    fn type_info() -> TypeInfo { ... }
}

Expand description

Trait used for Rust types for which we can determine the runtime type of.

Required Associated Constants§

const STATIC_TYPE_INFO: AnyTypeInfo

Access diagnostical type information for the current type.

This can be easily converted to a TypeInfo struct which provides human-readable diagnostics that has a reasonable Display and Debug implementation for humans.

See Self::type_info().

Provided Associated Constants§

const PARAMETERS: Hash = Hash::EMPTY

Type parameters for the type.

See ParametersBuilder for more information.

Provided Methods§

fn type_info() -> TypeInfo

Get type info associated with the current type.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

impl TypeOf for Ordering

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for bool

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for char

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for f32

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for f64

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for i8

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for i16

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for i32

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for i64

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for i128

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for isize

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for str

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for u8

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for u16

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for u32

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for u64

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for u128

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for ()

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for usize

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for Error

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for String

Available on crate feature alloc only.

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for ParseCharError

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Error

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for ParseFloatError

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for ParseIntError

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Utf8Error

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Error

Available on crate feature std only.

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for [u8]

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for [Value]

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A> TypeOf for (A,)
where A: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B> TypeOf for (A, B)
where A: MaybeTypeOf, B: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C> TypeOf for (A, B, C)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D> TypeOf for (A, B, C, D)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E> TypeOf for (A, B, C, D, E)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F> TypeOf for (A, B, C, D, E, F)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G> TypeOf for (A, B, C, D, E, F, G)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H> TypeOf for (A, B, C, D, E, F, G, H)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I> TypeOf for (A, B, C, D, E, F, G, H, I)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I, J> TypeOf for (A, B, C, D, E, F, G, H, I, J)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf, J: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I, J, K> TypeOf for (A, B, C, D, E, F, G, H, I, J, K)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf, J: MaybeTypeOf, K: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I, J, K, L> TypeOf for (A, B, C, D, E, F, G, H, I, J, K, L)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf, J: MaybeTypeOf, K: MaybeTypeOf, L: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I, J, K, L, M> TypeOf for (A, B, C, D, E, F, G, H, I, J, K, L, M)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf, J: MaybeTypeOf, K: MaybeTypeOf, L: MaybeTypeOf, M: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N> TypeOf for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)
where A: MaybeTypeOf, B: MaybeTypeOf, C: MaybeTypeOf, D: MaybeTypeOf, E: MaybeTypeOf, F: MaybeTypeOf, G: MaybeTypeOf, H: MaybeTypeOf, I: MaybeTypeOf, J: MaybeTypeOf, K: MaybeTypeOf, L: MaybeTypeOf, M: MaybeTypeOf, N: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

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

const STATIC_TYPE_INFO: AnyTypeInfo = _

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

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<C, B> TypeOf for ControlFlow<C, B>
where C: MaybeTypeOf, B: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for Option<T>
where T: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for &T
where T: ?Sized + TypeOf,

Blanket implementation for references.

const PARAMETERS: Hash = T::PARAMETERS

const STATIC_TYPE_INFO: AnyTypeInfo = T::STATIC_TYPE_INFO

impl<T> TypeOf for &mut T
where T: ?Sized + TypeOf,

Blanket implementation for mutable references.

const PARAMETERS: Hash = T::PARAMETERS

const STATIC_TYPE_INFO: AnyTypeInfo = T::STATIC_TYPE_INFO

impl<T> TypeOf for Vec<T>
where T: MaybeTypeOf,

Available on crate feature alloc only.

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for HashMap<String, T>
where T: MaybeTypeOf,

Available on crate feature std only.

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for HashMap<String, T>
where T: MaybeTypeOf,

Available on crate feature std only.

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T, E> TypeOf for Result<T, E>
where T: MaybeTypeOf, E: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

Implementors§

impl TypeOf for rune::runtime::ControlFlow

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for GeneratorState

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for FromUtf8Error

Available on crate feature alloc only.

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Box<str>

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for rune::alloc::String

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Bencher

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Format

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Bytes

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Formatter

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Function

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Future

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Generator<Vm>

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for Hasher

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Object

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for OwnedTuple

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Range

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for RangeFrom

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for RangeFull

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for RangeInclusive

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for RangeTo

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as crate::Any>::ANY_TYPE_INFO

impl TypeOf for RangeToInclusive

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Stream<Vm>

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl TypeOf for Tuple

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for Type

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl TypeOf for rune::runtime::Vec

const PARAMETERS: Hash = _

const STATIC_TYPE_INFO: AnyTypeInfo = <Self as rune::Any>::ANY_TYPE_INFO

impl<T> TypeOf for rune::alloc::HashMap<String, T>
where T: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for rune::alloc::HashMap<String, T>
where T: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for rune::alloc::Vec<T>
where T: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _

impl<T> TypeOf for Mut<T>
where T: ?Sized + TypeOf,

Blanket implementation for owned mutable references.

const PARAMETERS: Hash = T::PARAMETERS

const STATIC_TYPE_INFO: AnyTypeInfo = T::STATIC_TYPE_INFO

impl<T> TypeOf for Ref<T>
where T: ?Sized + TypeOf,

Blanket implementation for owned references.

const PARAMETERS: Hash = T::PARAMETERS

const STATIC_TYPE_INFO: AnyTypeInfo = T::STATIC_TYPE_INFO

impl<T> TypeOf for VecTuple<T>
where T: MaybeTypeOf,

const STATIC_TYPE_INFO: AnyTypeInfo = _