Repository navigation

feat: reject another variant's fields in the enum's seal, and add `[Tag]` - #63

Merged

jo16oh merged 24 commits into

mainfrom

refactor/drop-enum-boundary-entry

Oct 14, 2026

Merged

feat: reject another variant's fields in the enum's seal, and add `[Tag]`#63
jo16oh merged 24 commits into
mainfrom
refactor/drop-enum-boundary-entry

Commits on Oct 14, 2026
- feat!: remove the enum's own constructor
  jo16oh
  committed
  62d523b
- docs(notes): record removing the enum's own constructor
  jo16oh
  committed
  d08e1b2
- feat: add `[Tag].match` to dispatch an enum on a tag alone
  jo16oh
  committed
  79f3036
- feat: add `[Tag].key` to read an enum's tag field name
  jo16oh
  committed
  846525b
- feat: restore the enum's `seal`, rejecting another variant's fields
  jo16oh
  committed
  6872f53
- docs: describe the enum's `seal`, `[Tag].match` and `[Tag].key`
  jo16oh
  committed
  542f623
- docs(notes): record the exclusive `seal` and `[Tag]`
  jo16oh
  committed
  e3a8cb4
- docs: align the `[Tag].match` example with the book
  jo16oh
  committed
  d8eeb92
- feat: seal an enum by calling its sealer, as a Val's
  jo16oh
  committed
  8f64972
- docs: build an enum from a tagged payload by calling its sealer
  jo16oh
  committed
  85b43cd
- docs(notes): keep the enum's two entries, as a Val's
  jo16oh
  committed
  cbd8d40
- docs: build a payment from a form's method in the `[Tag].match` example
  jo16oh
  committed
  63aea7a
- docs: use the payment form in the `[Tag].match` JSDoc
  jo16oh
  committed
  6547167
- docs(notes): record why the enum keeps its entry
  jo16oh
  committed
  969bb6a
- docs: show which call builds an enum value from what arrives
  jo16oh
  committed
  96cc2cc
- docs: build a command from a normalized tag in the `[Tag].match` example
  jo16oh
  committed
  c7d9fc6
- docs: read the command example's tag and arguments from one input
  jo16oh
  committed
  1b81c6e
- docs: tell the two enum matches apart by what they match on
  jo16oh
  committed
  b82d74a
- docs: describe the enum rows of the API table in the reader's terms
  jo16oh
  committed
  c90fd2f
- docs: drop the companion note from the `.implVariant` row
  jo16oh
  committed
  c0b3a59
- docs: call the enum companion's seal a custom seal
  jo16oh
  committed
  22b53f0
- docs: write enum variants as `E.Variant` in the API table
  jo16oh
  committed
  d21d1bf
- docs: describe the enum's seal and `Tag` in the reader's terms
  jo16oh
  committed
  e040a5f
- docs: shorten two enum rows of the API table
  jo16oh
  committed
  06c099b

Commits

Commits on Oct 14, 2026