Trait Facet 

pub unsafe trait Facet<'facet>: 'facet {
    const SHAPE: &'static Shape;
    const VTABLE: &'static ValueVTable;
}

Allows querying the Shape of a type, which in turn lets us inspect any fields, build a value of this type progressively, etc.

The 'facet lifetime allows Facet to be derived for types that borrow from something else.

Safety

If you implement this wrong, all the safe abstractions in facet-reflect, all the serializers, deserializers, the entire ecosystem is unsafe.

You’re responsible for describing the type layout properly, and annotating all the invariants.

Required Associated Constants

const SHAPE: &'static Shape

The shape of this type

Shape embeds all other constants of this trait.

const VTABLE: &'static ValueVTable

Function pointers to perform various operations: print the full type name (with generic type parameters), use the Display implementation, the Debug implementation, build a default value, clone, etc.

If Self::SHAPE has ShapeLayout::Unsized, then the parent pointer needs to be passed.

There are more specific vtables in variants of Def

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 Facet<'_> for IpAddr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for SocketAddr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for bool

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for char

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for f32

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for f64

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for str

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for ()

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for String

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for TypeId

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for Ipv4Addr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for Ipv6Addr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for RandomState

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for Path

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl Facet<'_> for PathBuf

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for &'a str

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for &'a mut str

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Cow<'a, str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for i8

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for i16

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for i32

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for i64

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for i128

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for isize

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for u8

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for u16

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for u32

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for u64

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for u128

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for usize

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Box<str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Rc<str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Weak<str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Arc<str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for Weak<str>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<i8>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<i16>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<i32>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<i64>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<i128>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<isize>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<u8>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<u16>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<u32>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<u64>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<u128>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NonZero<usize>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, Idx: Facet<'a>> Facet<'a> for Range<Idx>

const SHAPE: &'static Shape

const VTABLE: &'static ValueVTable

impl<'a, K, V> Facet<'a> for BTreeMap<K, V>

where K: Facet<'a> + Eq + Ord, V: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, K, V, S> Facet<'a> for HashMap<K, V, S>

where K: Facet<'a> + Eq + Hash, V: Facet<'a>, S: 'a + Default + BuildHasher,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T0> Facet<'a> for (T0,)

where T0: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T0, T1> Facet<'a> for (T0, T1)

where T0: Facet<'a>, T1: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T0, T1, T2> Facet<'a> for (T0, T1, T2)

where T0: Facet<'a>, T1: Facet<'a>, T2: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T0, T1, T2, T3> Facet<'a> for (T0, T1, T2, T3)

where T0: Facet<'a>, T1: Facet<'a>, T2: Facet<'a>, T3: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T> Facet<'a> for [T]

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T> Facet<'a> for BTreeSet<T>

where T: Facet<'a> + Eq + Ord,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T> Facet<'a> for Vec<T>

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T, S> Facet<'a> for HashSet<T, S>

where T: Facet<'a> + Eq + Hash, S: Facet<'a> + Default + BuildHasher,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T, const L: usize> Facet<'a> for [T; L]

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a> + ?Sized> Facet<'a> for *const T

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a> + ?Sized> Facet<'a> for *mut T

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Option<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for &'a T

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for &'a mut T

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Box<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Rc<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Weak<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Arc<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for Weak<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>> Facet<'a> for NonNull<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: ?Sized + 'a> Facet<'a> for PhantomData<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, U: Facet<'a>> Facet<'a> for &'a [U]

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, U: Facet<'a>> Facet<'a> for &'a mut [U]

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, U: Facet<'a>> Facet<'a> for Arc<[U]>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, U: Facet<'a>> Facet<'a> for Weak<[U]>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

Implementors

impl Facet<'_> for ConstTypeId

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape

impl<'a, T: 'a> Facet<'a> for Opaque<T>

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape