Trait type_info::TypeInfo

pub trait TypeInfo: DynamicTypeInfo {
    const TYPE: Type;
    fn field<A>(&self, _id: FieldId) -> Option<&A>
    where
        A: Any,
    { ... }
    fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A>
    where
        A: Any,
    { ... }
}

A type that has compile-time static type information associated with it.

Associated Constants

const TYPE: Type

The constant statically known type information for this type.

Provided Methods

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

Get a reference to the value of a field on this type with the given field id.

This method will return the current value of the given field if possible, or None if the given field does not exist or does not have a type matching the supplied type.

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

Get a mutable reference to the value of a field on this type with the given field id.

This method will return the current value of the given field if possible, or None if the given field does not exist or does not have a type matching the supplied type.

Implementations on Foreign Types

impl TypeInfo for u8

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for u16

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for u32

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for u64

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for usize

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for i8

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for i16

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for i32

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for i64

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for isize

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for f32

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for f64

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for bool

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

impl TypeInfo for char

const TYPE: Type

fn field<A>(&self, _id: FieldId) -> Option<&A> where
    A: Any, 

fn field_mut<A>(&mut self, _id: FieldId) -> Option<&mut A> where
    A: Any, 

Implementors