@unthrown/pattern 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Benoit Travers
+
+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 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,43 @@
+# @unthrown/pattern
+
+> Thin [ts-pattern](https://github.com/gvergnaud/ts-pattern) integration for
+> [unthrown](https://github.com/btravstack/unthrown)'s `Result`.
+
+📖 **[Documentation](https://btravstack.github.io/unthrown/guide/pattern-matching)** ·
+[API Reference](https://btravstack.github.io/unthrown/api/pattern/)
+
+```sh
+pnpm add @unthrown/pattern ts-pattern
+```
+
+A `Result` is a discriminated union (`{ tag: "Ok" | "Err" | "Defect" }`), so
+ts-pattern matches it **natively** — narrowing, selection, and `.exhaustive()`
+all work. This package is just pattern-constructor sugar.
+
+```ts
+import { match } from "ts-pattern";
+import * as P from "@unthrown/pattern";
+
+match(result)
+  .with(P.ok(), ({ value }) => `ok: ${value}`)
+  .with(P.err(P.tag("Forbidden")), ({ error }) => `403 ${error.user}`)
+  .with(P.err(), () => "error")
+  .with(P.defect(), () => "bug")
+  .exhaustive();
+```
+
+- `P.ok(sub?)` / `P.err(sub?)` / `P.defect(sub?)` — match a channel; pass a
+  sub-pattern to constrain or select the payload: a literal, or any `ts-pattern`
+  pattern (e.g. `ts-pattern`'s own `P.string` / `P.select()`, imported from
+  `ts-pattern`). (Or skip the sugar and match `{ tag: "Ok", … }` directly.)
+- `P.tag(t)` — sugar for `{ _tag: t }`; nested in `P.err(...)` it narrows to the
+  matching `TaggedError` variant, including its payload.
+
+For the everyday exhaustive case, `matchTags` in core is simpler. Reach for this
+when you need ts-pattern's guards, nested patterns, or wildcards.
+
+`ts-pattern` is a peer dependency.
+
+## License
+
+[MIT](../../LICENSE) © Benoit TRAVERS

package/dist/index.cjs

@@ -0,0 +1,42 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+//#region src/index.ts
+function ok(...args) {
+	return args.length === 0 ? { tag: "Ok" } : {
+		tag: "Ok",
+		value: args[0]
+	};
+}
+function err(...args) {
+	return args.length === 0 ? { tag: "Err" } : {
+		tag: "Err",
+		error: args[0]
+	};
+}
+function defect(...args) {
+	return args.length === 0 ? { tag: "Defect" } : {
+		tag: "Defect",
+		cause: args[0]
+	};
+}
+/**
+* A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a
+* `TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads
+* better nested inside an {@link err} pattern and narrows to the matching
+* variant — including its payload.
+*
+* @typeParam Tag - the string literal tag to match.
+* @param value - the `_tag` to match.
+*
+* @example
+* ```ts
+* .with(P.err(P.tag("Forbidden")), ({ error }) => error.user)
+* ```
+*/
+function tag(value) {
+	return { _tag: value };
+}
+//#endregion
+exports.defect = defect;
+exports.err = err;
+exports.ok = ok;
+exports.tag = tag;

package/dist/index.d.cts

@@ -0,0 +1,64 @@
+//#region src/index.d.ts
+/**
+ * A `ts-pattern` pattern matching the `Ok` variant of a `Result`. With no
+ * argument it matches any `Ok`; pass a sub-pattern to constrain or select the
+ * `value` — a literal, or any `ts-pattern` pattern (e.g. `ts-pattern`'s own
+ * `P.string` / `P.select()`, imported from `ts-pattern`, not this package).
+ *
+ * @typeParam V - the sub-pattern matched against the `Ok` value.
+ */
+declare function ok(): {
+  tag: "Ok";
+};
+declare function ok<const V>(value: V): {
+  tag: "Ok";
+  value: V;
+};
+/**
+ * A `ts-pattern` pattern matching the `Err` variant of a `Result`. With no
+ * argument it matches any `Err`; pass a sub-pattern (e.g. {@link tag}) to
+ * constrain or select the `error`.
+ *
+ * @typeParam V - the sub-pattern matched against the `Err` error.
+ */
+declare function err(): {
+  tag: "Err";
+};
+declare function err<const V>(error: V): {
+  tag: "Err";
+  error: V;
+};
+/**
+ * A `ts-pattern` pattern matching the `Defect` variant of a `Result`. With no
+ * argument it matches any `Defect`; pass a sub-pattern to constrain or select
+ * the unknown `cause`.
+ *
+ * @typeParam V - the sub-pattern matched against the `Defect` cause.
+ */
+declare function defect(): {
+  tag: "Defect";
+};
+declare function defect<const V>(cause: V): {
+  tag: "Defect";
+  cause: V;
+};
+/**
+ * A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a
+ * `TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads
+ * better nested inside an {@link err} pattern and narrows to the matching
+ * variant — including its payload.
+ *
+ * @typeParam Tag - the string literal tag to match.
+ * @param value - the `_tag` to match.
+ *
+ * @example
+ * ```ts
+ * .with(P.err(P.tag("Forbidden")), ({ error }) => error.user)
+ * ```
+ */
+declare function tag<const Tag extends string>(value: Tag): {
+  _tag: Tag;
+};
+//#endregion
+export { defect, err, ok, tag };
+//# sourceMappingURL=index.d.cts.map

package/dist/index.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.cts","names":[],"sources":["../src/index.ts"],"mappings":";;AAiCA;;;;AAA2B;AAC3B;;iBADgB,EAAA;EAAQ,GAAG;AAAA;AAAA,iBACX,EAAA,UAAY,KAAA,EAAO,CAAA;EAAM,GAAA;EAAW,KAAA,EAAO,CAAC;AAAA;;;AAAA;AAY5D;;;;iBAAgB,GAAA;EAAS,GAAG;AAAA;AAAA,iBACZ,GAAA,UAAa,KAAA,EAAO,CAAA;EAAM,GAAA;EAAY,KAAA,EAAO,CAAC;AAAA;;;;;;AAAA;AAY9D;iBAAgB,MAAA;EAAY,GAAG;AAAA;AAAA,iBACf,MAAA,UAAgB,KAAA,EAAO,CAAA;EAAM,GAAA;EAAe,KAAA,EAAO,CAAC;AAAA;;;;;;;;;AAAA;AAmBpE;;;;;iBAAgB,GAAA,2BAA8B,KAAA,EAAO,GAAA;EAAQ,IAAA,EAAM,GAAG;AAAA"}

package/dist/index.d.mts

@@ -0,0 +1,64 @@
+//#region src/index.d.ts
+/**
+ * A `ts-pattern` pattern matching the `Ok` variant of a `Result`. With no
+ * argument it matches any `Ok`; pass a sub-pattern to constrain or select the
+ * `value` — a literal, or any `ts-pattern` pattern (e.g. `ts-pattern`'s own
+ * `P.string` / `P.select()`, imported from `ts-pattern`, not this package).
+ *
+ * @typeParam V - the sub-pattern matched against the `Ok` value.
+ */
+declare function ok(): {
+  tag: "Ok";
+};
+declare function ok<const V>(value: V): {
+  tag: "Ok";
+  value: V;
+};
+/**
+ * A `ts-pattern` pattern matching the `Err` variant of a `Result`. With no
+ * argument it matches any `Err`; pass a sub-pattern (e.g. {@link tag}) to
+ * constrain or select the `error`.
+ *
+ * @typeParam V - the sub-pattern matched against the `Err` error.
+ */
+declare function err(): {
+  tag: "Err";
+};
+declare function err<const V>(error: V): {
+  tag: "Err";
+  error: V;
+};
+/**
+ * A `ts-pattern` pattern matching the `Defect` variant of a `Result`. With no
+ * argument it matches any `Defect`; pass a sub-pattern to constrain or select
+ * the unknown `cause`.
+ *
+ * @typeParam V - the sub-pattern matched against the `Defect` cause.
+ */
+declare function defect(): {
+  tag: "Defect";
+};
+declare function defect<const V>(cause: V): {
+  tag: "Defect";
+  cause: V;
+};
+/**
+ * A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a
+ * `TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads
+ * better nested inside an {@link err} pattern and narrows to the matching
+ * variant — including its payload.
+ *
+ * @typeParam Tag - the string literal tag to match.
+ * @param value - the `_tag` to match.
+ *
+ * @example
+ * ```ts
+ * .with(P.err(P.tag("Forbidden")), ({ error }) => error.user)
+ * ```
+ */
+declare function tag<const Tag extends string>(value: Tag): {
+  _tag: Tag;
+};
+//#endregion
+export { defect, err, ok, tag };
+//# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/index.ts"],"mappings":";;AAiCA;;;;AAA2B;AAC3B;;iBADgB,EAAA;EAAQ,GAAG;AAAA;AAAA,iBACX,EAAA,UAAY,KAAA,EAAO,CAAA;EAAM,GAAA;EAAW,KAAA,EAAO,CAAC;AAAA;;;AAAA;AAY5D;;;;iBAAgB,GAAA;EAAS,GAAG;AAAA;AAAA,iBACZ,GAAA,UAAa,KAAA,EAAO,CAAA;EAAM,GAAA;EAAY,KAAA,EAAO,CAAC;AAAA;;;;;;AAAA;AAY9D;iBAAgB,MAAA;EAAY,GAAG;AAAA;AAAA,iBACf,MAAA,UAAgB,KAAA,EAAO,CAAA;EAAM,GAAA;EAAe,KAAA,EAAO,CAAC;AAAA;;;;;;;;;AAAA;AAmBpE;;;;;iBAAgB,GAAA,2BAA8B,KAAA,EAAO,GAAA;EAAQ,IAAA,EAAM,GAAG;AAAA"}

package/dist/index.mjs

@@ -0,0 +1,40 @@
+//#region src/index.ts
+function ok(...args) {
+	return args.length === 0 ? { tag: "Ok" } : {
+		tag: "Ok",
+		value: args[0]
+	};
+}
+function err(...args) {
+	return args.length === 0 ? { tag: "Err" } : {
+		tag: "Err",
+		error: args[0]
+	};
+}
+function defect(...args) {
+	return args.length === 0 ? { tag: "Defect" } : {
+		tag: "Defect",
+		cause: args[0]
+	};
+}
+/**
+* A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a
+* `TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads
+* better nested inside an {@link err} pattern and narrows to the matching
+* variant — including its payload.
+*
+* @typeParam Tag - the string literal tag to match.
+* @param value - the `_tag` to match.
+*
+* @example
+* ```ts
+* .with(P.err(P.tag("Forbidden")), ({ error }) => error.user)
+* ```
+*/
+function tag(value) {
+	return { _tag: value };
+}
+//#endregion
+export { defect, err, ok, tag };
+
+//# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/index.ts"],"sourcesContent":["// @unthrown/pattern — native `ts-pattern` interop for `Result`.\n//\n// A `Result` is a discriminated union (`{ tag: \"Ok\" | \"Err\" | \"Defect\" }`), so\n// `ts-pattern` matches it directly — narrowing, selection, and `.exhaustive()`\n// all work out of the box. This package is just sugar: pattern constructors so\n// you can write `P.ok(...)` instead of the raw `{ tag: \"Ok\", value: ... }`\n// object pattern, plus `tag` for matching a `TaggedError` by its `_tag`.\n//\n//   import { match } from \"ts-pattern\";\n//   import * as P from \"@unthrown/pattern\";\n//\n//   match(result)\n//     .with(P.ok(), ({ value }) => `ok: ${value}`)\n//     .with(P.err(P.tag(\"NotFound\")), () => \"404\")\n//     .with(P.err(), ({ error }) => `error: ${error}`)\n//     .with(P.defect(), ({ cause }) => `bug: ${String(cause)}`)\n//     .exhaustive();\n//\n// Here `P` is THIS package. To also use ts-pattern's own patterns (wildcards,\n// `P.select()`, `P.string`, …), import ts-pattern's `P` under another name:\n//\n//   import { match, P as t } from \"ts-pattern\";\n//   import * as P from \"@unthrown/pattern\";\n//   match(result).with(P.ok(t.select()), (value) => value).otherwise(() => …);\n\n/**\n * A `ts-pattern` pattern matching the `Ok` variant of a `Result`. With no\n * argument it matches any `Ok`; pass a sub-pattern to constrain or select the\n * `value` — a literal, or any `ts-pattern` pattern (e.g. `ts-pattern`'s own\n * `P.string` / `P.select()`, imported from `ts-pattern`, not this package).\n *\n * @typeParam V - the sub-pattern matched against the `Ok` value.\n */\nexport function ok(): { tag: \"Ok\" };\nexport function ok<const V>(value: V): { tag: \"Ok\"; value: V };\nexport function ok(...args: [] | [unknown]): { tag: \"Ok\"; value?: unknown } {\n  return args.length === 0 ? { tag: \"Ok\" } : { tag: \"Ok\", value: args[0] };\n}\n\n/**\n * A `ts-pattern` pattern matching the `Err` variant of a `Result`. With no\n * argument it matches any `Err`; pass a sub-pattern (e.g. {@link tag}) to\n * constrain or select the `error`.\n *\n * @typeParam V - the sub-pattern matched against the `Err` error.\n */\nexport function err(): { tag: \"Err\" };\nexport function err<const V>(error: V): { tag: \"Err\"; error: V };\nexport function err(...args: [] | [unknown]): { tag: \"Err\"; error?: unknown } {\n  return args.length === 0 ? { tag: \"Err\" } : { tag: \"Err\", error: args[0] };\n}\n\n/**\n * A `ts-pattern` pattern matching the `Defect` variant of a `Result`. With no\n * argument it matches any `Defect`; pass a sub-pattern to constrain or select\n * the unknown `cause`.\n *\n * @typeParam V - the sub-pattern matched against the `Defect` cause.\n */\nexport function defect(): { tag: \"Defect\" };\nexport function defect<const V>(cause: V): { tag: \"Defect\"; cause: V };\nexport function defect(...args: [] | [unknown]): { tag: \"Defect\"; cause?: unknown } {\n  return args.length === 0 ? { tag: \"Defect\" } : { tag: \"Defect\", cause: args[0] };\n}\n\n/**\n * A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a\n * `TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads\n * better nested inside an {@link err} pattern and narrows to the matching\n * variant — including its payload.\n *\n * @typeParam Tag - the string literal tag to match.\n * @param value - the `_tag` to match.\n *\n * @example\n * ```ts\n * .with(P.err(P.tag(\"Forbidden\")), ({ error }) => error.user)\n * ```\n */\nexport function tag<const Tag extends string>(value: Tag): { _tag: Tag } {\n  return { _tag: value };\n}\n"],"mappings":";AAmCA,SAAgB,GAAG,GAAG,MAAsD;CAC1E,OAAO,KAAK,WAAW,IAAI,EAAE,KAAK,KAAK,IAAI;EAAE,KAAK;EAAM,OAAO,KAAK;CAAG;AACzE;AAWA,SAAgB,IAAI,GAAG,MAAuD;CAC5E,OAAO,KAAK,WAAW,IAAI,EAAE,KAAK,MAAM,IAAI;EAAE,KAAK;EAAO,OAAO,KAAK;CAAG;AAC3E;AAWA,SAAgB,OAAO,GAAG,MAA0D;CAClF,OAAO,KAAK,WAAW,IAAI,EAAE,KAAK,SAAS,IAAI;EAAE,KAAK;EAAU,OAAO,KAAK;CAAG;AACjF;;;;;;;;;;;;;;;AAgBA,SAAgB,IAA8B,OAA2B;CACvE,OAAO,EAAE,MAAM,MAAM;AACvB"}

package/docs/index.md

@@ -0,0 +1,219 @@
+**@unthrown/pattern**
+
+***
+
+# @unthrown/pattern
+
+## Functions
+
+### defect()
+
+#### Call Signature
+
+```ts
+function defect(): object;
+```
+
+Defined in: [index.ts:60](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L60)
+
+A `ts-pattern` pattern matching the `Defect` variant of a `Result`. With no
+argument it matches any `Defect`; pass a sub-pattern to constrain or select
+the unknown `cause`.
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `tag` | `"Defect"` | [index.ts:60](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L60) |
+
+#### Call Signature
+
+```ts
+function defect<V>(cause): object;
+```
+
+Defined in: [index.ts:61](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L61)
+
+A `ts-pattern` pattern matching the `Defect` variant of a `Result`. With no
+argument it matches any `Defect`; pass a sub-pattern to constrain or select
+the unknown `cause`.
+
+##### Type Parameters
+
+| Type Parameter | Description |
+| ------ | ------ |
+| `V` | the sub-pattern matched against the `Defect` cause. |
+
+##### Parameters
+
+| Parameter | Type |
+| ------ | ------ |
+| `cause` | `V` |
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `cause` | `V` | [index.ts:61](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L61) |
+| `tag` | `"Defect"` | [index.ts:61](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L61) |
+
+***
+
+### err()
+
+#### Call Signature
+
+```ts
+function err(): object;
+```
+
+Defined in: [index.ts:47](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L47)
+
+A `ts-pattern` pattern matching the `Err` variant of a `Result`. With no
+argument it matches any `Err`; pass a sub-pattern (e.g. [tag](#tag)) to
+constrain or select the `error`.
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `tag` | `"Err"` | [index.ts:47](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L47) |
+
+#### Call Signature
+
+```ts
+function err<V>(error): object;
+```
+
+Defined in: [index.ts:48](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L48)
+
+A `ts-pattern` pattern matching the `Err` variant of a `Result`. With no
+argument it matches any `Err`; pass a sub-pattern (e.g. [tag](#tag)) to
+constrain or select the `error`.
+
+##### Type Parameters
+
+| Type Parameter | Description |
+| ------ | ------ |
+| `V` | the sub-pattern matched against the `Err` error. |
+
+##### Parameters
+
+| Parameter | Type |
+| ------ | ------ |
+| `error` | `V` |
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `error` | `V` | [index.ts:48](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L48) |
+| `tag` | `"Err"` | [index.ts:48](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L48) |
+
+***
+
+### ok()
+
+#### Call Signature
+
+```ts
+function ok(): object;
+```
+
+Defined in: [index.ts:34](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L34)
+
+A `ts-pattern` pattern matching the `Ok` variant of a `Result`. With no
+argument it matches any `Ok`; pass a sub-pattern to constrain or select the
+`value` — a literal, or any `ts-pattern` pattern (e.g. `ts-pattern`'s own
+`P.string` / `P.select()`, imported from `ts-pattern`, not this package).
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `tag` | `"Ok"` | [index.ts:34](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L34) |
+
+#### Call Signature
+
+```ts
+function ok<V>(value): object;
+```
+
+Defined in: [index.ts:35](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L35)
+
+A `ts-pattern` pattern matching the `Ok` variant of a `Result`. With no
+argument it matches any `Ok`; pass a sub-pattern to constrain or select the
+`value` — a literal, or any `ts-pattern` pattern (e.g. `ts-pattern`'s own
+`P.string` / `P.select()`, imported from `ts-pattern`, not this package).
+
+##### Type Parameters
+
+| Type Parameter | Description |
+| ------ | ------ |
+| `V` | the sub-pattern matched against the `Ok` value. |
+
+##### Parameters
+
+| Parameter | Type |
+| ------ | ------ |
+| `value` | `V` |
+
+##### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `tag` | `"Ok"` | [index.ts:35](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L35) |
+| `value` | `V` | [index.ts:35](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L35) |
+
+***
+
+### tag()
+
+```ts
+function tag<Tag>(value): object;
+```
+
+Defined in: [index.ts:80](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L80)
+
+A `ts-pattern` pattern matching any value whose `_tag` equals `value` (e.g. a
+`TaggedError`). Equivalent to the object pattern `{ _tag: value }`, but reads
+better nested inside an [err](#err) pattern and narrows to the matching
+variant — including its payload.
+
+#### Type Parameters
+
+| Type Parameter | Description |
+| ------ | ------ |
+| `Tag` *extends* `string` | the string literal tag to match. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| ------ | ------ | ------ |
+| `value` | `Tag` | the `_tag` to match. |
+
+#### Returns
+
+`object`
+
+| Name | Type | Defined in |
+| ------ | ------ | ------ |
+| `_tag` | `Tag` | [index.ts:80](https://github.com/btravstack/unthrown/blob/4553631adb8280ef7c869dfae5bdb13be762095c/packages/pattern/src/index.ts#L80) |
+
+#### Example
+
+```ts
+.with(P.err(P.tag("Forbidden")), ({ error }) => error.user)
+```

package/package.json

@@ -0,0 +1,73 @@
+{
+  "name": "@unthrown/pattern",
+  "version": "0.1.0",
+  "description": "ts-pattern integration for unthrown",
+  "keywords": [
+    "errors-as-values",
+    "pattern-matching",
+    "result",
+    "ts-pattern",
+    "typescript",
+    "unthrown"
+  ],
+  "homepage": "https://github.com/btravstack/unthrown#readme",
+  "bugs": {
+    "url": "https://github.com/btravstack/unthrown/issues"
+  },
+  "license": "MIT",
+  "author": "Benoit TRAVERS <benoit.travers.fr@gmail.com>",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/btravstack/unthrown.git",
+    "directory": "packages/pattern"
+  },
+  "files": [
+    "dist",
+    "docs"
+  ],
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.mjs",
+  "types": "./dist/index.d.mts",
+  "exports": {
+    ".": {
+      "import": {
+        "types": "./dist/index.d.mts",
+        "default": "./dist/index.mjs"
+      },
+      "require": {
+        "types": "./dist/index.d.cts",
+        "default": "./dist/index.cjs"
+      }
+    },
+    "./package.json": "./package.json"
+  },
+  "dependencies": {
+    "unthrown": "0.1.0"
+  },
+  "devDependencies": {
+    "@types/node": "24.13.2",
+    "@vitest/coverage-v8": "4.1.8",
+    "ts-pattern": "5.9.0",
+    "tsdown": "0.22.2",
+    "typedoc": "0.28.19",
+    "typedoc-plugin-markdown": "4.12.0",
+    "typescript": "6.0.3",
+    "vitest": "4.1.8",
+    "@unthrown/tsconfig": "0.1.0",
+    "@unthrown/typedoc": "0.1.0"
+  },
+  "peerDependencies": {
+    "ts-pattern": "^5"
+  },
+  "engines": {
+    "node": ">=22.19"
+  },
+  "scripts": {
+    "build": "tsdown src/index.ts --format cjs,esm --dts --clean",
+    "build:docs": "typedoc",
+    "dev": "tsdown src/index.ts --format cjs,esm --dts --watch",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  }
+}