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

Shape embeds all other constants of this trait.

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

impl Facet<'_> for SocketAddr

const SHAPE: &'static Shape

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

Available on crate feature alloc only.

const SHAPE: &'static Shape

impl Facet<'_> for TypeId

const SHAPE: &'static Shape

impl Facet<'_> for Ipv4Addr

const SHAPE: &'static Shape

impl Facet<'_> for Ipv6Addr

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

const SHAPE: &'static Shape

impl Facet<'_> for Utf8PathBuf

const SHAPE: &'static Shape

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

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> Facet<'a> for NonZero<i8>

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

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

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NotNan<f32>

const SHAPE: &'static Shape

impl<'a> Facet<'a> for NotNan<f64>

const SHAPE: &'static Shape

impl<'a> Facet<'a> for OrderedFloat<f32>

const SHAPE: &'static Shape

impl<'a> Facet<'a> for OrderedFloat<f64>

const SHAPE: &'static Shape

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

where Idx: Facet<'a>,

const SHAPE: &'static Shape

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

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

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 Option<T>

where T: Facet<'a>,

const SHAPE: &'static Shape

impl<'a, T> Facet<'a> for *const T

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

const SHAPE: &'static Shape

impl<'a, T> Facet<'a> for *mut T

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

const SHAPE: &'static Shape

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

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

const SHAPE: &'static Shape

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

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

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 Box<T>

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

const SHAPE: &'static Shape

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

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

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where T: 'a + ?Sized,

const SHAPE: &'static Shape

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

where T: Facet<'a>,

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

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

where T: Facet<'a>,

const SHAPE: &'static Shape

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

where U: Facet<'a>,

const SHAPE: &'static Shape

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

where U: Facet<'a>,

const SHAPE: &'static Shape

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

where U: Facet<'a>,

const SHAPE: &'static Shape

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

where U: Facet<'a>,

const SHAPE: &'static Shape

Implementors

impl Facet<'_> for ConstTypeId

const SHAPE: &'static Shape

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

where T: 'facet,

const SHAPE: &'static Shape