Trait Facet 

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

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, including: whether it’s a Struct, an Enum, something else?

All its fields, with their names, types, attributes, doc comments, etc. VTables for list operations, set operations, map operations, option operations, and implementations for Display, Debug, etc.—marker traits like Send, Sync, Copy, Eq, and probably other things I’m forgetting.

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 bool

const SHAPE: &'static Shape

impl Facet<'_> for char

const SHAPE: &'static Shape

impl Facet<'_> for f32

const SHAPE: &'static Shape

impl Facet<'_> for f64

const SHAPE: &'static Shape

impl Facet<'_> for str

const SHAPE: &'static Shape

impl Facet<'_> for ()

const SHAPE: &'static Shape

impl Facet<'_> for String

const SHAPE: &'static Shape

impl Facet<'_> for TypeId

const SHAPE: &'static Shape

impl Facet<'_> for RandomState

const SHAPE: &'static Shape

impl Facet<'_> for Path

const SHAPE: &'static Shape

impl Facet<'_> for PathBuf

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

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

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 SHAPE: &'static Shape

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

where T0: Facet<'a>,

const SHAPE: &'static Shape

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

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

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 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 SHAPE: &'static Shape

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

where T: 'a + ?Sized + ToOwned + 'static + Facet<'a>, T::Owned: Facet<'static>,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

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

const SHAPE: &'static Shape

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

where T: Facet<'a> + 'static,

const SHAPE: &'static Shape

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

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

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

impl<'a, T: Facet<'a>, E: Facet<'a>> Facet<'a> for Result<T, E>

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

Implementors

impl Facet<'_> for BaseRepr

const SHAPE: &'static Shape

impl Facet<'_> for Def

const SHAPE: &'static Shape

impl Facet<'_> for NumericType

const SHAPE: &'static Shape

impl Facet<'_> for PointerType

const SHAPE: &'static Shape

impl Facet<'_> for PrimitiveType

const SHAPE: &'static Shape

impl Facet<'_> for SequenceType

const SHAPE: &'static Shape

impl Facet<'_> for ShapeLayout

const SHAPE: &'static Shape

impl Facet<'_> for TextualType

const SHAPE: &'static Shape

impl Facet<'_> for Type

const SHAPE: &'static Shape

impl Facet<'_> for UserType

const SHAPE: &'static Shape

impl Facet<'_> for VTableErased

const SHAPE: &'static Shape

impl Facet<'_> for ArrayDef

const SHAPE: &'static Shape

impl Facet<'_> for ArrayType

const SHAPE: &'static Shape

impl Facet<'_> for Attr

const SHAPE: &'static Shape

impl Facet<'_> for ConstTypeId

const SHAPE: &'static Shape

impl Facet<'_> for DynamicValueDef

const SHAPE: &'static Shape

impl Facet<'_> for EnumType

const SHAPE: &'static Shape

impl Facet<'_> for FunctionPointerDef

const SHAPE: &'static Shape

impl Facet<'_> for ListDef

const SHAPE: &'static Shape

impl Facet<'_> for MapDef

const SHAPE: &'static Shape

impl Facet<'_> for MarkerTraits

const SHAPE: &'static Shape

impl Facet<'_> for NdArrayDef

const SHAPE: &'static Shape

impl Facet<'_> for OptionDef

const SHAPE: &'static Shape

impl Facet<'_> for PointerDef

const SHAPE: &'static Shape

impl Facet<'_> for Repr

const SHAPE: &'static Shape

impl Facet<'_> for ResultDef

const SHAPE: &'static Shape

impl Facet<'_> for SetDef

const SHAPE: &'static Shape

impl Facet<'_> for Shape

const SHAPE: &'static Shape

impl Facet<'_> for SliceDef

const SHAPE: &'static Shape

impl Facet<'_> for SliceType

const SHAPE: &'static Shape

impl Facet<'_> for StructType

const SHAPE: &'static Shape

impl Facet<'_> for TypeParam

const SHAPE: &'static Shape

impl Facet<'_> for UnionType

const SHAPE: &'static Shape

impl Facet<'_> for ValuePointerType

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape