Wildcard

The names of the product elements.

The mirrored *-type.

The name of the type.

Creates a new instance of type T with elements taken from product p.

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

Renders this schema representation as a parseable string.

Examples:

• Nominal("Person") → "Person"
• Primitive("string") → "string"
• Record(...) → "record { name: string, age: int }"
• Variant(...) → "variant { Left: int, Right: string }"
• Sequence(...) → "list(string)"
• Map(...) → "map(string, int)"
• Optional(...) → "option(Person)"
• Wildcard → "_"