Trait Facet

pub unsafe trait Facet<'a>: 'a {
    const SHAPE: &'static Shape<'static>;
    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.

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<'static>

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<'static>

impl Facet<'_> for SocketAddr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for bool

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for char

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for f32

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for f64

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for str

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for ()

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for String

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for TypeId

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for Ipv4Addr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for Ipv6Addr

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for RandomState

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for Path

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

impl Facet<'_> for PathBuf

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const SHAPE: &'static Shape<'static>

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<'static>

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

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

where T0: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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<'static>

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<'static>

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

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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<'static>

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

where T: Facet<'a>,

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

Implementors

impl Facet<'_> for ConstTypeId

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>

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

const VTABLE: &'static ValueVTable

const SHAPE: &'static Shape<'static>