Tables

Pipe-row syntax for writing many records of the same shape compactly.

Repeated rows of the same shape can be written with pipe-table syntax under a field name. Each | ... | row becomes one record.

§ 1Authoring

The field's row type carries a @table("kind") decorator. The field declaration uses name: (colon, not =) and lists rows directly underneath.

@table("user")
type User {
  name:    utf8
  age:     u32
  enabled: bool
}

@document
type Config {
  users: list<User>
}

users:
  | "alice" | 30 | true  |
  | "bob"   | 25 | false |
  | "cara"  | 42 | true  |

§ 2Examples

§ 2.1Pipe-table rows

A @table row type plus a colon-introduced field lets rows be written like a spreadsheet.

@table("user")
type User {
  name:    utf8
  age:     u32
  enabled: bool
}

users:
  | "alice" | 30 | true  |
  | "bob"   | 25 | false |
  | "cara"  | 42 | true  |

Expected: Each | … | row becomes one User record in users: list<User>.