Compare commits
27
Commits
0.1.6
...
73e5bc0093
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
73e5bc0093 | ||
|
|
08513b36a9 | ||
|
|
068d6b4998 | ||
|
|
fa0b7f2e84 | ||
|
|
71ecd508b7 | ||
|
|
c13bc2f408 | ||
|
|
8e2691e6aa | ||
|
|
16650b07e3 | ||
|
|
a0f0894339 | ||
|
|
ed71929365 | ||
|
|
cce030b8e5 | ||
|
|
2ff67801e0 | ||
|
|
62a5599ab3 | ||
|
|
34567856a5 | ||
|
|
a25ac6d1e2 | ||
|
|
40bf652b97 | ||
|
|
1e13917cbe | ||
|
|
42281a0f10 | ||
|
|
c15bc0153e | ||
|
|
ae319f6547 | ||
|
|
63e8edce79 | ||
|
|
b456a430a7 | ||
|
|
36d8c4feae | ||
|
|
d646fd1ec4 | ||
|
|
177d63fa95 | ||
|
|
f6f820a648 | ||
|
|
c5cc903221 |
No files matched your search
@@ -10,5 +10,6 @@ coverage
|
|||||||
!.vscode/extensions.json
|
!.vscode/extensions.json
|
||||||
!.vscode/settings.json
|
!.vscode/settings.json
|
||||||
!.vscode/tasks.json
|
!.vscode/tasks.json
|
||||||
|
!.vscode/launch.json
|
||||||
.idea
|
.idea
|
||||||
.DS_Store
|
.DS_Store
|
||||||
@@ -13,6 +13,8 @@
|
|||||||
"eslint/no-undefined": "off",
|
"eslint/no-undefined": "off",
|
||||||
"eslint/sort-keys": "off",
|
"eslint/sort-keys": "off",
|
||||||
"eslint/id-length": "off",
|
"eslint/id-length": "off",
|
||||||
|
"eslint/capitalized-comments": "off",
|
||||||
|
"eslint/no-ternary": "off",
|
||||||
"import/no-named-export": "off",
|
"import/no-named-export": "off",
|
||||||
"eslint/one-var": "off",
|
"eslint/one-var": "off",
|
||||||
"import/group-exports": "off",
|
"import/group-exports": "off",
|
||||||
|
|||||||
Vendored
+1
@@ -1,5 +1,6 @@
|
|||||||
{
|
{
|
||||||
"recommendations": [
|
"recommendations": [
|
||||||
|
"connor4312.nodejs-testing",
|
||||||
"oxc.oxc-vscode",
|
"oxc.oxc-vscode",
|
||||||
"streetsidesoftware.code-spell-checker",
|
"streetsidesoftware.code-spell-checker",
|
||||||
"typescriptteam.native-preview",
|
"typescriptteam.native-preview",
|
||||||
|
|||||||
Vendored
+15
@@ -0,0 +1,15 @@
|
|||||||
|
{
|
||||||
|
"version": "0.2.0",
|
||||||
|
"configurations": [
|
||||||
|
{
|
||||||
|
"type": "node",
|
||||||
|
"request": "launch",
|
||||||
|
"name": "Debug current test file",
|
||||||
|
"runtimeExecutable": "node",
|
||||||
|
"runtimeArgs": ["--test", "--strip-types"],
|
||||||
|
"args": ["${file}"],
|
||||||
|
"cwd": "${workspaceFolder}",
|
||||||
|
"console": "integratedTerminal"
|
||||||
|
}
|
||||||
|
]
|
||||||
|
}
|
||||||
Vendored
+10
@@ -1,4 +1,14 @@
|
|||||||
{
|
{
|
||||||
|
"nodejs-testing.extensions": [
|
||||||
|
{
|
||||||
|
"extensions": ["mjs", "cjs", "js"],
|
||||||
|
"parameters": []
|
||||||
|
},
|
||||||
|
{
|
||||||
|
"extensions": ["ts"],
|
||||||
|
"parameters": ["--strip-types"]
|
||||||
|
}
|
||||||
|
],
|
||||||
"[typescript]": {
|
"[typescript]": {
|
||||||
"editor.defaultFormatter": "oxc.oxc-vscode",
|
"editor.defaultFormatter": "oxc.oxc-vscode",
|
||||||
"editor.formatOnSave": true
|
"editor.formatOnSave": true
|
||||||
|
|||||||
+17
-1
@@ -7,6 +7,20 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
|
|||||||
|
|
||||||
## [Unreleased]
|
## [Unreleased]
|
||||||
|
|
||||||
|
- allow ternaries and lowercase comments in oxlint
|
||||||
|
- switch `src/primitive.ts` prose from block comments to line comments
|
||||||
|
|
||||||
|
## [0.1.8] - 2026-09-16
|
||||||
|
|
||||||
|
- upgrade dependencies
|
||||||
|
- ignore `@types/node` in `maintain:outdated` (misleading `latest` dist-tag)
|
||||||
|
- require extremely concise prose in `development/`
|
||||||
|
|
||||||
|
## [0.1.7] - 2026-09-16
|
||||||
|
|
||||||
|
- require a short summary under `[Unreleased]` in the changelog before a branch is finished
|
||||||
|
- let `create:branch` start from a `main` that is ahead of its upstream, so a finished merge no longer blocks the next branch until it is pushed
|
||||||
|
|
||||||
## [0.1.6] - 2026-09-15
|
## [0.1.6] - 2026-09-15
|
||||||
|
|
||||||
- restructure the documentation: README.md for users, CONTRIBUTING.md for contributors, and development/ for the decisions, rejected alternatives and known issues
|
- restructure the documentation: README.md for users, CONTRIBUTING.md for contributors, and development/ for the decisions, rejected alternatives and known issues
|
||||||
@@ -37,7 +51,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
|
|||||||
|
|
||||||
- basic setup
|
- basic setup
|
||||||
|
|
||||||
[Unreleased]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.6...main
|
[Unreleased]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.8...main
|
||||||
|
[0.1.8]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.7...0.1.8
|
||||||
|
[0.1.7]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.6...0.1.7
|
||||||
[0.1.6]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.5...0.1.6
|
[0.1.6]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.5...0.1.6
|
||||||
[0.1.5]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.4...0.1.5
|
[0.1.5]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.4...0.1.5
|
||||||
[0.1.4]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.3...0.1.4
|
[0.1.4]: https://gitea.e1nsnull.de/tmu/tiny-pattern-ts/compare/0.1.3...0.1.4
|
||||||
|
|||||||
+22
-7
@@ -67,6 +67,12 @@ before the implementation. The loop is **type → red → green → refactor**:
|
|||||||
`npm run verify` as the definition-of-done gate.
|
`npm run verify` as the definition-of-done gate.
|
||||||
|
|
||||||
Every test pairs an `expectTypeOf(...)` with an `assert.*`; keep them together.
|
Every test pairs an `expectTypeOf(...)` with an `assert.*`; keep them together.
|
||||||
|
Each test body follows **AAA (Arrange–Act–Assert)** with labeled blocks
|
||||||
|
separated by a blank line: `// Arrange` sets up the inputs (e.g. the matcher
|
||||||
|
factory), `// Act` exercises the subject once from them (not a second
|
||||||
|
throwaway call), `// Assert` holds every check — type expectations first,
|
||||||
|
runtime assertions last; an empty block drops its label (see
|
||||||
|
[development/testing.md § AAA ordering](./development/testing.md#aaa-ordering)).
|
||||||
Type-first is enforced structurally: `npm test` runs `check:tsc` before the
|
Type-first is enforced structurally: `npm test` runs `check:tsc` before the
|
||||||
test runner, so a wrong type can never be papered over by a passing assertion.
|
test runner, so a wrong type can never be papered over by a passing assertion.
|
||||||
Per [AGENTS.md § Never do](./AGENTS.md#never-do), reach green honestly — fix the
|
Per [AGENTS.md § Never do](./AGENTS.md#never-do), reach green honestly — fix the
|
||||||
@@ -164,11 +170,18 @@ reaches for by default:
|
|||||||
- **There is no local `npm run publish`, and `publish:publint` / `publish:attw`
|
- **There is no local `npm run publish`, and `publish:publint` / `publish:attw`
|
||||||
don't go in `check`.** (why:
|
don't go in `check`.** (why:
|
||||||
[development/publishing.md](./development/publishing.md#ci-only-publishing))
|
[development/publishing.md](./development/publishing.md#ci-only-publishing))
|
||||||
|
- **A branch ends with a changelog note:** before `npm run create:finish`,
|
||||||
|
summarize the work under `[Unreleased]` in [CHANGELOG.md](./CHANGELOG.md).
|
||||||
|
(why:
|
||||||
|
[development/workflow.md](./development/workflow.md#changelog-notes))
|
||||||
- **A decision or its rationale belongs in `development/`, not here.** This file
|
- **A decision or its rationale belongs in `development/`, not here.** This file
|
||||||
holds the actionable rule; `development/<category>.md` holds why, the rejected
|
holds the actionable rule; `development/<category>.md` holds why, the rejected
|
||||||
alternatives and the known issues. When you change a rule, update its category
|
alternatives and the known issues. When you change a rule, update its category
|
||||||
file in the same commit and cross-link the two. (why:
|
file in the same commit and cross-link the two. (why:
|
||||||
[development/README.md](./development/README.md))
|
[development/README.md](./development/README.md))
|
||||||
|
- **Prose in `development/` is extremely concise.** When adding or changing a
|
||||||
|
decision, write fragments if needed — sacrifice grammar for concision. (why:
|
||||||
|
[development/README.md § Decision blocks](./development/README.md#decision-blocks))
|
||||||
|
|
||||||
## Branching model
|
## Branching model
|
||||||
|
|
||||||
@@ -180,9 +193,10 @@ request workflow on Gitea yet.
|
|||||||
- **Branch naming:** `feature/<desc>` / `fix/<desc>` / `chore/<desc>`
|
- **Branch naming:** `feature/<desc>` / `fix/<desc>` / `chore/<desc>`
|
||||||
- **Starting work:** `npm run create:branch -- <prefix>/<desc>`. It refuses,
|
- **Starting work:** `npm run create:branch -- <prefix>/<desc>`. It refuses,
|
||||||
without changing anything, unless the working tree is clean, no
|
without changing anything, unless the working tree is clean, no
|
||||||
merge/rebase/cherry-pick is in progress, `main` matches its upstream, and
|
merge/rebase/cherry-pick is in progress, `main` is not behind its upstream
|
||||||
`npm run test` is green on `main`. The prefix is _your_ call, inferred from the
|
(a local merge not yet pushed is fine — the push belongs to `create:release`),
|
||||||
task; the script validates it rather than guessing it.
|
and `npm run test` is green on `main`. The prefix is _your_ call, inferred from
|
||||||
|
the task; the script validates it rather than guessing it.
|
||||||
- **Merging:** `npm run create:finish` (on the branch). It re-asserts the same
|
- **Merging:** `npm run create:finish` (on the branch). It re-asserts the same
|
||||||
preconditions, merges `--no-ff`, runs `npm run verify`, and deletes the branch
|
preconditions, merges `--no-ff`, runs `npm run verify`, and deletes the branch
|
||||||
only after the merge is green. The push is left to `create:release`, so the
|
only after the merge is green. The push is left to `create:release`, so the
|
||||||
@@ -192,8 +206,7 @@ request workflow on Gitea yet.
|
|||||||
- **Releases are NOT triggered by pushes.** Only the maintainer triggers a
|
- **Releases are NOT triggered by pushes.** Only the maintainer triggers a
|
||||||
release; see [Publishing](#publishing).
|
release; see [Publishing](#publishing).
|
||||||
|
|
||||||
Full rationale, including the front-door decisions and a known issue about
|
Full rationale, including the front-door decisions:
|
||||||
`main` being ahead of its upstream between a merge and the next push:
|
|
||||||
[development/workflow.md § Branching model](./development/workflow.md#branching-model).
|
[development/workflow.md § Branching model](./development/workflow.md#branching-model).
|
||||||
|
|
||||||
## Submitting changes
|
## Submitting changes
|
||||||
@@ -204,9 +217,11 @@ as a branch that is merged locally:
|
|||||||
1. `npm run create:branch -- <prefix>/<desc>`.
|
1. `npm run create:branch -- <prefix>/<desc>`.
|
||||||
2. Commit your work (one or more commits, per the tests and style rules above).
|
2. Commit your work (one or more commits, per the tests and style rules above).
|
||||||
3. `npm run verify` — the definition of done.
|
3. `npm run verify` — the definition of done.
|
||||||
4. `npm run create:finish` to merge the branch into `main` and verify the
|
4. Add a changelog note under `[Unreleased]` (see
|
||||||
|
[Rules the tools don't enforce](#rules-the-tools-dont-enforce)).
|
||||||
|
5. `npm run create:finish` to merge the branch into `main` and verify the
|
||||||
result.
|
result.
|
||||||
5. Present a handover for review. Once there are no further objections, the
|
6. Present a handover for review. Once there are no further objections, the
|
||||||
maintainer pushes.
|
maintainer pushes.
|
||||||
|
|
||||||
When the project is promoted to GitHub, this step becomes a normal pull request
|
When the project is promoted to GitHub, this step becomes a normal pull request
|
||||||
|
|||||||
+7
-51
@@ -5,9 +5,11 @@ Backlog and tracking for tiny-pattern-ts. Managed in vscode-todotasks format.
|
|||||||
---
|
---
|
||||||
|
|
||||||
Setup:
|
Setup:
|
||||||
✔ Add gitea release page in CI @high @done
|
|
||||||
✔ Manually verify the Gitea release page on a real tag push (needs main) @high @done (9/15/2026, 1:18:15 PM)
|
|
||||||
☐ Split off template into separate package => pi --session 01a07dde-7050-7054-bb36-1606d7eb2bc3 @high
|
☐ Split off template into separate package => pi --session 01a07dde-7050-7054-bb36-1606d7eb2bc3 @high
|
||||||
|
✔ straighten oxc rules @done
|
||||||
|
✔ oxc forbids ternary => remove oxc rule @done
|
||||||
|
✔ oxc wants comments to start comments with a capital letter => remove oxc rule @done
|
||||||
|
✔ there already exists a /* */ block comment in primitive.ts, => change to multi-line comment @done
|
||||||
|
|
||||||
v1.0:
|
v1.0:
|
||||||
☐ API surface is stable and fully typed
|
☐ API surface is stable and fully typed
|
||||||
@@ -22,37 +24,10 @@ v1.0:
|
|||||||
Bugs:
|
Bugs:
|
||||||
|
|
||||||
Enhancements:
|
Enhancements:
|
||||||
|
☐ Allow boolean literals in primitive union patterns (e.g. `true: () => "yes"`) @medium
|
||||||
|
☐ Are there other primitive types that should be supported in union patterns? (e.g. `bigint`, `symbol`) @medium
|
||||||
|
|
||||||
Documentation:
|
Documentation:
|
||||||
✔ Clean up CONTRIBUTING.md and README.md, create docs @done
|
|
||||||
✔ Review existing documentation for accuracy and completeness @done
|
|
||||||
✔ README.md should be the main entry point for users, and CONTRIBUTING.md should be the main entry point for contributors @done
|
|
||||||
✔ Move the decisions, shortcomings and known issues out of README.md and CONTRIBUTING.md @done
|
|
||||||
✔ Decided: category files under development/ (one per area), not ADRs. Each decision is a block with #### Decision (YYYY-MM) / #### Why / #### Rejected / #### Known issue; rationale in development/README.md @done
|
|
||||||
✔ have a look at other well known repositories for inspiration on how to structure the docs @done
|
|
||||||
✔ often times a docs folder is used, but this usually contains further user of the library documentation, that is deployed to a website. Deployment is out of scope for now @done
|
|
||||||
✔ make sure to preserve that information in the new docs @done
|
|
||||||
✔ development/README.md - index and decision-block convention @done
|
|
||||||
✔ development/workflow.md - branching, script prefixes, feedback tiers, commits @done
|
|
||||||
✔ development/tooling.md - toolchain decisions and editor setup @done
|
|
||||||
✔ development/testing.md - type-driven testing @done
|
|
||||||
✔ development/ci.md - pipeline, runner image, coverage serving @done
|
|
||||||
✔ development/publishing.md - release and npm publishing @done
|
|
||||||
✔ development/library.md - public API design and its limitations @done
|
|
||||||
✔ README.md @done
|
|
||||||
✔ I really like the order perl documentation does it: name with a single line description, version, Synopsis, Description, examples, API reference, license @done
|
|
||||||
(example: https://metacpan.org/pod/Scalar::Util)
|
|
||||||
✔ should include a clear description of the library, its purpose, and how to use it @done
|
|
||||||
✔ Add usage examples to README.md @done
|
|
||||||
✔ version needs to be kept in sync with package.json in release.sh @done
|
|
||||||
✔ Not every section in current README fits in the above order, so put them in another file @done
|
|
||||||
✔ CONTRIBUTING.md @done
|
|
||||||
✔ should include instructions for how to contribute to the project, including how to set up a development environment, run tests, and submit pull requests @done
|
|
||||||
✔ should include guidelines for code style and formatting and a hint, that vscode extensions are suggested from .vscode/extensions.json @done
|
|
||||||
✔ Not every section in current CONTRIBUTING.md fits in, so put them in another file @done
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
☐ Create `examples/` directory with runnable snippets
|
☐ Create `examples/` directory with runnable snippets
|
||||||
☐ Add comparison section vs. other TS pattern-matching libs in Readme.md
|
☐ Add comparison section vs. other TS pattern-matching libs in Readme.md
|
||||||
☐ Write migration guide for users coming from discriminated unions
|
☐ Write migration guide for users coming from discriminated unions
|
||||||
@@ -60,14 +35,11 @@ Documentation:
|
|||||||
☐ Validate code fences in Markdown (start with README.md) — compile the TypeScript examples against `src/` so the docs cannot drift from the API
|
☐ Validate code fences in Markdown (start with README.md) — compile the TypeScript examples against `src/` so the docs cannot drift from the API
|
||||||
|
|
||||||
Workflow:
|
Workflow:
|
||||||
☐ Resolve the finish/push tension: `create:finish` leaves `main` ahead of its upstream while `create:branch` refuses until `main` matches upstream — decide whether `finish` should push or `branch` should compare only `BEHIND` (see development/workflow.md)
|
✔ Resolve the finish/push tension: `create:finish` leaves `main` ahead of its upstream while `create:branch` refuses until `main` matches upstream — decide whether `finish` should push or `branch` should compare only `BEHIND` (see development/workflow.md) @done
|
||||||
|
|
||||||
Maintenance:
|
Maintenance:
|
||||||
☐ Serve CI coverage over a tiny self-hosted webserver (replace the zip artifact) @low
|
☐ Serve CI coverage over a tiny self-hosted webserver (replace the zip artifact) @low
|
||||||
✔ Add a minimal dir-listing webserver to the gitea docker setup (e.g. caddy `file_server browse` reusing the existing reverse proxy, or any single-binary static server, lipanski/docker-static-website) @done (9/13/2026, 9:02:37 PM)
|
|
||||||
✔ drop the `actions/upload-artifact` coverage step in favour of the shared-dir layout @done (9/13/2026, 10:37:22 PM)
|
|
||||||
☐ Explore serving coverage for non-tag pushes (e.g. `main/coverage`, PR previews) @low
|
☐ Explore serving coverage for non-tag pushes (e.g. `main/coverage`, PR previews) @low
|
||||||
✔ Manually verify the coverage was created on a real tag push (needs main) @low @done (9/14/2026, 1:55:03 PM)
|
|
||||||
→ design: no deploy step in CI; the webserver just exposes the shared directory (decided over Gitea Pages / Codecov — neither confirmed available/ wanted)
|
→ design: no deploy step in CI; the webserver just exposes the shared directory (decided over Gitea Pages / Codecov — neither confirmed available/ wanted)
|
||||||
☐ serve docs over self hosted server @low
|
☐ serve docs over self hosted server @low
|
||||||
☐ Add a minimal dir-listing webserver to the gitea docker setup for serving docs (reuse existing reverse proxy)
|
☐ Add a minimal dir-listing webserver to the gitea docker setup for serving docs (reuse existing reverse proxy)
|
||||||
@@ -77,19 +49,3 @@ Maintenance:
|
|||||||
☐ Add a minimal dir-listing webserver to the gitea docker setup for serving landing page (reuse existing reverse proxy)
|
☐ Add a minimal dir-listing webserver to the gitea docker setup for serving landing page (reuse existing reverse proxy)
|
||||||
☐ CI writes landing page to a shared volume keyed by project + tag (e.g. `/landing/tiny-pattern-ts/<tag>/`)
|
☐ CI writes landing page to a shared volume keyed by project + tag (e.g. `/landing/tiny-pattern-ts/<tag>/`)
|
||||||
☐ Browse to `…/tiny-pattern-ts/index.html` in the browser
|
☐ Browse to `…/tiny-pattern-ts/index.html` in the browser
|
||||||
✔ Stop Gitea CI re-downloading Node on every job @done
|
|
||||||
✔ Share the warm npm cache with the publish job @done
|
|
||||||
✔ Bake Node into the CI job image (docker/Dockerfile, container.image in ci.yml) @done
|
|
||||||
✔ Build/push gitea.e1nsnull.de/tmu/act-ci:26.8.2 and confirm setup-node skips the download @done
|
|
||||||
✔ Write the `<version>/x64.complete` marker — actions/tool-cache ignores a bare directory, so the probe missed and the download continued @done
|
|
||||||
✔ Log tool-cache state from the job container to find it (temporary, removed once understood) @done
|
|
||||||
✔ Guard the invariant in CI (`Assert the baked tool cache is present`) @done
|
|
||||||
✘ Enable force-pull for the runner so a changed act-ci image is never missed @low @cancelled
|
|
||||||
→ decided against: it is acceptable to miss a runner-side image change, and the image is only rebuilt on a Node bump, which changes the tag anyway. A Dockerfile-only change re-pushed under an unchanged tag is a known issue with a manual `docker rmi` workaround (see development/ci.md).
|
|
||||||
✔ Improve CI publish @done
|
|
||||||
✔ Check whether publish job is only run on tags, if not, guard it @done
|
|
||||||
✔ Gate only single steps @done
|
|
||||||
✔ Do not publish to npm, if NPM_TOKEN is not set (e.g. PRs from forks) @done
|
|
||||||
✔ Do not publish to Gitea — uses the run's automatic `github.token`, so no secret gate is needed @done
|
|
||||||
✔ Otherwise run the steps @done
|
|
||||||
✔ Fail the job unless both the Gitea release and npm publish succeeded @done
|
|
||||||
+2
-1
@@ -42,7 +42,8 @@
|
|||||||
"bestikk",
|
"bestikk",
|
||||||
"silverwind",
|
"silverwind",
|
||||||
"idris",
|
"idris",
|
||||||
"todotasks"
|
"todotasks",
|
||||||
|
"connor"
|
||||||
],
|
],
|
||||||
"ignorePaths": ["dist", "node_modules", "coverage", "*.svg", ".gitignore"]
|
"ignorePaths": ["dist", "node_modules", "coverage", "*.svg", ".gitignore"]
|
||||||
}
|
}
|
||||||
@@ -66,6 +66,9 @@ of downloading per job.
|
|||||||
goes under a `## Known issues` section at the end of the file.
|
goes under a `## Known issues` section at the end of the file.
|
||||||
- Replace a superseded decision in place rather than archiving it; git history
|
- Replace a superseded decision in place rather than archiving it; git history
|
||||||
is the archive.
|
is the archive.
|
||||||
|
- Terse is the point: humans skim and agents imitate the style already in the
|
||||||
|
file, so verbosity compounds edit over edit. Grammar loses to density here on
|
||||||
|
purpose.
|
||||||
|
|
||||||
## Adding to these docs
|
## Adding to these docs
|
||||||
|
|
||||||
|
|||||||
+29
-1
@@ -36,10 +36,38 @@ The runner is `node --test --strip-types "src/**/*.test.ts"` and the tiers are i
|
|||||||
build step, and the runner relies on the `.ts` import-extension convention (see
|
build step, and the runner relies on the `.ts` import-extension convention (see
|
||||||
[tooling.md](./tooling.md#source-imports-use-ts-extensions)).
|
[tooling.md](./tooling.md#source-imports-use-ts-extensions)).
|
||||||
|
|
||||||
|
## AAA ordering
|
||||||
|
|
||||||
|
The rule is in
|
||||||
|
[CONTRIBUTING.md § Testing discipline (type-driven)](../CONTRIBUTING.md#testing-discipline-type-driven).
|
||||||
|
|
||||||
|
#### Decision (2026-09)
|
||||||
|
|
||||||
|
Test bodies read arrange → act → assert: inputs (the factory) set up first, the
|
||||||
|
subject exercised once from them, all checks last — types then runtime. The
|
||||||
|
blocks are labeled with `// Arrange` / `// Act` / `// Assert` comments and
|
||||||
|
separated by a blank line; an empty block drops its label.
|
||||||
|
|
||||||
|
#### Why
|
||||||
|
|
||||||
|
- Interleaved setup/checks hide what runs vs. what is observed; the eye
|
||||||
|
re-reads the block to find the seams.
|
||||||
|
- A factory built mid-test invites a second throwaway call of the subject;
|
||||||
|
arranging it once makes the positive construction and the negative
|
||||||
|
`Parameters<…>` check share one source of truth.
|
||||||
|
- Labels make the seams explicit, not inferred — grep-able and reviewable
|
||||||
|
without reading the statements.
|
||||||
|
|
||||||
|
#### Rejected
|
||||||
|
|
||||||
|
- Unlabeled ordering (bare blank lines): the seams still have to be found by
|
||||||
|
reading; the labels cost nothing.
|
||||||
|
|
||||||
## Known issues
|
## Known issues
|
||||||
|
|
||||||
- The type-aware linter misidentifies `expectTypeOf()` as a floating promise, so
|
- The type-aware linter misidentifies `expectTypeOf()` as a floating promise, so
|
||||||
`src/index.test.ts` carries a file-level `oxlint-disable
|
test files that use it (`src/index.test.ts`, `src/primitive.test.ts`) carry a
|
||||||
|
file-level `oxlint-disable
|
||||||
typescript/no-floating-promises` with an explanatory comment. It is a known
|
typescript/no-floating-promises` with an explanatory comment. It is a known
|
||||||
false positive, not a rule worth disabling project-wide (see
|
false positive, not a rule worth disabling project-wide (see
|
||||||
[tooling.md § oxlint-disable directives live next to the code](./tooling.md#oxlint-disable-directives-live-next-to-the-code)).
|
[tooling.md § oxlint-disable directives live next to the code](./tooling.md#oxlint-disable-directives-live-next-to-the-code)).
|
||||||
+50
-5
@@ -104,25 +104,48 @@ Type-aware oxlint is enabled via `options.typeAware: true` in `.oxlintrc.json`
|
|||||||
|
|
||||||
#### Decision (2026-09)
|
#### Decision (2026-09)
|
||||||
|
|
||||||
Known type-aware false positives are silenced with source-level `oxlint-disable`
|
A type-aware rule that false-positives is silenced with a source-level
|
||||||
directives (see `src/pattern.ts`, `src/match.ts`, `src/index.test.ts`), not with
|
`oxlint-disable` directive (see `src/pattern.ts`, `src/match.ts`,
|
||||||
rules disabled in `.oxlintrc.json`.
|
`src/index.test.ts`), not by turning the rule off in `.oxlintrc.json`.
|
||||||
|
|
||||||
#### Why
|
#### Why
|
||||||
|
|
||||||
- The disable sits next to the code it silences, visible to anyone reading the
|
- The disable sits next to the code it silences, visible to anyone reading the
|
||||||
source.
|
source.
|
||||||
|
- The rule stays on everywhere else, so only the mis-firing line is exempted.
|
||||||
|
|
||||||
#### Rejected
|
#### Rejected
|
||||||
|
|
||||||
- A project-wide disable in `.oxlintrc.json`: it hides the suppression from the
|
- A project-wide disable in `.oxlintrc.json` for a false positive: it hides the
|
||||||
reader of the affected code.
|
exemption from the reader of the affected code and switches the rule off
|
||||||
|
repo-wide for a one-site problem.
|
||||||
|
|
||||||
#### Known issue
|
#### Known issue
|
||||||
|
|
||||||
- A source-level disable is a _human_ last resort. AI agents must not add one;
|
- A source-level disable is a _human_ last resort. AI agents must not add one;
|
||||||
they fix the type at its root (see [AGENTS.md § Never do](../AGENTS.md#never-do)).
|
they fix the type at its root (see [AGENTS.md § Never do](../AGENTS.md#never-do)).
|
||||||
|
|
||||||
|
### Unwanted stylistic rules are turned off in the config
|
||||||
|
|
||||||
|
#### Decision (2026-09)
|
||||||
|
|
||||||
|
A stylistic rule the project rejects is `"off"` in the `.oxlintrc.json` `rules`
|
||||||
|
map, not silenced at a use site. Current entries: `eslint/capitalized-comments`
|
||||||
|
(comments may start lowercase) and `eslint/no-ternary` (ternaries are allowed),
|
||||||
|
joining the oxfmt-superseded rules already off.
|
||||||
|
|
||||||
|
#### Why
|
||||||
|
|
||||||
|
- The rule is wrong for the whole project, not mis-firing at one site, so there
|
||||||
|
is no line to annotate.
|
||||||
|
- Keeping the two mechanisms separate keeps a source-level `oxlint-disable`
|
||||||
|
meaningful: it marks a lone exception.
|
||||||
|
|
||||||
|
#### Rejected
|
||||||
|
|
||||||
|
- A source-level `oxlint-disable` per use: the same exemption repeated at every
|
||||||
|
site, and oxfmt can move the site.
|
||||||
|
|
||||||
### `check:tsc` runs first
|
### `check:tsc` runs first
|
||||||
|
|
||||||
#### Decision (2026-09)
|
#### Decision (2026-09)
|
||||||
@@ -163,6 +186,28 @@ rules disabled in `.oxlintrc.json`.
|
|||||||
are part of the public API.
|
are part of the public API.
|
||||||
- The narrower scope keeps the signal high without config-file boilerplate.
|
- The narrower scope keeps the signal high without config-file boilerplate.
|
||||||
|
|
||||||
|
### `maintain:outdated` ignores `@types/node`
|
||||||
|
|
||||||
|
#### Decision (2026-09)
|
||||||
|
|
||||||
|
Pass `--ignore-packages @types/node`.
|
||||||
|
|
||||||
|
#### Why
|
||||||
|
|
||||||
|
- DT pins `@types/node`'s `latest` dist-tag to LTS (22.x); current-line types
|
||||||
|
ride other tags. Scan sees latest < installed — permanent "reverted", exit
|
||||||
|
1, zero signal. `--ignore-pre-releases` no help: 22.20.3 is stable.
|
||||||
|
|
||||||
|
#### Rejected
|
||||||
|
|
||||||
|
- `--types major,minor,patch`: hides real reverted reports elsewhere.
|
||||||
|
- `@types/node@26.*`: tag stays wrong across majors; un-pin per bump = ritual.
|
||||||
|
|
||||||
|
#### Known issue
|
||||||
|
|
||||||
|
- A genuinely behind `@types/node` goes unreported; match it to
|
||||||
|
`.node-version` by hand.
|
||||||
|
|
||||||
### `attw` targets ESM-only
|
### `attw` targets ESM-only
|
||||||
|
|
||||||
#### Decision (2026-09)
|
#### Decision (2026-09)
|
||||||
|
|||||||
+35
-5
@@ -26,7 +26,10 @@ plus hand-written `git`.
|
|||||||
gate is not paid on an ineligible tree.
|
gate is not paid on an ineligible tree.
|
||||||
- The merge half owns the post-merge `npm run verify`, so a merge cannot land
|
- The merge half owns the post-merge `npm run verify`, so a merge cannot land
|
||||||
unverified. The push stays with `create:release` so the merge is reviewed
|
unverified. The push stays with `create:release` so the merge is reviewed
|
||||||
locally first.
|
locally first; `main` is therefore routinely ahead of its upstream between a
|
||||||
|
merge and the release that ships it. `create:branch` requires only that `main`
|
||||||
|
is not _behind_ — matching `create:finish`, which tolerates the local merge and
|
||||||
|
fast-forwards over a remote one — rather than an exact match.
|
||||||
- Every failure is non-mutating except the baseline test, which runs on `main`
|
- Every failure is non-mutating except the baseline test, which runs on `main`
|
||||||
after switching there: a red `main` restores the branch you started on, and a
|
after switching there: a red `main` restores the branch you started on, and a
|
||||||
merge conflict aborts back to the feature branch rather than stranding a
|
merge conflict aborts back to the feature branch rather than stranding a
|
||||||
@@ -42,12 +45,39 @@ plus hand-written `git`.
|
|||||||
can run from a dirty tree.
|
can run from a dirty tree.
|
||||||
- Fast-forward instead of `--no-ff`: `--no-ff` keeps each unit of work visible
|
- Fast-forward instead of `--no-ff`: `--no-ff` keeps each unit of work visible
|
||||||
in `git log`.
|
in `git log`.
|
||||||
|
- Pushing from `create:finish` to keep `main` level with its upstream: it would
|
||||||
|
trade the local review the push waits for for a network side effect, and a
|
||||||
|
failed push would leave the merge landed but unpublished.
|
||||||
|
|
||||||
#### Known issue
|
## Changelog notes
|
||||||
|
|
||||||
- `create:finish` does not push, so `main` is ahead of `origin/main` between a
|
The rule is in
|
||||||
merge and the next push. `create:branch` requires `main` to match its upstream
|
[CONTRIBUTING.md § Rules the tools don't enforce](../CONTRIBUTING.md#rules-the-tools-dont-enforce).
|
||||||
and refuses until it is pushed; push `main` before starting the next branch.
|
|
||||||
|
#### Decision (2026-09)
|
||||||
|
|
||||||
|
A merged branch carries its own summary under `[Unreleased]` in
|
||||||
|
[CHANGELOG.md](../CHANGELOG.md), added before `create:finish`;
|
||||||
|
`create:release` graduates it into the tagged section (see
|
||||||
|
[publishing.md](./publishing.md)).
|
||||||
|
|
||||||
|
#### Why
|
||||||
|
|
||||||
|
- `create:release` derives the bump heuristic from the `[Unreleased]` body, so
|
||||||
|
the notes must exist before release day.
|
||||||
|
- The contributor has fresh context; at release day the intent of a branch is
|
||||||
|
only its diff.
|
||||||
|
- Gitmoji subjects are signposts, not semantic keys, so notes cannot be derived
|
||||||
|
from the history.
|
||||||
|
|
||||||
|
#### Rejected
|
||||||
|
|
||||||
|
- Generating notes from subjects at release time: subjects carry no parseable
|
||||||
|
type/scope (see § Commit messages).
|
||||||
|
- The maintainer writing one summary during `create:release`: reconstruction
|
||||||
|
after the fact.
|
||||||
|
- Enforcing it in `create:finish`: the front doors assert git state, not
|
||||||
|
content — and _notable_ is exactly the judgment a tool cannot make.
|
||||||
|
|
||||||
## Script prefix convention
|
## Script prefix convention
|
||||||
|
|
||||||
|
|||||||
Generated
+149
-127
@@ -1,22 +1,25 @@
|
|||||||
{
|
{
|
||||||
"name": "tiny-pattern-ts",
|
"name": "tiny-pattern-ts",
|
||||||
"version": "0.1.6",
|
"version": "0.1.8",
|
||||||
"lockfileVersion": 3,
|
"lockfileVersion": 3,
|
||||||
"requires": true,
|
"requires": true,
|
||||||
"packages": {
|
"packages": {
|
||||||
"": {
|
"": {
|
||||||
"name": "tiny-pattern-ts",
|
"name": "tiny-pattern-ts",
|
||||||
"version": "0.1.6",
|
"version": "0.1.8",
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
|
"dependencies": {
|
||||||
|
"type-fest": "^5.9.0"
|
||||||
|
},
|
||||||
"devDependencies": {
|
"devDependencies": {
|
||||||
"@arethetypeswrong/cli": "^0.18.5",
|
"@arethetypeswrong/cli": "^0.18.5",
|
||||||
"@runwisp/pubv": "^1.5.1",
|
"@runwisp/pubv": "^1.5.1",
|
||||||
"@tsconfig/node26": "^26.0.1",
|
"@tsconfig/node26": "^26.0.1",
|
||||||
"@tsconfig/strictest": "^2.0.8",
|
"@tsconfig/strictest": "^2.0.8",
|
||||||
"@types/node": "^26.4.1",
|
"@types/node": "^26.6.1",
|
||||||
"c8": "^12.0.0",
|
"c8": "^12.0.0",
|
||||||
"check-outdated": "^3.0.0",
|
"check-outdated": "^3.0.0",
|
||||||
"cspell": "^10.2.2",
|
"cspell": "^10.3.2",
|
||||||
"expect-type": "1.4.0",
|
"expect-type": "1.4.0",
|
||||||
"knip": "^6.34.0",
|
"knip": "^6.34.0",
|
||||||
"lefthook": "^2.1.12",
|
"lefthook": "^2.1.12",
|
||||||
@@ -122,9 +125,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-bundled-dicts": {
|
"node_modules/@cspell/cspell-bundled-dicts": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-bundled-dicts/-/cspell-bundled-dicts-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-bundled-dicts/-/cspell-bundled-dicts-10.3.2.tgz",
|
||||||
"integrity": "sha512-wHRmqaHrhmPHxsnYs9JhYCwD+lLsIOltbvaK9XfIkisblfBCjvsSihsJZhVEvSQ2pPNqESUaOQnBBeVbqv52qA==",
|
"integrity": "sha512-b0f6fQCwcTP32dsibbPbdU2m5R0ZAwAVaB1u04187OqfRBJxr2m77bAXa50xSsjonRILLAGzxgT4+HkPojIBpA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
@@ -193,22 +196,22 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-json-reporter": {
|
"node_modules/@cspell/cspell-json-reporter": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-json-reporter/-/cspell-json-reporter-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-json-reporter/-/cspell-json-reporter-10.3.2.tgz",
|
||||||
"integrity": "sha512-wdM5pdIDIDn5PHxEMU0uhu3Gxgpqp6Y0MD65eGr+sFXSxXyWwc3U0F1ghxsYCVIKfiF71tKRwtuKnMQJLXPNKw==",
|
"integrity": "sha512-X4K1lWhrf2NUtLfX+9LrZPyN1XoYv0jzAyzME7qs/LFtmZlPnjlFjLfh2gO48bYJWnd9WN0AzzEzwOMD331l2A==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-types": "10.3.1"
|
"@cspell/cspell-types": "10.3.2"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
"node": ">=22.18.0"
|
"node": ">=22.18.0"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-performance-monitor": {
|
"node_modules/@cspell/cspell-performance-monitor": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-performance-monitor/-/cspell-performance-monitor-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-performance-monitor/-/cspell-performance-monitor-10.3.2.tgz",
|
||||||
"integrity": "sha512-zSFk/7YxYUCoxCxunigiW/q0U9XsIYNQJy6+bYaVYOT6/3WMOHZkzWffxAD8WNzzMd61QFpTb2FrrzudEhY/Yw==",
|
"integrity": "sha512-n2/nXk4tOHzQDbh9X5yTuofQDprZTywrYow8Fua0Gy9gyanmRShTSpnooOMk8SraIuRhIPNm98ge2XNgQrsH7Q==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -216,9 +219,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-pipe": {
|
"node_modules/@cspell/cspell-pipe": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-pipe/-/cspell-pipe-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-pipe/-/cspell-pipe-10.3.2.tgz",
|
||||||
"integrity": "sha512-ErGssy4KPaI+PWbc92attUz4/hYcJW05c94tgzhiaEUumgrCMqV64sJlFyTh3ckMhAh9pPg2Kp+qpmS634pTwQ==",
|
"integrity": "sha512-Iyy5aC6kgymCXwQkV56LJAbkVl8mfEVoyTgfi3Nv72CWvaPo7tStYdmyqFNs2oj3jpVArc8gRoi6uztV8wJ9rQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -226,9 +229,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-resolver": {
|
"node_modules/@cspell/cspell-resolver": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-resolver/-/cspell-resolver-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-resolver/-/cspell-resolver-10.3.2.tgz",
|
||||||
"integrity": "sha512-m072aE8NesdbSt8wieWJiCZOzSekzorsaXFxetkTFI2JIM7fqd+wvCtasLYY1CUbhjGdHOjTQ5GxXL6Z4rzCbA==",
|
"integrity": "sha512-StPrbknIKYOmgKGUYb1YLFnOR309aG/Rvo8RbNBKCBtvRV9dDynwioK1H712uva3B/+8EDjW8bOduM8ZIrovyw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
@@ -239,9 +242,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-service-bus": {
|
"node_modules/@cspell/cspell-service-bus": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-service-bus/-/cspell-service-bus-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-service-bus/-/cspell-service-bus-10.3.2.tgz",
|
||||||
"integrity": "sha512-Ha+H8SOBFA0QeWjYc9qY2/Jm41PGpmFjGqgOGZtI8BiJ5DTPLQpn2rPAxE6IKNUvtNE1kkknkbhsWVe/a14wkw==",
|
"integrity": "sha512-WyBH2Ek3+viH/B3adXKUYH8mKqXx7qjUI3aro8Ci4KbCIqllRmfQisx4WnaW9b9Y471+xy4FCGRC77Qdclnewg==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -249,9 +252,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-types": {
|
"node_modules/@cspell/cspell-types": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-types/-/cspell-types-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-types/-/cspell-types-10.3.2.tgz",
|
||||||
"integrity": "sha512-c0ta73Z2KQdvOqlCWNCi9GYQSw/IUFm0R0FpNOaPZn3cjc6J6pMBd4IwD07TsOXMduCrmf/Ppg6gzcyviGHeAQ==",
|
"integrity": "sha512-Ld9OiU4PhsaYFZ2AcnfqB+YA1piyMf/C9rASQBQrEEcB9n/2Hbmd3gSA1KF29FGyfuAJBrigt7N/GTSSUZVrWw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -259,13 +262,13 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/cspell-worker": {
|
"node_modules/@cspell/cspell-worker": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/cspell-worker/-/cspell-worker-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/cspell-worker/-/cspell-worker-10.3.2.tgz",
|
||||||
"integrity": "sha512-mg4J9ia14qNoP8oqSBFU8BOq/VoI0s6xPdsw70oiDvCfxMePoe5PvcnrGNjWNHAdoOeMuFNgjpK5vl/CSjaLFQ==",
|
"integrity": "sha512-YUGOI5u4aR/1Ld069mBVhi0/rDQrhmqg0TQgKy+PUhUcR4LdKZ/PFhA+3NObyZy8k2lPYdpbAYf27zuGA39HFA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"cspell-lib": "10.3.1"
|
"cspell-lib": "10.3.2"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
"node": ">=22.18.0"
|
"node": ">=22.18.0"
|
||||||
@@ -697,13 +700,13 @@
|
|||||||
"license": "MIT"
|
"license": "MIT"
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/dynamic-import": {
|
"node_modules/@cspell/dynamic-import": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/dynamic-import/-/dynamic-import-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/dynamic-import/-/dynamic-import-10.3.2.tgz",
|
||||||
"integrity": "sha512-4OlYzARVBPlPjc1hsixRJObNhnzmBQOXuMjCmlLa5CiAB2y9fhVKN8EIZMSph/Tboo+LzCxUpOmklSwb1NqYRQ==",
|
"integrity": "sha512-n7vpABAl6msXh5Li4dxBdA2n0ux3sCznb/F4ysEzyRJJ4gHXmC75fTeeDQbzdERxwz7bSc8K3nqlDiebyLq9aw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/url": "10.3.1",
|
"@cspell/url": "10.3.2",
|
||||||
"import-meta-resolve": "^4.2.0"
|
"import-meta-resolve": "^4.2.0"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -711,9 +714,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/filetypes": {
|
"node_modules/@cspell/filetypes": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/filetypes/-/filetypes-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/filetypes/-/filetypes-10.3.2.tgz",
|
||||||
"integrity": "sha512-R7pQUshSh78yWEb5SSdeKlQBamYn15BpU3EEUHKXFZq70PvixXatVtygFBHawdk8YjSAVQTT+G5Rx4LOv/3QLQ==",
|
"integrity": "sha512-6dunxj9bNfVR1l8yuW5tU165l8wYzQZJQAnunonnYTdk6zeguu2odpaKMebS/Mo2PuGknhhz53KBJzVBEQZFHQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -721,9 +724,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/rpc": {
|
"node_modules/@cspell/rpc": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/rpc/-/rpc-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/rpc/-/rpc-10.3.2.tgz",
|
||||||
"integrity": "sha512-3MJ62tcb27JM/Znpg9OE97iWHh0QDQsUZV15imAw2326yGAG7oyFEIyDDvhbJLQTfogs0oYdH7c5A4B/VfBIZg==",
|
"integrity": "sha512-5TZJvPhNo8KhjFYWAlg7pX3+RnQsrLUWE3OdSsfQ6yAbJGP9SulPHjzr7wapGE/jhPVH3vg9OlZhO6o1lRKISA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -731,9 +734,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/strong-weak-map": {
|
"node_modules/@cspell/strong-weak-map": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/strong-weak-map/-/strong-weak-map-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/strong-weak-map/-/strong-weak-map-10.3.2.tgz",
|
||||||
"integrity": "sha512-Bwe3+1GyKN1BcfdDsWW53ujWxUqn6onNAKJ6hIXaZCTAS/ZLMcoYP7fJQko/syEGerOvbcSgdCkXfahrM2dRfA==",
|
"integrity": "sha512-P/QVqEzKedoRAOcQnAO23BvYdK47K4T0h3iSZE411EgAFG2RJSL2YNXyIhMe86XkK20ePXnh91/xtoC6oST7PQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -741,9 +744,9 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/@cspell/url": {
|
"node_modules/@cspell/url": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/@cspell/url/-/url-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/@cspell/url/-/url-10.3.2.tgz",
|
||||||
"integrity": "sha512-S2+Sr9LwCrUATnODo8fdyF6NfJZYAmYmA0HaJ40OGEsOwi17T5aa1jHfw62RWyZYMkxFLcL7ABeFHnWDgI784A==",
|
"integrity": "sha512-7KG8iDDIckYf6CSCn9CoHzxABREOSA2c8pLQz4lEBJcIL4NOZbD8O7Zw69rRQ2nDIDPAbHeu+6KAr86EQJ7lUQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -2362,9 +2365,9 @@
|
|||||||
"license": "MIT"
|
"license": "MIT"
|
||||||
},
|
},
|
||||||
"node_modules/@types/node": {
|
"node_modules/@types/node": {
|
||||||
"version": "26.5.1",
|
"version": "26.6.1",
|
||||||
"resolved": "https://registry.npmjs.org/@types/node/-/node-26.5.1.tgz",
|
"resolved": "https://registry.npmjs.org/@types/node/-/node-26.6.1.tgz",
|
||||||
"integrity": "sha512-CzNm2FezW4VR/LjG6yUdiEgLE/rAQ9Slj5gCu/C2VrdcW7I0ahNZ8DRbHT7zOZ6r3ONgd/bsQIeSaoDGrd1C6g==",
|
"integrity": "sha512-VqGJBMCtdhqkBUCcBLvywI0NJ+KLuVzgNnlBUNFOQjqVxzo2lxLUNg1DSey8+u2u6ktswSAxg+s68QLzWHNOuA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
@@ -3123,30 +3126,29 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell": {
|
"node_modules/cspell": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell/-/cspell-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell/-/cspell-10.3.2.tgz",
|
||||||
"integrity": "sha512-fd16436V8lEQ2UT8gAwcXrgfB8k5qpIhFC4Zo753v/JA1eL9ZlCDYCMefAPKVq1CfFpImsTfxxeGqscaYJ/ISA==",
|
"integrity": "sha512-r4G/4rjaFe/ASCX43+3T4sKJQQzbiyBzWQhTl+kjcEfDYZsG++Ut5dXeXVld364QrGOqry3KQbvwUijci4vrIA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-json-reporter": "10.3.1",
|
"@cspell/cspell-json-reporter": "10.3.2",
|
||||||
"@cspell/cspell-performance-monitor": "10.3.1",
|
"@cspell/cspell-performance-monitor": "10.3.2",
|
||||||
"@cspell/cspell-pipe": "10.3.1",
|
"@cspell/cspell-pipe": "10.3.2",
|
||||||
"@cspell/cspell-types": "10.3.1",
|
"@cspell/cspell-types": "10.3.2",
|
||||||
"@cspell/cspell-worker": "10.3.1",
|
"@cspell/cspell-worker": "10.3.2",
|
||||||
"@cspell/dynamic-import": "10.3.1",
|
"@cspell/dynamic-import": "10.3.2",
|
||||||
"@cspell/url": "10.3.1",
|
"@cspell/url": "10.3.2",
|
||||||
"ansi-regex": "^6.3.0",
|
"ansi-regex": "^6.3.0",
|
||||||
"chalk": "^6.0.0",
|
"chalk": "^6.0.0",
|
||||||
"chalk-template": "^1.1.2",
|
"chalk-template": "^1.1.2",
|
||||||
"commander": "^15.0.0",
|
"commander": "^15.0.0",
|
||||||
"cspell-config-lib": "10.3.1",
|
"cspell-config-lib": "10.3.2",
|
||||||
"cspell-dictionary": "10.3.1",
|
"cspell-dictionary": "10.3.2",
|
||||||
"cspell-gitignore": "10.3.1",
|
"cspell-gitignore": "10.3.2",
|
||||||
"cspell-glob": "10.3.1",
|
"cspell-glob": "10.3.2",
|
||||||
"cspell-io": "10.3.1",
|
"cspell-io": "10.3.2",
|
||||||
"cspell-lib": "10.3.1",
|
"cspell-lib": "10.3.2",
|
||||||
"fast-json-stable-stringify": "^2.1.0",
|
|
||||||
"flatted": "^3.4.4",
|
"flatted": "^3.4.4",
|
||||||
"semver": "^7.8.5",
|
"semver": "^7.8.5",
|
||||||
"tinyglobby": "^0.2.17"
|
"tinyglobby": "^0.2.17"
|
||||||
@@ -3163,13 +3165,13 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-config-lib": {
|
"node_modules/cspell-config-lib": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-config-lib/-/cspell-config-lib-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-config-lib/-/cspell-config-lib-10.3.2.tgz",
|
||||||
"integrity": "sha512-cSZEEhXqTjvoeohRW9ZhYziOTxApN9roHWKaGslsS9UGWbY4eOBO6FikDL1r/2PQ0rGLMu570XTEJYMmFlHraw==",
|
"integrity": "sha512-ukPSVWkiNaiwW26yERfs2+o4rHZ5+YG9uSEqiTqRTcCTrItopyNTizurI+H3pzgrGwcZwPwxNsRZy9oKyOqfjQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-types": "10.3.1",
|
"@cspell/cspell-types": "10.3.2",
|
||||||
"comment-json": "^5.0.0",
|
"comment-json": "^5.0.0",
|
||||||
"smol-toml": "^1.8.0",
|
"smol-toml": "^1.8.0",
|
||||||
"yaml": "^2.9.0"
|
"yaml": "^2.9.0"
|
||||||
@@ -3179,16 +3181,16 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-dictionary": {
|
"node_modules/cspell-dictionary": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-dictionary/-/cspell-dictionary-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-dictionary/-/cspell-dictionary-10.3.2.tgz",
|
||||||
"integrity": "sha512-IR4ApsnqSP0m+daR1lXjpTG4hzrH5Ow7E/yzgoAKKbP9OQRVgrpXC948aOVbB6JOC/Sk2BkWmeMlnJ3YBM3FFQ==",
|
"integrity": "sha512-KHjGUEGNm9jvDQL3CK1vkFgRMk2AJ/6NvWHM5sh8eGX6HBEWd0GAlpnL8087YRao70gToGw/IFxTqsSTktkraw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-performance-monitor": "10.3.1",
|
"@cspell/cspell-performance-monitor": "10.3.2",
|
||||||
"@cspell/cspell-pipe": "10.3.1",
|
"@cspell/cspell-pipe": "10.3.2",
|
||||||
"@cspell/cspell-types": "10.3.1",
|
"@cspell/cspell-types": "10.3.2",
|
||||||
"cspell-trie-lib": "10.3.1",
|
"cspell-trie-lib": "10.3.2",
|
||||||
"fast-equals": "^6.0.2"
|
"fast-equals": "^6.0.2"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -3196,15 +3198,15 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-gitignore": {
|
"node_modules/cspell-gitignore": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-gitignore/-/cspell-gitignore-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-gitignore/-/cspell-gitignore-10.3.2.tgz",
|
||||||
"integrity": "sha512-20I1vn8iZ4h5tVGzQA894uHaS6TPYADjTfP/ZDsSv7eQwgL+T/VQU6jDfveMg4FfGvCaSkRxFKoawa86B2UejA==",
|
"integrity": "sha512-AnfW9XMHOJ1BgEsapLn7VHV9KT+SuqtDEy0chQtHG/2ZcP2UOFJC8bHH35DUD2cYdBNhp5Dr6BHnvvCHgQE1+w==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/url": "10.3.1",
|
"@cspell/url": "10.3.2",
|
||||||
"cspell-glob": "10.3.1",
|
"cspell-glob": "10.3.2",
|
||||||
"cspell-io": "10.3.1"
|
"cspell-io": "10.3.2"
|
||||||
},
|
},
|
||||||
"bin": {
|
"bin": {
|
||||||
"cspell-gitignore": "bin.mjs"
|
"cspell-gitignore": "bin.mjs"
|
||||||
@@ -3214,13 +3216,13 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-glob": {
|
"node_modules/cspell-glob": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-glob/-/cspell-glob-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-glob/-/cspell-glob-10.3.2.tgz",
|
||||||
"integrity": "sha512-w6DvrttxHpSYUYep7RzcIvTZbCtXovWkWVkuGw+RPLOSXbUEcoqDYg3EW9uTg57LIT3p5Jsop+VOTuJzQ8ahTw==",
|
"integrity": "sha512-fmyBeErzjF0Vtf8oGqlc76qsx257x7bUQ7hHB2SQUOJb50KOoZ+en+hfE2g1eAIPX0yEXqU65D9f6D83XaaiLw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/url": "10.3.1",
|
"@cspell/url": "10.3.2",
|
||||||
"picomatch": "^4.0.7"
|
"picomatch": "^4.0.7"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
@@ -3228,14 +3230,14 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-grammar": {
|
"node_modules/cspell-grammar": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-grammar/-/cspell-grammar-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-grammar/-/cspell-grammar-10.3.2.tgz",
|
||||||
"integrity": "sha512-GLtG5fzT4+o9FMqB2M10LT/hnA0iFEO4OmKl1+XMyDrK4rdFrqsBpVfc9Uyk+5AZ+nkR9/PudZBEkFpDDrpgNg==",
|
"integrity": "sha512-Dpi1PgyAk9fYKfJqHHWxBL51ESWR8EMn6NodplYcx8i0UVr8rCcUrISq9+yhgdsi0R547lxe3iufUBdaP1RiFg==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-pipe": "10.3.1",
|
"@cspell/cspell-pipe": "10.3.2",
|
||||||
"@cspell/cspell-types": "10.3.1"
|
"@cspell/cspell-types": "10.3.2"
|
||||||
},
|
},
|
||||||
"bin": {
|
"bin": {
|
||||||
"cspell-grammar": "bin.mjs"
|
"cspell-grammar": "bin.mjs"
|
||||||
@@ -3245,42 +3247,42 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-io": {
|
"node_modules/cspell-io": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-io/-/cspell-io-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-io/-/cspell-io-10.3.2.tgz",
|
||||||
"integrity": "sha512-LGC739gKC/wzoCrLFl+F0F/wQQZNATzvMoIlFk7acr+xGrRVJUUudxh0Fh0yCBnYXtCGhbSUxLgg8eHgFScAag==",
|
"integrity": "sha512-0tY0wMPHvGN0G1DG+NLlJNEcRzY2ycZwWOpz6p/zgaBimEanLY+NJjoOsYPBAhzXhFbDdamsttL0bBPoJKYJPA==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-service-bus": "10.3.1",
|
"@cspell/cspell-service-bus": "10.3.2",
|
||||||
"@cspell/url": "10.3.1"
|
"@cspell/url": "10.3.2"
|
||||||
},
|
},
|
||||||
"engines": {
|
"engines": {
|
||||||
"node": ">=22.18.0"
|
"node": ">=22.18.0"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-lib": {
|
"node_modules/cspell-lib": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-lib/-/cspell-lib-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-lib/-/cspell-lib-10.3.2.tgz",
|
||||||
"integrity": "sha512-msDAL+F0suXMTFj6OCWPmeBUNUe+19Bb1yPtOkbGVBU65K7sKHfwjCt8ev3iTdhhIKi8hIaq6xmJShBb1vznmw==",
|
"integrity": "sha512-svq9qWoMY58/BdyEQwY1YJhDKrmE8/z4VIiwvtgNkxV/km/6wPTNvm2iQNI4VjSa+DWYSvHyX16LwNjrcGp0sw==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"@cspell/cspell-bundled-dicts": "10.3.1",
|
"@cspell/cspell-bundled-dicts": "10.3.2",
|
||||||
"@cspell/cspell-performance-monitor": "10.3.1",
|
"@cspell/cspell-performance-monitor": "10.3.2",
|
||||||
"@cspell/cspell-pipe": "10.3.1",
|
"@cspell/cspell-pipe": "10.3.2",
|
||||||
"@cspell/cspell-resolver": "10.3.1",
|
"@cspell/cspell-resolver": "10.3.2",
|
||||||
"@cspell/cspell-types": "10.3.1",
|
"@cspell/cspell-types": "10.3.2",
|
||||||
"@cspell/dynamic-import": "10.3.1",
|
"@cspell/dynamic-import": "10.3.2",
|
||||||
"@cspell/filetypes": "10.3.1",
|
"@cspell/filetypes": "10.3.2",
|
||||||
"@cspell/rpc": "10.3.1",
|
"@cspell/rpc": "10.3.2",
|
||||||
"@cspell/strong-weak-map": "10.3.1",
|
"@cspell/strong-weak-map": "10.3.2",
|
||||||
"@cspell/url": "10.3.1",
|
"@cspell/url": "10.3.2",
|
||||||
"cspell-config-lib": "10.3.1",
|
"cspell-config-lib": "10.3.2",
|
||||||
"cspell-dictionary": "10.3.1",
|
"cspell-dictionary": "10.3.2",
|
||||||
"cspell-glob": "10.3.1",
|
"cspell-glob": "10.3.2",
|
||||||
"cspell-grammar": "10.3.1",
|
"cspell-grammar": "10.3.2",
|
||||||
"cspell-io": "10.3.1",
|
"cspell-io": "10.3.2",
|
||||||
"cspell-trie-lib": "10.3.1",
|
"cspell-trie-lib": "10.3.2",
|
||||||
"env-paths": "^4.0.0",
|
"env-paths": "^4.0.0",
|
||||||
"gensequence": "^8.0.8",
|
"gensequence": "^8.0.8",
|
||||||
"import-fresh": "^4.0.0",
|
"import-fresh": "^4.0.0",
|
||||||
@@ -3294,16 +3296,16 @@
|
|||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell-trie-lib": {
|
"node_modules/cspell-trie-lib": {
|
||||||
"version": "10.3.1",
|
"version": "10.3.2",
|
||||||
"resolved": "https://registry.npmjs.org/cspell-trie-lib/-/cspell-trie-lib-10.3.1.tgz",
|
"resolved": "https://registry.npmjs.org/cspell-trie-lib/-/cspell-trie-lib-10.3.2.tgz",
|
||||||
"integrity": "sha512-6mJGGPEtD4CMoq9qxmRIa+XB7BgLPTgDSGFn1FluNbhF/x3VFeSErcTO+lcfqQhAdAZvEIqptzKt/m6CJJUUPg==",
|
"integrity": "sha512-YYberpBG16hLviQHLkciXjtqEUc6Q7f9UL71GlJAflSD9TYFuXIvhpIYV80YXPyDrh2Jk3ZYeUqWLQmpZjKaeQ==",
|
||||||
"dev": true,
|
"dev": true,
|
||||||
"license": "MIT",
|
"license": "MIT",
|
||||||
"engines": {
|
"engines": {
|
||||||
"node": ">=22.18.0"
|
"node": ">=22.18.0"
|
||||||
},
|
},
|
||||||
"peerDependencies": {
|
"peerDependencies": {
|
||||||
"@cspell/cspell-types": "10.3.1"
|
"@cspell/cspell-types": "10.3.2"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/cspell/node_modules/chalk": {
|
"node_modules/cspell/node_modules/chalk": {
|
||||||
@@ -3416,13 +3418,6 @@
|
|||||||
"node": ">=6.0.0"
|
"node": ">=6.0.0"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"node_modules/fast-json-stable-stringify": {
|
|
||||||
"version": "2.1.0",
|
|
||||||
"resolved": "https://registry.npmjs.org/fast-json-stable-stringify/-/fast-json-stable-stringify-2.1.0.tgz",
|
|
||||||
"integrity": "sha512-lhd/wF+Lk98HZoTCtlVraHtfh5XYijIjalXck7saUtuanSDyLMxnHhSXEDJqHxD7msR8D0uCmqlkwjCV8xvwHw==",
|
|
||||||
"dev": true,
|
|
||||||
"license": "MIT"
|
|
||||||
},
|
|
||||||
"node_modules/fd-package-json": {
|
"node_modules/fd-package-json": {
|
||||||
"version": "2.0.0",
|
"version": "2.0.0",
|
||||||
"resolved": "https://registry.npmjs.org/fd-package-json/-/fd-package-json-2.0.0.tgz",
|
"resolved": "https://registry.npmjs.org/fd-package-json/-/fd-package-json-2.0.0.tgz",
|
||||||
@@ -4630,6 +4625,18 @@
|
|||||||
"url": "https://github.com/chalk/supports-hyperlinks?sponsor=1"
|
"url": "https://github.com/chalk/supports-hyperlinks?sponsor=1"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
"node_modules/tagged-tag": {
|
||||||
|
"version": "1.0.0",
|
||||||
|
"resolved": "https://registry.npmjs.org/tagged-tag/-/tagged-tag-1.0.0.tgz",
|
||||||
|
"integrity": "sha512-yEFYrVhod+hdNyx7g5Bnkkb0G6si8HJurOoOEgC8B/O0uXLHlaey/65KRv6cuWBNhBgHKAROVpc7QyYqE5gFng==",
|
||||||
|
"license": "MIT",
|
||||||
|
"engines": {
|
||||||
|
"node": ">=20"
|
||||||
|
},
|
||||||
|
"funding": {
|
||||||
|
"url": "https://github.com/sponsors/sindresorhus"
|
||||||
|
}
|
||||||
|
},
|
||||||
"node_modules/test-exclude": {
|
"node_modules/test-exclude": {
|
||||||
"version": "8.0.0",
|
"version": "8.0.0",
|
||||||
"resolved": "https://registry.npmjs.org/test-exclude/-/test-exclude-8.0.0.tgz",
|
"resolved": "https://registry.npmjs.org/test-exclude/-/test-exclude-8.0.0.tgz",
|
||||||
@@ -4713,6 +4720,21 @@
|
|||||||
"license": "0BSD",
|
"license": "0BSD",
|
||||||
"optional": true
|
"optional": true
|
||||||
},
|
},
|
||||||
|
"node_modules/type-fest": {
|
||||||
|
"version": "5.9.0",
|
||||||
|
"resolved": "https://registry.npmjs.org/type-fest/-/type-fest-5.9.0.tgz",
|
||||||
|
"integrity": "sha512-yANm3Jr3GiJ1qgJlxGAVxTOIcEOk1rhQHamlXtnrCK7EHP4HeM9OGxtMg/W7HFdrVzw/ZWJKGVIJusVH85sLtw==",
|
||||||
|
"license": "(MIT OR CC0-1.0)",
|
||||||
|
"dependencies": {
|
||||||
|
"tagged-tag": "^1.0.0"
|
||||||
|
},
|
||||||
|
"engines": {
|
||||||
|
"node": ">=20"
|
||||||
|
},
|
||||||
|
"funding": {
|
||||||
|
"url": "https://github.com/sponsors/sindresorhus"
|
||||||
|
}
|
||||||
|
},
|
||||||
"node_modules/typescript": {
|
"node_modules/typescript": {
|
||||||
"version": "7.0.2",
|
"version": "7.0.2",
|
||||||
"resolved": "https://registry.npmjs.org/typescript/-/typescript-7.0.2.tgz",
|
"resolved": "https://registry.npmjs.org/typescript/-/typescript-7.0.2.tgz",
|
||||||
|
|||||||
+7
-4
@@ -1,6 +1,6 @@
|
|||||||
{
|
{
|
||||||
"name": "tiny-pattern-ts",
|
"name": "tiny-pattern-ts",
|
||||||
"version": "0.1.6",
|
"version": "0.1.8",
|
||||||
"description": "Pattern matching for TypeScript/ESM environments (F#-style, not regex)",
|
"description": "Pattern matching for TypeScript/ESM environments (F#-style, not regex)",
|
||||||
"keywords": [
|
"keywords": [
|
||||||
"adt",
|
"adt",
|
||||||
@@ -53,7 +53,7 @@
|
|||||||
"create:release": "./scripts/release.sh",
|
"create:release": "./scripts/release.sh",
|
||||||
"maintain": "npm run maintain:knip; npm run maintain:outdated",
|
"maintain": "npm run maintain:knip; npm run maintain:outdated",
|
||||||
"maintain:knip": "knip --include dependencies,exports,files",
|
"maintain:knip": "knip --include dependencies,exports,files",
|
||||||
"maintain:outdated": "check-outdated --ignore-pre-releases",
|
"maintain:outdated": "check-outdated --ignore-pre-releases --ignore-packages @types/node",
|
||||||
"test": "npm run check:tsc && node --test --strip-types \"src/**/*.test.ts\"",
|
"test": "npm run check:tsc && node --test --strip-types \"src/**/*.test.ts\"",
|
||||||
"test:ci": "c8 --reporter=text --reporter=lcov --reporter=html node --test --strip-types \"src/**/*.test.ts\"",
|
"test:ci": "c8 --reporter=text --reporter=lcov --reporter=html node --test --strip-types \"src/**/*.test.ts\"",
|
||||||
"test:unit": "node --test --strip-types \"src/**/*.test.ts\"",
|
"test:unit": "node --test --strip-types \"src/**/*.test.ts\"",
|
||||||
@@ -65,15 +65,18 @@
|
|||||||
"setup": "npm run setup:git-commit-message",
|
"setup": "npm run setup:git-commit-message",
|
||||||
"setup:git-commit-message": "git config commit.template commit-message-template"
|
"setup:git-commit-message": "git config commit.template commit-message-template"
|
||||||
},
|
},
|
||||||
|
"dependencies": {
|
||||||
|
"type-fest": "^5.9.0"
|
||||||
|
},
|
||||||
"devDependencies": {
|
"devDependencies": {
|
||||||
"@arethetypeswrong/cli": "^0.18.5",
|
"@arethetypeswrong/cli": "^0.18.5",
|
||||||
"@runwisp/pubv": "^1.5.1",
|
"@runwisp/pubv": "^1.5.1",
|
||||||
"@tsconfig/node26": "^26.0.1",
|
"@tsconfig/node26": "^26.0.1",
|
||||||
"@tsconfig/strictest": "^2.0.8",
|
"@tsconfig/strictest": "^2.0.8",
|
||||||
"@types/node": "^26.4.1",
|
"@types/node": "^26.6.1",
|
||||||
"c8": "^12.0.0",
|
"c8": "^12.0.0",
|
||||||
"check-outdated": "^3.0.0",
|
"check-outdated": "^3.0.0",
|
||||||
"cspell": "^10.2.2",
|
"cspell": "^10.3.2",
|
||||||
"expect-type": "1.4.0",
|
"expect-type": "1.4.0",
|
||||||
"knip": "^6.34.0",
|
"knip": "^6.34.0",
|
||||||
"lefthook": "^2.1.12",
|
"lefthook": "^2.1.12",
|
||||||
|
|||||||
+7
-5
@@ -86,12 +86,14 @@ if [ -n "${UPSTREAM}" ]; then
|
|||||||
echo " refusing to branch on a possibly stale '${BASE}'." >&2
|
echo " refusing to branch on a possibly stale '${BASE}'." >&2
|
||||||
exit 1
|
exit 1
|
||||||
}
|
}
|
||||||
|
# Only *behind* is a problem. `create:finish` deliberately leaves the local
|
||||||
|
# merge on '${BASE}' until `create:release` pushes it, so being ahead is the
|
||||||
|
# normal state between a merge and the release that ships it; branching from
|
||||||
|
# those commits is intended. Missing remote commits is not.
|
||||||
BEHIND=$(git rev-list --count "${BASE}..${UPSTREAM}")
|
BEHIND=$(git rev-list --count "${BASE}..${UPSTREAM}")
|
||||||
AHEAD=$(git rev-list --count "${UPSTREAM}..${BASE}")
|
if [ "${BEHIND}" -ne 0 ]; then
|
||||||
if [ "${BEHIND}" -ne 0 ] || [ "${AHEAD}" -ne 0 ]; then
|
echo "error: '${BASE}' is behind '${UPSTREAM}' (by ${BEHIND})." >&2
|
||||||
echo "error: '${BASE}' has diverged from '${UPSTREAM}' (ahead ${AHEAD}, behind ${BEHIND})." >&2
|
echo " update it: git switch ${BASE} && git pull --ff-only" >&2
|
||||||
[ "${AHEAD}" -ne 0 ] && echo " not yet pushed commits on '${BASE}': push them, or rebase this work onto them." >&2
|
|
||||||
[ "${BEHIND}" -ne 0 ] && echo " update it: git switch ${BASE} && git pull --ff-only" >&2
|
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
else
|
else
|
||||||
|
|||||||
+17
-2
@@ -7,44 +7,59 @@ import { expectTypeOf } from "expect-type";
|
|||||||
import { type Matcher, P, match } from "./index.ts";
|
import { type Matcher, P, match } from "./index.ts";
|
||||||
|
|
||||||
test("match returns a builder", () => {
|
test("match returns a builder", () => {
|
||||||
|
// Act
|
||||||
const builder = match("x");
|
const builder = match("x");
|
||||||
|
|
||||||
|
// Assert
|
||||||
expectTypeOf(builder).toHaveProperty("with");
|
expectTypeOf(builder).toHaveProperty("with");
|
||||||
expectTypeOf(builder).toHaveProperty("exhaustive");
|
expectTypeOf(builder).toHaveProperty("exhaustive");
|
||||||
expectTypeOf(builder).toHaveProperty("otherwise");
|
expectTypeOf(builder).toHaveProperty("otherwise");
|
||||||
});
|
});
|
||||||
|
|
||||||
test("P.literal narrows to its literal type", () => {
|
test("P.literal narrows to its literal type", () => {
|
||||||
|
// Act
|
||||||
const matcher = P.literal("yes");
|
const matcher = P.literal("yes");
|
||||||
expectTypeOf(matcher).toMatchTypeOf<Matcher<"yes">>();
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toExtend<Matcher<"yes">>();
|
||||||
assert.equal(matcher.matches("yes"), true);
|
assert.equal(matcher.matches("yes"), true);
|
||||||
assert.equal(matcher.matches("no"), false);
|
assert.equal(matcher.matches("no"), false);
|
||||||
});
|
});
|
||||||
|
|
||||||
test("P.type narrows to the typeof target", () => {
|
test("P.type narrows to the typeof target", () => {
|
||||||
|
// Act
|
||||||
const matcher = P.type<string>("string");
|
const matcher = P.type<string>("string");
|
||||||
expectTypeOf(matcher).toMatchTypeOf<Matcher<string>>();
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toExtend<Matcher<string>>();
|
||||||
assert.equal(matcher.matches("hi"), true);
|
assert.equal(matcher.matches("hi"), true);
|
||||||
assert.equal(matcher.matches(42), false);
|
assert.equal(matcher.matches(42), false);
|
||||||
});
|
});
|
||||||
|
|
||||||
test("exhaustive() returns the union of handler return types", () => {
|
test("exhaustive() returns the union of handler return types", () => {
|
||||||
|
// Act
|
||||||
const result = match<"a" | "b">("a")
|
const result = match<"a" | "b">("a")
|
||||||
.with(P.literal("a"), () => 1 as const)
|
.with(P.literal("a"), () => 1 as const)
|
||||||
.with(P.literal("b"), () => "two" as const)
|
.with(P.literal("b"), () => "two" as const)
|
||||||
.exhaustive();
|
.exhaustive();
|
||||||
|
|
||||||
|
// Assert
|
||||||
expectTypeOf(result).toEqualTypeOf<1 | "two">();
|
expectTypeOf(result).toEqualTypeOf<1 | "two">();
|
||||||
assert.equal(result, 1);
|
assert.equal(result, 1);
|
||||||
});
|
});
|
||||||
|
|
||||||
test("otherwise() falls back when no case matches", () => {
|
test("otherwise() falls back when no case matches", () => {
|
||||||
|
// Act
|
||||||
const result = match<"x" | "y" | "z">("z")
|
const result = match<"x" | "y" | "z">("z")
|
||||||
.with(P.literal("x"), (v): string => `got ${v}`)
|
.with(P.literal("x"), (v): string => `got ${v}`)
|
||||||
.otherwise((v): string => `fallback ${v}`);
|
.otherwise((v): string => `fallback ${v}`);
|
||||||
|
|
||||||
|
// Assert
|
||||||
assert.equal(result, "fallback z");
|
assert.equal(result, "fallback z");
|
||||||
});
|
});
|
||||||
|
|
||||||
test("exhaustive throws when no case matches", () => {
|
test("exhaustive throws when no case matches", () => {
|
||||||
|
// Assert
|
||||||
assert.throws(
|
assert.throws(
|
||||||
() =>
|
() =>
|
||||||
match<"a" | "b" | "c">("c")
|
match<"a" | "b" | "c">("c")
|
||||||
|
|||||||
@@ -0,0 +1,357 @@
|
|||||||
|
/* oxlint-disable typescript/no-floating-promises -- expectTypeOf() is a sync type-assertion library that the type-aware linter misidentifies as a promise */
|
||||||
|
import { strict as assert } from "node:assert";
|
||||||
|
import { test } from "node:test";
|
||||||
|
|
||||||
|
import { expectTypeOf } from "expect-type";
|
||||||
|
|
||||||
|
import {
|
||||||
|
getPrimitiveUnionMatcher,
|
||||||
|
getPrimitiveUnionMatcherPartial,
|
||||||
|
getPrimitiveUnionMatcherPartialW,
|
||||||
|
getPrimitiveUnionMatcherW,
|
||||||
|
} from "./primitive.ts";
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// API: getPrimitiveUnionMatcherW — ✔️ Exhaustive / ❌ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherW requires every literal key", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherW<"a" | "b">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return 1 as const;
|
||||||
|
},
|
||||||
|
b: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"b">();
|
||||||
|
return "two" as const;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
// ❌ ReturnsStrict: mixed handler returns widen to their union.
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b") => 1 | "two">();
|
||||||
|
// A pattern missing a key must not satisfy the parameter type.
|
||||||
|
expectTypeOf<{
|
||||||
|
a: () => number;
|
||||||
|
}>().not.toExtend<Parameters<typeof factory>[0]>();
|
||||||
|
assert.equal(matcher("a"), 1);
|
||||||
|
assert.equal(matcher("b"), "two");
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherW dispatches on numeric literal keys", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherW<1 | 2>();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
1: (n) => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<1>();
|
||||||
|
return n + 1;
|
||||||
|
},
|
||||||
|
2: (n) => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<2>();
|
||||||
|
return n * 10;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: 1 | 2) => number>();
|
||||||
|
assert.equal(matcher(1), 2);
|
||||||
|
assert.equal(matcher(2), 20);
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherW dispatches on mixed string and numeric keys", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherW<"a" | "b" | 1 | 2>();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return "A" as const;
|
||||||
|
},
|
||||||
|
b: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"b">();
|
||||||
|
return "B" as const;
|
||||||
|
},
|
||||||
|
1: (n) => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<1>();
|
||||||
|
return 10 as const;
|
||||||
|
},
|
||||||
|
2: (n) => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<2>();
|
||||||
|
return 20 as const;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<
|
||||||
|
(shape: "a" | "b" | 1 | 2) => "A" | "B" | 10 | 20
|
||||||
|
>();
|
||||||
|
assert.equal(matcher("a"), "A");
|
||||||
|
assert.equal(matcher("b"), "B");
|
||||||
|
assert.equal(matcher(1), 10);
|
||||||
|
assert.equal(matcher(2), 20);
|
||||||
|
});
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// API: getPrimitiveUnionMatcher — ✔️ Exhaustive / ✔️ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcher infers a single return type shared by all handlers", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcher<"a" | "b">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s): number => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return 1;
|
||||||
|
},
|
||||||
|
b: (s): 1 | 2 => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"b">();
|
||||||
|
return 2;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
// ✔️ ReturnsStrict: R is the best common return type, not a widening union.
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b") => number>();
|
||||||
|
assert.equal(matcher("a"), 1);
|
||||||
|
assert.equal(matcher("b"), 2);
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcher handlers receive the matched literal", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcher<"on" | "off">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
on: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"on">();
|
||||||
|
return `handler ${s}`;
|
||||||
|
},
|
||||||
|
off: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"off">();
|
||||||
|
return `handler ${s}`;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "on" | "off") => string>();
|
||||||
|
assert.equal(matcher("on"), "handler on");
|
||||||
|
assert.equal(matcher("off"), "handler off");
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcher infers one return type across mixed string and numeric keys", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcher<"a" | "b" | 1 | 2>();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s): number => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return 1;
|
||||||
|
},
|
||||||
|
b: (s): 1 | 2 => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"b">();
|
||||||
|
return 2;
|
||||||
|
},
|
||||||
|
1: (n): number => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<1>();
|
||||||
|
return 10;
|
||||||
|
},
|
||||||
|
2: (n): number => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<2>();
|
||||||
|
return 20;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
// ✔️ ReturnsStrict: R is the best common return type, not a widening union.
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b" | 1 | 2) => number>();
|
||||||
|
assert.equal(matcher("a"), 1);
|
||||||
|
assert.equal(matcher("b"), 2);
|
||||||
|
assert.equal(matcher(1), 10);
|
||||||
|
assert.equal(matcher(2), 20);
|
||||||
|
});
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// API: getPrimitiveUnionMatcherPartial — ❌ Exhaustive / ✔️ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartial routes shapes without a handler to _", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartial<"a" | "b" | "c">();
|
||||||
|
// Two keys, so `{ a }` lacks only the `_` fallback, nothing else.
|
||||||
|
const sparseFactory = getPrimitiveUnionMatcherPartial<"a" | "b">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s): 1 | 2 => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return 1;
|
||||||
|
},
|
||||||
|
_: (s): 1 | 2 => {
|
||||||
|
// The fallback sees the whole union, not a single literal.
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a" | "b" | "c">();
|
||||||
|
return 2;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b" | "c") => 1 | 2>();
|
||||||
|
// ❌ Exhaustive: gaps are allowed, but only with a `_` fallback.
|
||||||
|
expectTypeOf<{
|
||||||
|
a: () => number;
|
||||||
|
}>().not.toExtend<Parameters<typeof sparseFactory>[0]>();
|
||||||
|
assert.equal(matcher("a"), 1);
|
||||||
|
assert.equal(matcher("b"), 2);
|
||||||
|
assert.equal(matcher("c"), 2);
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartial also accepts an exhaustive pattern", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartial<"a" | "b">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return "A";
|
||||||
|
},
|
||||||
|
b: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"b">();
|
||||||
|
return "B";
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b") => string>();
|
||||||
|
assert.equal(matcher("a"), "A");
|
||||||
|
assert.equal(matcher("b"), "B");
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartial routes mixed string and numeric keys, gaps go to _", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartial<"a" | "b" | 1 | 2>();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s): string => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return "A";
|
||||||
|
},
|
||||||
|
1: (n): string => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<1>();
|
||||||
|
return "one";
|
||||||
|
},
|
||||||
|
_: (s): string => {
|
||||||
|
// The fallback sees the whole union, not a single literal.
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a" | "b" | 1 | 2>();
|
||||||
|
return "fallback";
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "a" | "b" | 1 | 2) => string>();
|
||||||
|
assert.equal(matcher("a"), "A");
|
||||||
|
assert.equal(matcher("b"), "fallback");
|
||||||
|
assert.equal(matcher(1), "one");
|
||||||
|
assert.equal(matcher(2), "fallback");
|
||||||
|
});
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// API: getPrimitiveUnionMatcherPartialW — ❌ Exhaustive / ❌ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartialW allows gaps and widens to the union of handler returns", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartialW<"x" | "y" | "z">();
|
||||||
|
// Two keys, so `{ x }` lacks only the `_` fallback, nothing else.
|
||||||
|
const sparseFactory = getPrimitiveUnionMatcherPartialW<"x" | "y">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
x: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"x">();
|
||||||
|
return 1 as const;
|
||||||
|
},
|
||||||
|
_: (s) => {
|
||||||
|
// The fallback sees the whole union, not a single literal.
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"x" | "y" | "z">();
|
||||||
|
return "fallback" as const;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<
|
||||||
|
(shape: "x" | "y" | "z") => 1 | "fallback"
|
||||||
|
>();
|
||||||
|
// ❌ Exhaustive: gaps are allowed, but only with a `_` fallback.
|
||||||
|
expectTypeOf<{
|
||||||
|
x: () => number;
|
||||||
|
}>().not.toExtend<Parameters<typeof sparseFactory>[0]>();
|
||||||
|
assert.equal(matcher("x"), 1);
|
||||||
|
assert.equal(matcher("y"), "fallback");
|
||||||
|
assert.equal(matcher("z"), "fallback");
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartialW widens mixed string and numeric key returns to their union", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartialW<"a" | "b" | 1 | 2>();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
a: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a">();
|
||||||
|
return "A" as const;
|
||||||
|
},
|
||||||
|
1: (n) => {
|
||||||
|
expectTypeOf(n).toEqualTypeOf<1>();
|
||||||
|
return 10 as const;
|
||||||
|
},
|
||||||
|
_: (s) => {
|
||||||
|
// The fallback sees the whole union, not a single literal.
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"a" | "b" | 1 | 2>();
|
||||||
|
return "fallback" as const;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
// ❌ ReturnsStrict: mixed handler returns widen to their union.
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<
|
||||||
|
(shape: "a" | "b" | 1 | 2) => "A" | 10 | "fallback"
|
||||||
|
>();
|
||||||
|
assert.equal(matcher("a"), "A");
|
||||||
|
assert.equal(matcher("b"), "fallback");
|
||||||
|
assert.equal(matcher(1), 10);
|
||||||
|
assert.equal(matcher(2), "fallback");
|
||||||
|
});
|
||||||
|
|
||||||
|
test("getPrimitiveUnionMatcherPartialW also accepts an exhaustive pattern", () => {
|
||||||
|
// Arrange
|
||||||
|
const factory = getPrimitiveUnionMatcherPartialW<"x" | "y">();
|
||||||
|
|
||||||
|
// Act
|
||||||
|
const matcher = factory({
|
||||||
|
x: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"x">();
|
||||||
|
return 1 as const;
|
||||||
|
},
|
||||||
|
y: (s) => {
|
||||||
|
expectTypeOf(s).toEqualTypeOf<"y">();
|
||||||
|
return "two" as const;
|
||||||
|
},
|
||||||
|
});
|
||||||
|
|
||||||
|
// Assert
|
||||||
|
// ❌ ReturnsStrict: mixed handler returns widen to their union.
|
||||||
|
expectTypeOf(matcher).toEqualTypeOf<(shape: "x" | "y") => 1 | "two">();
|
||||||
|
assert.equal(matcher("x"), 1);
|
||||||
|
assert.equal(matcher("y"), "two");
|
||||||
|
});
|
||||||
@@ -0,0 +1,71 @@
|
|||||||
|
import type { Simplify, ValueOf } from "type-fest";
|
||||||
|
|
||||||
|
type UnaryFn<T, R> = (shape: T) => R;
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// ✔️ Exhaustive
|
||||||
|
// ❌ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
type PatternPrimitiveUnion<R, T extends string | number> = {
|
||||||
|
[K in T]: UnaryFn<K, R>;
|
||||||
|
};
|
||||||
|
|
||||||
|
type PatternReturns<
|
||||||
|
P extends Record<string | number, UnaryFn<never, unknown>>,
|
||||||
|
> = ReturnType<ValueOf<P>>;
|
||||||
|
|
||||||
|
export const getPrimitiveUnionMatcherW: <T extends string | number>() => <
|
||||||
|
P extends PatternPrimitiveUnion<unknown, T>,
|
||||||
|
>(
|
||||||
|
pattern: Simplify<P>,
|
||||||
|
) => UnaryFn<T, PatternReturns<P>> = () => (pattern) => (shape) =>
|
||||||
|
// Rewrite not to use any is possible, was evaluated and solutions were
|
||||||
|
// more complex than the current solution.
|
||||||
|
|
||||||
|
// oxlint-disable-next-line typescript/no-explicit-any typescript/no-unsafe-type-assertion
|
||||||
|
(pattern[shape] as any)(shape);
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// ✔️ Exhaustive
|
||||||
|
// ✔️ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
export const getPrimitiveUnionMatcher: <T extends string | number>() => <R>(
|
||||||
|
pattern: Simplify<PatternPrimitiveUnion<R, T>>,
|
||||||
|
) => UnaryFn<T, R> = getPrimitiveUnionMatcherW;
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// ❌ Exhaustive
|
||||||
|
// ✔️ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
type PatternPrimitiveUnionPartial<R, T extends string | number> =
|
||||||
|
| PatternPrimitiveUnion<R, T>
|
||||||
|
| (Partial<PatternPrimitiveUnion<R, T>> & {
|
||||||
|
_: UnaryFn<T, R>;
|
||||||
|
});
|
||||||
|
|
||||||
|
export const getPrimitiveUnionMatcherPartial: <T extends string | number>() => <
|
||||||
|
R,
|
||||||
|
>(
|
||||||
|
pattern: Simplify<PatternPrimitiveUnionPartial<R, T>>,
|
||||||
|
) => UnaryFn<T, R> = () => (pattern) => (shape) =>
|
||||||
|
// Rewrite not to use any is possible, was evaluated and solutions were
|
||||||
|
// more complex than the current solution.
|
||||||
|
|
||||||
|
// oxlint-disable-next-line typescript/no-explicit-any typescript/no-unsafe-type-assertion
|
||||||
|
(pattern[shape] ?? (pattern as any)["_"])(shape);
|
||||||
|
|
||||||
|
// ============================================================================
|
||||||
|
// ❌ Exhaustive
|
||||||
|
// ❌ ReturnsStrict
|
||||||
|
// ============================================================================
|
||||||
|
export const getPrimitiveUnionMatcherPartialW: <
|
||||||
|
T extends string | number,
|
||||||
|
>() => <P extends PatternPrimitiveUnionPartial<unknown, T>>(
|
||||||
|
// `Simplify<P>` is the inference hook: callers infer `P` from the argument.
|
||||||
|
// the second half pins the impl parameter's `R` to `PatternReturns<P>`.
|
||||||
|
// that makes the `= getPrimitiveUnionMatcherPartial` assignment type-check.
|
||||||
|
// neither half works alone.
|
||||||
|
// without the witness the union's `_` arm demands `_ ∈ keyof P`.
|
||||||
|
// without `Simplify<P>` the parameter types do not compare.
|
||||||
|
pattern: Simplify<P> & PatternPrimitiveUnionPartial<PatternReturns<P>, T>,
|
||||||
|
) => UnaryFn<T, PatternReturns<P>> = getPrimitiveUnionMatcherPartial;
|
||||||
Reference in new issue
Block a user