Build a record value represented by this Shape from its element values.
Build a record value represented by this Shape from its element values.
Create a copy of this Shape with new element Shapes.
Create a copy of this Shape with new element Shapes. This is used for packing Shapes recursively.
The Shapes for the product elements.
The Shapes for the product elements.
Build a packed representation containing QueryParameters that can extract data from the unpacked representation later.
Build a packed representation containing QueryParameters that can extract data from the unpacked representation later. This method is not available for shapes where Mixed and Unpacked are different types.
Encode a reference into a value of this Shape.
Encode a reference into a value of this Shape. This method may not be available for shapes where Mixed and Packed are different types.
Get the element value from a record value at the specified index.
Get the element value from a record value at the specified index.
Get an Iterator of a record value's element values.
Get an Iterator of a record value's element values. The default
implementation repeatedly calls getElement
.
Convert a value of this Shape's (mixed) type to the fully packed type
Convert a value of this Shape's (mixed) type to the fully packed type
Return the fully packed Shape
Return the fully packed Shape
Return an AST Node representing a mixed value.
Return an AST Node representing a mixed value.
(mappedScalaProductShape: StringAdd).self
(mappedScalaProductShape: StringFormat).self
(Since version 2.0.1) No longer needed
(mappedScalaProductShape: ArrowAssoc[MappedScalaProductShape[Level, C, M, U, P]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(mappedScalaProductShape: Ensuring[MappedScalaProductShape[Level, C, M, U, P]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Base class for ProductNodeShapes with a type mapping to a type that extends scala.Product