Struct Record 

pub struct Record<'a, A>
where
    A: Sorts,
{ /* private fields */ }

A product being stated, holding the algebra it is stated against.

Not part of this specification: it exists between what a backend reads and what it writes, so it needs no sort, no primitive, and no mention in the algebra. Members are built as they arrive, since a declaration has the algebra in hand from its first call.

Implementations

impl<'a, A> Record<'a, A>

where A: ShapeAlg + FieldAlg,

pub fn field(self, words: Words<'_>, shape: A::Ty) -> Self

States one member, under the name it is written with.

pub fn field_as<Carrier>(self, words: Words<'_>, shape: A::Ty) -> Self

States one member, and the type a layout carries it in.

The type is the layout’s business and not this one’s: nothing here reads it, and an expansion emits a field of that type. A declaration writes field::<Carrier>(name, shape), which lowers to this.

pub fn field_of<Carrier>(self, words: Words<'_>) -> Self

where Carrier: ShapeOf<A, Shape = A::Ty>,

States one member whose shape its own type states.

Available where a type says what it is — a layout with a shape of its own, or a leaf whose domain states one. A name that is only an alias states what the type it names states, so a member wanting a name of its own gives its shape instead.

pub fn merge(self, shape: A::Ty) -> Self

States another product’s members as this one’s own.

pub fn into_shape(self) -> A::Ty

Answers with the shape this product states.