Struct Shape 

#[non_exhaustive]
pub struct Shape {
    pub layout: Layout,
    pub vtable: &'static ValueVTable,
    pub def: Def,
}

Schema for reflection of a type

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

layout: Layout

Size, alignment

vtable: &'static ValueVTable

VTable for common operations. This is indirected because the vtable might have different functions implemented based on generic type parameters: HashMap<K, V> is not even constructible if K is not Hash + Eq.

def: Def

Details/contents of the value

Implementations

impl Shape

pub const fn is(&'static self, characteristic: Characteristic) -> bool

Checks if a shape has the given characteristic.

pub const fn is_send(&'static self) -> bool

Check if this shape implements the Send trait

pub const fn is_sync(&'static self) -> bool

Check if this shape implements the Sync trait

pub const fn is_copy(&'static self) -> bool

Check if this shape implements the Copy trait

pub const fn is_eq(&'static self) -> bool

Check if this shape implements the Eq trait

pub const fn is_clone(&'static self) -> bool

Check if this shape implements the Clone trait

pub const fn is_debug(&'static self) -> bool

Check if this shape implements the Debug trait

pub const fn is_partial_eq(&'static self) -> bool

Check if this shape implements the PartialEq trait

pub const fn is_partial_ord(&'static self) -> bool

Check if this shape implements the PartialOrd trait

pub const fn is_ord(&'static self) -> bool

Check if this shape implements the Ord trait

pub const fn is_hash(&'static self) -> bool

Check if this shape implements the Hash trait

pub const fn is_default(&'static self) -> bool

Check if this shape implements the Default trait

pub fn write_type_name( &self, f: &mut Formatter<'_>, opts: TypeNameOpts, ) -> Result<(), Error>

Writes the name of this type to the given formatter

pub const fn builder() -> ShapeBuilder

Returns a builder for shape

impl Shape

pub fn is_shape(&'static self, other: &'static Shape) -> bool

Check if this shape is of the given type

pub fn assert_shape(&'static self, other: &'static Shape)

Assert that this shape is equal to the given shape, panicking if it’s not

impl Shape

pub fn allocate(&self) -> OpaqueUninit<'static>

Heap-allocate a value of this shape

Trait Implementations

impl Clone for Shape

fn clone(&self) -> Shape

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Shape

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Display for Shape

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for Shape

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Shape

fn eq(&self, other: &Shape) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ShapeExt for Shape

fn is_type<Other: Facet>(&'static self) -> bool

Check if this shape is of the given type

fn assert_type<Other: Facet>(&'static self)

Assert that this shape is of the given type, panicking if it’s not

impl Copy for Shape

impl Eq for Shape