Enum Shape 

pub enum Shape {
    Scalar(GffType),
    Struct {
        fields: &'static [&'static [Field]],
    },
    List {
        element: &'static [&'static [Field]],
        element_id: ElementId,
        split: Option<Split>,
    },
}

What a field holds.

One fact rather than the old split across an expected type and a separate child list, which had nowhere to put a list’s element struct id and no way at all to describe a field whose element schema is chosen at run time.

Variants

Scalar(GffType)

A single value of this GFF type.

Struct

A nested struct with its own fields.

Fields

fields: &'static [&'static [Field]]

The child schema, in parts.

A sequence rather than one slice so a type can be its own fields plus a flattened child’s without copying either. Copying would make each shared field two declarations where the audit records one.

List

A list of structs, all carrying element, some carrying more.

Fields

element: &'static [&'static [Field]]

What every element carries, whichever form it takes, in parts.

Two lists whose elements differ by one label point the shared part at one array and add their own: an entry node’s links are RepliesList and a reply node’s are EntriesList, and the twenty-eight they share stay twenty-eight declarations.

element_id: ElementId

The struct id vanilla writes on each element.

split: Option<Split>

None for an ordinary list.

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

Formats the value using the given formatter.

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 Copy for Shape

impl StructuralPartialEq for Shape