Struct ProductTypeLayoutView

pub struct ProductTypeLayoutView<'a> {
    pub layout: Layout,
    pub elements: &'a [ProductTypeElementLayout],
}

A mirror of ProductType annotated with a Layout.

Fields

layout: Layout

The memoized layout of the product type.

elements: &'a [ProductTypeElementLayout]

The fields of the product type with their own layout annotations.

Implementations

impl ProductTypeLayoutView<'_>

pub fn algebraic_type(&self) -> AlgebraicType

Convert a ProductTypeLayout back into an AlgebraicType::Product, removing layout information.

This operation is O(n) in the number of nodes in the argument, and will heap-allocate. It is intended for use in error paths, where performance is a secondary concern.

Trait Implementations

impl<'a> Clone for ProductTypeLayoutView<'a>

fn clone(&self) -> ProductTypeLayoutView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ProductTypeLayoutView<'a>

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

Formats the value using the given formatter.

impl<'de> DeserializeSeed<'de> for ProductTypeLayoutView<'_>

type Output = ProductValue

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, de: D, ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl HasLayout for ProductTypeLayoutView<'_>

fn layout(&self) -> &Layout

Returns the layout for objects of this type.

fn size(&self) -> usize

Returns the size, in bytes, for objects of this type.

fn align(&self) -> usize

Returns the alignment, in bytes, for objects of this type.

impl<'a> PartialEq for ProductTypeLayoutView<'a>

fn eq(&self, other: &ProductTypeLayoutView<'a>) -> 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<'de> ProductVisitor<'de> for ProductTypeLayoutView<'_>

type Output = ProductValue

The resulting product.

fn product_name(&self) -> Option<&str>

Returns the name of the product, if any.

fn product_len(&self) -> usize

Returns the length of the product.

fn visit_seq_product<A: SeqProductAccess<'de>>( self, tup: A, ) -> Result<Self::Output, A::Error>

The input contains an unnamed product.

fn visit_named_product<A: NamedProductAccess<'de>>( self, _: A, ) -> Result<Self::Output, A::Error>

The input contains a named product.

fn product_kind(&self) -> ProductKind

Returns the kind of the product.

impl<'a> Eq for ProductTypeLayoutView<'a>

impl<'a> StructuralPartialEq for ProductTypeLayoutView<'a>