matchexpr 0.0.3

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License Copyright (c) 2026 tijn
+
+Permission is hereby granted, free of
+charge, to any person obtaining a copy of this software and associated
+documentation files (the "Software"), to deal in the Software without
+restriction, including without limitation the rights to use, copy, modify, merge,
+publish, distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to the
+following conditions:
+
+The above copyright notice and this permission notice
+(including the next paragraph) shall be included in all copies or substantial
+portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF
+ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO
+EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

package/README.md

@@ -0,0 +1,67 @@
+<h1>matchexpr</h1>
+
+<p>
+typesafe & exhaustive pattern matching for discriminated unions and objects
+</p>
+
+```tsx
+import { match } from 'matchexpr'
+
+type Data = { type: 'text', content: string } | { type: 'img', src: string }
+
+type Result = { type: 'ok', data: Data } | { type: 'error', error: Error }
+
+declare const result: Result
+
+const html = match(result, 'type', {
+  error: () => <p>Oops! An error occurred</p>,
+  ok: ({ data }) =>
+    match(data, 'type', {
+      text: ({ content }) => <p>{content}</p>,
+      img: ({ src }) => <img src={src} />,
+    }),
+})
+```
+
+## features
+
+- very small bundle size (less than 200 bytes)
+- concise syntax, no method chaining
+
+## usage
+
+```sh
+pnpm add matchexpr
+```
+
+```ts
+import { match } from 'matchexpr'
+
+declare const color: 'red' | 'green' | 'blue'
+
+match(color, {
+  red: () => 1,
+  green: () => 2,
+  blue: () => 3,
+})
+
+match(color, {
+  red: () => 1,
+  green: () => 2,
+  // ERROR: Property 'blue' is missing
+})
+
+match(color, {
+  red: () => 1,
+  green: () => 2,
+  blue: () => 3,
+  yellow: () => 4,
+  // ERROR: Property 'yellow' is not a valid case
+})
+```
+
+## inspired by
+
+- [gvergnaud/ts-pattern](https://github.com/gvergnaud/ts-pattern)
+- rust `match`
+- [suchipi/match-discriminated-union](https://github.com/suchipi/match-discriminated-union)

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+//#region src/types.d.ts
+type MatchableValue<O, K extends keyof O> = Extract<O[K], PropertyKey>;
+type MatchObjectCases<O extends object, K extends keyof O> = Partial<{ [V in MatchableValue<O, K>]: (obj: Extract<O, Record<K, V>>) => unknown }> & {
+  _?: (obj: O) => unknown;
+};
+//#endregion
+//#region src/match.d.ts
+/**
+ * typesafe exhaustive matching for discriminated unions and objects
+ *
+ * @throws {Error} if no pattern matches the value
+ */
+declare function match<TValue extends PropertyKey, THandlers>(value: TValue, handlers: THandlers & { [K in keyof THandlers]: THandlers[K] extends (() => unknown) ? unknown : never } & ('_' extends keyof THandlers ? Record<Exclude<keyof THandlers, TValue | '_'>, never> : Record<Exclude<keyof THandlers, TValue>, never> & Record<Exclude<TValue, keyof THandlers>, never>), _arg2?: never): THandlers[keyof THandlers] extends (() => infer R) ? R : never;
+declare function match<TValue extends object, TKey extends keyof TValue, const THandlers extends MatchObjectCases<TValue, TKey>>(value: TValue, key: TKey, handlers: THandlers & ('_' extends keyof THandlers ? Record<Exclude<keyof THandlers, MatchableValue<TValue, TKey> | '_'>, never> : Record<Exclude<keyof THandlers, MatchableValue<TValue, TKey>>, never> & Record<Exclude<MatchableValue<TValue, TKey>, keyof THandlers>, never>)): { [K in keyof THandlers]: THandlers[K] extends ((...args: any[]) => infer R) ? R : never }[keyof THandlers];
+//#endregion
+export { match };

package/dist/index.js

@@ -0,0 +1 @@
+function e(e,t,n){let r=n!==void 0,[i,a,o]=r?[e[t],n,e]:[e,t],s=Object.hasOwn(a,i)?a[i]:Object.hasOwn(a,`_`)?a._:void 0;if(s===void 0)throw Error(i);return r?s(o):s()}export{e as match};

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "matchexpr",
+  "type": "module",
+  "version": "0.0.3",
+  "description": "typesafe exhaustive pattern matching for discriminated unions and objects",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/tijnjh/match.git"
+  },
+  "keywords": [
+    "typescript",
+    "pattern-matching",
+    "match",
+    "exhaustive",
+    "discriminated-union"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsdown",
+    "lint": "eslint",
+    "typecheck": "tsc --noEmit",
+    "check": "npm run typecheck && npm run lint && npm run build"
+  },
+  "devDependencies": {
+    "@antfu/eslint-config": "^9.0.0",
+    "eslint": "^10.3.0",
+    "tsdown": "^0.22.3",
+    "typescript": "^6.0.3"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
+}