@consolidados/results 0.4.0 → 0.5.0

package/README.md

@@ -48,6 +48,71 @@ const result = Ok(42);
 const option = Some("hello");
 ```
 
+### Monorepo / workspace setup
+
+In a monorepo (Turborepo, Nx, pnpm workspaces, etc.) you usually don't want
+to repeat the global wiring in every `tsconfig.json` and every entrypoint.
+Wrap it once in a shared types package and have the other workspaces depend
+on that.
+
+**1. Create a shared package, e.g. `packages/types`:**
+
+`packages/types/src/globals.ts` — runtime side-effect (registers
+`Ok`, `Err`, `Some`, `None`, `match` on `globalThis`):
+
+```typescript
+import "@consolidados/results";
+```
+
+`packages/types/src/globals-types.d.ts` — ambient TypeScript types so
+`Result<T, E>` and `Option<T>` work without per-file imports:
+
+```typescript
+import type { Option as _Option, Result as _Result } from "@consolidados/results";
+
+declare global {
+  type Result<T, E> = _Result<T, E>;
+  type Option<T> = _Option<T>;
+}
+
+export {};
+```
+
+`packages/types/package.json` — expose both as subpath exports:
+
+```json
+{
+  "name": "@your-org/types",
+  "dependencies": { "@consolidados/results": "^0.5.0" },
+  "exports": {
+    "./globals": "./src/globals.ts",
+    "./globals-types": "./src/globals-types.d.ts"
+  }
+}
+```
+
+**2. In each consuming workspace:**
+
+`services/<name>/tsconfig.json`:
+
+```json
+{
+  "compilerOptions": {
+    "types": ["node", "@your-org/types/globals-types"]
+  }
+}
+```
+
+`services/<name>/src/main.ts` (first import of the entrypoint):
+
+```typescript
+import "@your-org/types/globals";
+```
+
+Now every file in that workspace can use `Ok`, `Err`, `Some`, `None`, `match`,
+`Result<T, E>`, and `Option<T>` without any import — and the wiring lives in
+one place.
+
 ## Quick Start
 
 ### Result - Handle Success/Failure

package/dist/helpers/match.cjs

@@ -1,59 +1,41 @@
 'use strict';
 
 // src/helpers/match.ts
+var TAG = Symbol.for("@consolidados/results.tag");
 function match(matcher, cases, discriminant) {
-  if (typeof matcher === "string" || typeof matcher === "number" || typeof matcher === "symbol") {
+  const t = typeof matcher;
+  if (t === "string" || t === "number" || t === "symbol") {
     const handler = cases[matcher];
-    if (handler) {
+    if (handler) return handler();
+    if (cases.default) return cases.default();
+    throw new Error(`No case found for value: ${String(matcher)}`);
+  }
+  if (matcher !== null && t === "object") {
+    const tag = matcher[TAG];
+    if (tag !== void 0) {
+      const handler = cases[tag];
+      if (!handler) throw new Error(`Missing case for ${tag}`);
+      if (tag === "Ok" || tag === "Some") return handler(matcher.unwrap());
+      if (tag === "Err") return handler(matcher.unwrapErr());
       return handler();
     }
-    if (cases.default) {
-      return cases.default();
+    if (discriminant) {
+      const dv = matcher[discriminant];
+      const handler = cases[dv];
+      if (handler) return handler(matcher);
+      if (cases.default) return cases.default(matcher);
+      throw new Error(`No case found for discriminant value: ${String(dv)}`);
     }
-    throw new Error(`No case found for value: ${String(matcher)}`);
-  }
-  if (typeof matcher === "object" && matcher !== null && !discriminant) {
-    for (const key in cases) {
+    for (const key in matcher) {
       if (key === "default") continue;
-      if (key in matcher) {
+      if (key in cases) {
         const handler = cases[key];
         if (handler) {
           return typeof handler === "function" ? handler(matcher[key]) : handler();
         }
       }
     }
-    if (cases.default) {
-      return cases.default();
-    }
-  }
-  if (discriminant && typeof matcher === "object" && matcher !== null) {
-    const discriminantValue = matcher[discriminant];
-    const handler = cases[discriminantValue];
-    if (handler) {
-      return handler(matcher);
-    }
-    if (cases.default) {
-      return cases.default(matcher);
-    }
-    throw new Error(
-      `No case found for discriminant value: ${String(discriminantValue)}`
-    );
-  }
-  if (typeof matcher === "object" && matcher !== null && "isOk" in matcher && matcher.isOk()) {
-    if (!cases.Ok) throw new Error("Missing case for Ok");
-    return cases.Ok(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isErr" in matcher && matcher.isErr()) {
-    if (!cases.Err) throw new Error("Missing case for Err");
-    return cases.Err(matcher.unwrapErr());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isSome" in matcher && matcher.isSome()) {
-    if (!cases.Some) throw new Error("Missing case for Some");
-    return cases.Some(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isNone" in matcher && matcher.isNone()) {
-    if (!cases.None) throw new Error("Missing case for None");
-    return cases.None();
+    if (cases.default) return cases.default();
   }
   throw new Error("Invalid matcher or missing case");
 }

package/dist/helpers/match.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";;;AAgGO,SAAS,KAAA,CACd,OACA,EAAA,KAAA,EACA,YACG,EAAA;AAEH,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAO,YAAY,QACnB,IAAA,OAAO,YAAY,QACnB,EAAA;AACA,IAAM,MAAA,OAAA,GAAU,MAAM,OAAO,CAAA;AAE7B,IAAA,IAAI,OAAS,EAAA;AACX,MAAA,OAAO,OAAQ,EAAA;AAAA;AAGjB,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAA,OAAO,MAAM,OAAQ,EAAA;AAAA;AAGvB,IAAA,MAAM,IAAI,KAAM,CAAA,CAAA,yBAAA,EAA4B,MAAO,CAAA,OAAO,CAAC,CAAE,CAAA,CAAA;AAAA;AAK/D,EAAA,IAAI,OAAO,OAAY,KAAA,QAAA,IAAY,OAAY,KAAA,IAAA,IAAQ,CAAC,YAAc,EAAA;AAEpE,IAAA,KAAA,MAAW,OAAO,KAAO,EAAA;AACvB,MAAA,IAAI,QAAQ,SAAW,EAAA;AAEvB,MAAA,IAAI,OAAO,OAAS,EAAA;AAClB,QAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,QAAA,IAAI,OAAS,EAAA;AACX,UAAO,OAAA,OAAO,YAAY,UACtB,GAAA,OAAA,CAAQ,QAAQ,GAAG,CAAC,IACpB,OAAQ,EAAA;AAAA;AACd;AACF;AAIF,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAA,OAAO,MAAM,OAAQ,EAAA;AAAA;AACvB;AAIF,EAAA,IAAI,YAAgB,IAAA,OAAO,OAAY,KAAA,QAAA,IAAY,YAAY,IAAM,EAAA;AACnE,IAAM,MAAA,iBAAA,GAAoB,QAAQ,YAAY,CAAA;AAC9C,IAAM,MAAA,OAAA,GAAU,MAAM,iBAAiB,CAAA;AAEvC,IAAA,IAAI,OAAS,EAAA;AACX,MAAA,OAAO,QAAQ,OAAO,CAAA;AAAA;AAGxB,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAO,OAAA,KAAA,CAAM,QAAQ,OAAO,CAAA;AAAA;AAG9B,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,sCAAA,EAAyC,MAAO,CAAA,iBAAiB,CAAC,CAAA;AAAA,KACpE;AAAA;AAIF,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,MAAU,IAAA,OAAA,IACV,OAAQ,CAAA,IAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,EAAA,EAAU,MAAA,IAAI,MAAM,qBAAqB,CAAA;AACpD,IAAA,OAAO,KAAM,CAAA,EAAA,CAAG,OAAQ,CAAA,MAAA,EAAQ,CAAA;AAAA;AAIlC,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,OAAW,IAAA,OAAA,IACX,OAAQ,CAAA,KAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,GAAA,EAAW,MAAA,IAAI,MAAM,sBAAsB,CAAA;AACtD,IAAA,OAAO,KAAM,CAAA,GAAA,CAAI,OAAQ,CAAA,SAAA,EAAgB,CAAA;AAAA;AAI3C,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,QAAY,IAAA,OAAA,IACZ,OAAQ,CAAA,MAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,IAAA,EAAY,MAAA,IAAI,MAAM,uBAAuB,CAAA;AACxD,IAAA,OAAO,KAAM,CAAA,IAAA,CAAK,OAAQ,CAAA,MAAA,EAAQ,CAAA;AAAA;AAIpC,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,QAAY,IAAA,OAAA,IACZ,OAAQ,CAAA,MAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,IAAA,EAAY,MAAA,IAAI,MAAM,uBAAuB,CAAA;AACxD,IAAA,OAAO,MAAM,IAAK,EAAA;AAAA;AAGpB,EAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AACnD;AAGC,UAAA,CAAmB,KAAQ,GAAA,KAAA","file":"match.cjs","sourcesContent":["import type { Option } from \"../option\";\nimport type { Result } from \"../result\";\n\n// Utility types for mixed primitive + object unions\ntype PrimitiveMembers<T> = Extract<T, PropertyKey>;\ntype ObjectKeys<T> = T extends object ? keyof T : never;\ntype ObjectPropertyType<T, K extends PropertyKey> = T extends object\n  ? K extends keyof T\n    ? T[K]\n    : never\n  : never;\n\n// Helper to determine if a key K is a primitive member or object key\ntype HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T>\n  ? () => R\n  : K extends ObjectKeys<T>\n    ? (value: ObjectPropertyType<T, K>) => R\n    : never;\n\n// Build cases type with a single mapped type\ntype MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true\n  ? Partial<{\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }>\n  : {\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }) &\n  (HasDefault extends true ? { default: () => R } : {});\n\n// Overload for Result type\nexport function match<T, E, ROk, RErr>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => ROk;\n    Err: (error: E) => RErr;\n  },\n): ROk | RErr;\n\n// Overload for Option type\nexport function match<T, RSome, RNone>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => RSome;\n    None: () => RNone;\n  },\n): RSome | RNone;\n\n// Overload for mixed primitive + object unions WITH default (cases optional)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, true>,\n): R;\n\n// Overload for mixed primitive + object unions WITHOUT default (exhaustive)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, false>,\n): R;\n\n// Overload for discriminated unions with default case\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]?: (value: Extract<T, { [P in D]: K }>) => R } & {\n    default: (value: T) => R;\n  },\n  discriminant: D,\n): R;\n\n// Overload for discriminated unions without default case (exhaustive)\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]: (value: Extract<T, { [P in D]: K }>) => R },\n  discriminant: D,\n): R;\n\n// Overload for primitives with default case\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Partial<Record<T, () => R>> & { default: () => R },\n): R;\n\n// Overload for primitives without default case (exhaustive)\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Record<T, () => R>,\n): R;\n\n// Implementation\nexport function match<T, E, R>(\n  matcher: Result<T, E> | Option<T> | any,\n  cases: any,\n  discriminant?: keyof any,\n): R {\n  // Handle primitives (string, number, symbol) FIRST\n  if (\n    typeof matcher === \"string\" ||\n    typeof matcher === \"number\" ||\n    typeof matcher === \"symbol\"\n  ) {\n    const handler = cases[matcher];\n\n    if (handler) {\n      return handler();\n    }\n\n    if (cases.default) {\n      return cases.default();\n    }\n\n    throw new Error(`No case found for value: ${String(matcher)}`);\n  }\n\n  // NEW: Handle objects with specific property keys (like { Other: [...] })\n  // This must come BEFORE discriminated union check to handle mixed unions\n  if (typeof matcher === \"object\" && matcher !== null && !discriminant) {\n    // Check if any case key matches a property in the matcher object\n    for (const key in cases) {\n      if (key === \"default\") continue;\n\n      if (key in matcher) {\n        const handler = cases[key];\n        if (handler) {\n          return typeof handler === \"function\"\n            ? handler(matcher[key])\n            : handler();\n        }\n      }\n    }\n\n    // If no match found and there's a default, use it\n    if (cases.default) {\n      return cases.default();\n    }\n  }\n\n  // Handle discriminated unions\n  if (discriminant && typeof matcher === \"object\" && matcher !== null) {\n    const discriminantValue = matcher[discriminant];\n    const handler = cases[discriminantValue];\n\n    if (handler) {\n      return handler(matcher);\n    }\n\n    if (cases.default) {\n      return cases.default(matcher);\n    }\n\n    throw new Error(\n      `No case found for discriminant value: ${String(discriminantValue)}`,\n    );\n  }\n\n  // Early return for Result.Ok\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isOk\" in matcher &&\n    matcher.isOk()\n  ) {\n    if (!cases.Ok) throw new Error(\"Missing case for Ok\");\n    return cases.Ok(matcher.unwrap());\n  }\n\n  // Early return for Result.Err\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isErr\" in matcher &&\n    matcher.isErr()\n  ) {\n    if (!cases.Err) throw new Error(\"Missing case for Err\");\n    return cases.Err(matcher.unwrapErr() as E);\n  }\n\n  // Early return for Option.Some\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isSome\" in matcher &&\n    matcher.isSome()\n  ) {\n    if (!cases.Some) throw new Error(\"Missing case for Some\");\n    return cases.Some(matcher.unwrap());\n  }\n\n  // Early return for Option.None\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isNone\" in matcher &&\n    matcher.isNone()\n  ) {\n    if (!cases.None) throw new Error(\"Missing case for None\");\n    return cases.None();\n  }\n\n  throw new Error(\"Invalid matcher or missing case\");\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).match = match;\n"]}
+{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";;;AAKA,IAAM,GAAA,GAAM,MAAO,CAAA,GAAA,CAAI,2BAA2B,CAAA;AA+F3C,SAAS,KAAA,CACd,OACA,EAAA,KAAA,EACA,YACG,EAAA;AAEH,EAAA,MAAM,IAAI,OAAO,OAAA;AACjB,EAAA,IAAI,CAAM,KAAA,QAAA,IAAY,CAAM,KAAA,QAAA,IAAY,MAAM,QAAU,EAAA;AACtD,IAAM,MAAA,OAAA,GAAU,MAAM,OAAO,CAAA;AAC7B,IAAI,IAAA,OAAA,SAAgB,OAAQ,EAAA;AAC5B,IAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,OAAQ,EAAA;AACxC,IAAA,MAAM,IAAI,KAAM,CAAA,CAAA,yBAAA,EAA4B,MAAO,CAAA,OAAO,CAAC,CAAE,CAAA,CAAA;AAAA;AAG/D,EAAI,IAAA,OAAA,KAAY,IAAQ,IAAA,CAAA,KAAM,QAAU,EAAA;AAKtC,IAAM,MAAA,GAAA,GAAM,QAAQ,GAAG,CAAA;AACvB,IAAA,IAAI,QAAQ,MAAW,EAAA;AACrB,MAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,MAAA,IAAI,CAAC,OAAS,EAAA,MAAM,IAAI,KAAM,CAAA,CAAA,iBAAA,EAAoB,GAAG,CAAE,CAAA,CAAA;AACvD,MAAI,IAAA,GAAA,KAAQ,QAAQ,GAAQ,KAAA,MAAA,SAAe,OAAQ,CAAA,OAAA,CAAQ,QAAQ,CAAA;AACnE,MAAA,IAAI,QAAQ,KAAO,EAAA,OAAO,OAAQ,CAAA,OAAA,CAAQ,WAAgB,CAAA;AAE1D,MAAA,OAAO,OAAQ,EAAA;AAAA;AAIjB,IAAA,IAAI,YAAc,EAAA;AAChB,MAAM,MAAA,EAAA,GAAK,QAAQ,YAAY,CAAA;AAC/B,MAAM,MAAA,OAAA,GAAU,MAAM,EAAE,CAAA;AACxB,MAAI,IAAA,OAAA,EAAgB,OAAA,OAAA,CAAQ,OAAO,CAAA;AACnC,MAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,QAAQ,OAAO,CAAA;AAC/C,MAAA,MAAM,IAAI,KAAM,CAAA,CAAA,sCAAA,EAAyC,MAAO,CAAA,EAAE,CAAC,CAAE,CAAA,CAAA;AAAA;AAOvE,IAAA,KAAA,MAAW,OAAO,OAAS,EAAA;AACzB,MAAA,IAAI,QAAQ,SAAW,EAAA;AACvB,MAAA,IAAI,OAAO,KAAO,EAAA;AAChB,QAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,QAAA,IAAI,OAAS,EAAA;AACX,UAAO,OAAA,OAAO,YAAY,UACtB,GAAA,OAAA,CAAQ,QAAQ,GAAG,CAAC,IACpB,OAAQ,EAAA;AAAA;AACd;AACF;AAEF,IAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,OAAQ,EAAA;AAAA;AAG1C,EAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AACnD;AAGC,UAAA,CAAmB,KAAQ,GAAA,KAAA","file":"match.cjs","sourcesContent":["import type { Option } from \"../option\";\nimport type { Result } from \"../result\";\n\n// Hidden discriminant tag — set by Ok/Err/Some/None instances for O(1) dispatch.\n// Same Symbol as the one declared in the variant classes via Symbol.for.\nconst TAG = Symbol.for(\"@consolidados/results.tag\");\n\n// Utility types for mixed primitive + object unions\ntype PrimitiveMembers<T> = Extract<T, PropertyKey>;\ntype ObjectKeys<T> = T extends object ? keyof T : never;\ntype ObjectPropertyType<T, K extends PropertyKey> = T extends object\n  ? K extends keyof T\n    ? T[K]\n    : never\n  : never;\n\n// Helper to determine if a key K is a primitive member or object key\ntype HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T>\n  ? () => R\n  : K extends ObjectKeys<T>\n    ? (value: ObjectPropertyType<T, K>) => R\n    : never;\n\n// Build cases type with a single mapped type\ntype MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true\n  ? Partial<{\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }>\n  : {\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }) &\n  (HasDefault extends true ? { default: () => R } : {});\n\n// Overload for Result type\nexport function match<T, E, ROk, RErr>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => ROk;\n    Err: (error: E) => RErr;\n  },\n): ROk | RErr;\n\n// Overload for Option type\nexport function match<T, RSome, RNone>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => RSome;\n    None: () => RNone;\n  },\n): RSome | RNone;\n\n// Overload for mixed primitive + object unions WITH default (cases optional)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, true>,\n): R;\n\n// Overload for mixed primitive + object unions WITHOUT default (exhaustive)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, false>,\n): R;\n\n// Overload for discriminated unions with default case\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]?: (value: Extract<T, { [P in D]: K }>) => R } & {\n    default: (value: T) => R;\n  },\n  discriminant: D,\n): R;\n\n// Overload for discriminated unions without default case (exhaustive)\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]: (value: Extract<T, { [P in D]: K }>) => R },\n  discriminant: D,\n): R;\n\n// Overload for primitives with default case\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Partial<Record<T, () => R>> & { default: () => R },\n): R;\n\n// Overload for primitives without default case (exhaustive)\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Record<T, () => R>,\n): R;\n\n// Implementation\nexport function match<T, E, R>(\n  matcher: Result<T, E> | Option<T> | any,\n  cases: any,\n  discriminant?: keyof any,\n): R {\n  // 1) Primitives (string/number/symbol) — direct key lookup, O(1).\n  const t = typeof matcher;\n  if (t === \"string\" || t === \"number\" || t === \"symbol\") {\n    const handler = cases[matcher];\n    if (handler) return handler();\n    if (cases.default) return cases.default();\n    throw new Error(`No case found for value: ${String(matcher)}`);\n  }\n\n  if (matcher !== null && t === \"object\") {\n    // 2) Tagged variant (Ok/Err/Some/None) — single Symbol read + single lookup.\n    //    The Symbol property is invisible to `for...in`, `Object.keys`, and\n    //    `JSON.stringify`, so mixed unions with plain-object variants are\n    //    unaffected.\n    const tag = matcher[TAG];\n    if (tag !== undefined) {\n      const handler = cases[tag];\n      if (!handler) throw new Error(`Missing case for ${tag}`);\n      if (tag === \"Ok\" || tag === \"Some\") return handler(matcher.unwrap());\n      if (tag === \"Err\") return handler(matcher.unwrapErr() as E);\n      // tag === \"None\"\n      return handler();\n    }\n\n    // 3) Discriminated union via explicit `discriminant` arg — O(1).\n    if (discriminant) {\n      const dv = matcher[discriminant];\n      const handler = cases[dv];\n      if (handler) return handler(matcher);\n      if (cases.default) return cases.default(matcher);\n      throw new Error(`No case found for discriminant value: ${String(dv)}`);\n    }\n\n    // 4) Mixed primitive + object union — iterate matcher's own enumerable\n    //    keys (usually 1 for tagged variant objects like `{ Other: [...] }`)\n    //    and look up by key in cases. This flips the loop from O(cases)\n    //    to O(matcher-keys), which is effectively O(1) for tagged variants.\n    for (const key in matcher) {\n      if (key === \"default\") continue;\n      if (key in cases) {\n        const handler = cases[key];\n        if (handler) {\n          return typeof handler === \"function\"\n            ? handler(matcher[key])\n            : handler();\n        }\n      }\n    }\n    if (cases.default) return cases.default();\n  }\n\n  throw new Error(\"Invalid matcher or missing case\");\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).match = match;\n"]}

package/dist/helpers/match.d.cts

@@ -1,4 +1,4 @@
-import { R as Result, O as Option } from '../option-B_KKIecf.cjs';
+import { R as Result, O as Option } from '../option-CYCiGxtw.cjs';
 
 type PrimitiveMembers<T> = Extract<T, PropertyKey>;
 type ObjectKeys<T> = T extends object ? keyof T : never;

package/dist/helpers/match.d.ts

@@ -1,4 +1,4 @@
-import { R as Result, O as Option } from '../option-B_KKIecf.js';
+import { R as Result, O as Option } from '../option-CYCiGxtw.js';
 
 type PrimitiveMembers<T> = Extract<T, PropertyKey>;
 type ObjectKeys<T> = T extends object ? keyof T : never;

package/dist/helpers/match.js

@@ -1,57 +1,39 @@
 // src/helpers/match.ts
+var TAG = Symbol.for("@consolidados/results.tag");
 function match(matcher, cases, discriminant) {
-  if (typeof matcher === "string" || typeof matcher === "number" || typeof matcher === "symbol") {
+  const t = typeof matcher;
+  if (t === "string" || t === "number" || t === "symbol") {
     const handler = cases[matcher];
-    if (handler) {
+    if (handler) return handler();
+    if (cases.default) return cases.default();
+    throw new Error(`No case found for value: ${String(matcher)}`);
+  }
+  if (matcher !== null && t === "object") {
+    const tag = matcher[TAG];
+    if (tag !== void 0) {
+      const handler = cases[tag];
+      if (!handler) throw new Error(`Missing case for ${tag}`);
+      if (tag === "Ok" || tag === "Some") return handler(matcher.unwrap());
+      if (tag === "Err") return handler(matcher.unwrapErr());
       return handler();
     }
-    if (cases.default) {
-      return cases.default();
+    if (discriminant) {
+      const dv = matcher[discriminant];
+      const handler = cases[dv];
+      if (handler) return handler(matcher);
+      if (cases.default) return cases.default(matcher);
+      throw new Error(`No case found for discriminant value: ${String(dv)}`);
     }
-    throw new Error(`No case found for value: ${String(matcher)}`);
-  }
-  if (typeof matcher === "object" && matcher !== null && !discriminant) {
-    for (const key in cases) {
+    for (const key in matcher) {
       if (key === "default") continue;
-      if (key in matcher) {
+      if (key in cases) {
         const handler = cases[key];
         if (handler) {
           return typeof handler === "function" ? handler(matcher[key]) : handler();
         }
       }
     }
-    if (cases.default) {
-      return cases.default();
-    }
-  }
-  if (discriminant && typeof matcher === "object" && matcher !== null) {
-    const discriminantValue = matcher[discriminant];
-    const handler = cases[discriminantValue];
-    if (handler) {
-      return handler(matcher);
-    }
-    if (cases.default) {
-      return cases.default(matcher);
-    }
-    throw new Error(
-      `No case found for discriminant value: ${String(discriminantValue)}`
-    );
-  }
-  if (typeof matcher === "object" && matcher !== null && "isOk" in matcher && matcher.isOk()) {
-    if (!cases.Ok) throw new Error("Missing case for Ok");
-    return cases.Ok(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isErr" in matcher && matcher.isErr()) {
-    if (!cases.Err) throw new Error("Missing case for Err");
-    return cases.Err(matcher.unwrapErr());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isSome" in matcher && matcher.isSome()) {
-    if (!cases.Some) throw new Error("Missing case for Some");
-    return cases.Some(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isNone" in matcher && matcher.isNone()) {
-    if (!cases.None) throw new Error("Missing case for None");
-    return cases.None();
+    if (cases.default) return cases.default();
   }
   throw new Error("Invalid matcher or missing case");
 }

package/dist/helpers/match.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";AAgGO,SAAS,KAAA,CACd,OACA,EAAA,KAAA,EACA,YACG,EAAA;AAEH,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAO,YAAY,QACnB,IAAA,OAAO,YAAY,QACnB,EAAA;AACA,IAAM,MAAA,OAAA,GAAU,MAAM,OAAO,CAAA;AAE7B,IAAA,IAAI,OAAS,EAAA;AACX,MAAA,OAAO,OAAQ,EAAA;AAAA;AAGjB,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAA,OAAO,MAAM,OAAQ,EAAA;AAAA;AAGvB,IAAA,MAAM,IAAI,KAAM,CAAA,CAAA,yBAAA,EAA4B,MAAO,CAAA,OAAO,CAAC,CAAE,CAAA,CAAA;AAAA;AAK/D,EAAA,IAAI,OAAO,OAAY,KAAA,QAAA,IAAY,OAAY,KAAA,IAAA,IAAQ,CAAC,YAAc,EAAA;AAEpE,IAAA,KAAA,MAAW,OAAO,KAAO,EAAA;AACvB,MAAA,IAAI,QAAQ,SAAW,EAAA;AAEvB,MAAA,IAAI,OAAO,OAAS,EAAA;AAClB,QAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,QAAA,IAAI,OAAS,EAAA;AACX,UAAO,OAAA,OAAO,YAAY,UACtB,GAAA,OAAA,CAAQ,QAAQ,GAAG,CAAC,IACpB,OAAQ,EAAA;AAAA;AACd;AACF;AAIF,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAA,OAAO,MAAM,OAAQ,EAAA;AAAA;AACvB;AAIF,EAAA,IAAI,YAAgB,IAAA,OAAO,OAAY,KAAA,QAAA,IAAY,YAAY,IAAM,EAAA;AACnE,IAAM,MAAA,iBAAA,GAAoB,QAAQ,YAAY,CAAA;AAC9C,IAAM,MAAA,OAAA,GAAU,MAAM,iBAAiB,CAAA;AAEvC,IAAA,IAAI,OAAS,EAAA;AACX,MAAA,OAAO,QAAQ,OAAO,CAAA;AAAA;AAGxB,IAAA,IAAI,MAAM,OAAS,EAAA;AACjB,MAAO,OAAA,KAAA,CAAM,QAAQ,OAAO,CAAA;AAAA;AAG9B,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,sCAAA,EAAyC,MAAO,CAAA,iBAAiB,CAAC,CAAA;AAAA,KACpE;AAAA;AAIF,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,MAAU,IAAA,OAAA,IACV,OAAQ,CAAA,IAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,EAAA,EAAU,MAAA,IAAI,MAAM,qBAAqB,CAAA;AACpD,IAAA,OAAO,KAAM,CAAA,EAAA,CAAG,OAAQ,CAAA,MAAA,EAAQ,CAAA;AAAA;AAIlC,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,OAAW,IAAA,OAAA,IACX,OAAQ,CAAA,KAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,GAAA,EAAW,MAAA,IAAI,MAAM,sBAAsB,CAAA;AACtD,IAAA,OAAO,KAAM,CAAA,GAAA,CAAI,OAAQ,CAAA,SAAA,EAAgB,CAAA;AAAA;AAI3C,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,QAAY,IAAA,OAAA,IACZ,OAAQ,CAAA,MAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,IAAA,EAAY,MAAA,IAAI,MAAM,uBAAuB,CAAA;AACxD,IAAA,OAAO,KAAM,CAAA,IAAA,CAAK,OAAQ,CAAA,MAAA,EAAQ,CAAA;AAAA;AAIpC,EACE,IAAA,OAAO,YAAY,QACnB,IAAA,OAAA,KAAY,QACZ,QAAY,IAAA,OAAA,IACZ,OAAQ,CAAA,MAAA,EACR,EAAA;AACA,IAAA,IAAI,CAAC,KAAM,CAAA,IAAA,EAAY,MAAA,IAAI,MAAM,uBAAuB,CAAA;AACxD,IAAA,OAAO,MAAM,IAAK,EAAA;AAAA;AAGpB,EAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AACnD;AAGC,UAAA,CAAmB,KAAQ,GAAA,KAAA","file":"match.js","sourcesContent":["import type { Option } from \"../option\";\nimport type { Result } from \"../result\";\n\n// Utility types for mixed primitive + object unions\ntype PrimitiveMembers<T> = Extract<T, PropertyKey>;\ntype ObjectKeys<T> = T extends object ? keyof T : never;\ntype ObjectPropertyType<T, K extends PropertyKey> = T extends object\n  ? K extends keyof T\n    ? T[K]\n    : never\n  : never;\n\n// Helper to determine if a key K is a primitive member or object key\ntype HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T>\n  ? () => R\n  : K extends ObjectKeys<T>\n    ? (value: ObjectPropertyType<T, K>) => R\n    : never;\n\n// Build cases type with a single mapped type\ntype MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true\n  ? Partial<{\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }>\n  : {\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }) &\n  (HasDefault extends true ? { default: () => R } : {});\n\n// Overload for Result type\nexport function match<T, E, ROk, RErr>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => ROk;\n    Err: (error: E) => RErr;\n  },\n): ROk | RErr;\n\n// Overload for Option type\nexport function match<T, RSome, RNone>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => RSome;\n    None: () => RNone;\n  },\n): RSome | RNone;\n\n// Overload for mixed primitive + object unions WITH default (cases optional)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, true>,\n): R;\n\n// Overload for mixed primitive + object unions WITHOUT default (exhaustive)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, false>,\n): R;\n\n// Overload for discriminated unions with default case\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]?: (value: Extract<T, { [P in D]: K }>) => R } & {\n    default: (value: T) => R;\n  },\n  discriminant: D,\n): R;\n\n// Overload for discriminated unions without default case (exhaustive)\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]: (value: Extract<T, { [P in D]: K }>) => R },\n  discriminant: D,\n): R;\n\n// Overload for primitives with default case\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Partial<Record<T, () => R>> & { default: () => R },\n): R;\n\n// Overload for primitives without default case (exhaustive)\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Record<T, () => R>,\n): R;\n\n// Implementation\nexport function match<T, E, R>(\n  matcher: Result<T, E> | Option<T> | any,\n  cases: any,\n  discriminant?: keyof any,\n): R {\n  // Handle primitives (string, number, symbol) FIRST\n  if (\n    typeof matcher === \"string\" ||\n    typeof matcher === \"number\" ||\n    typeof matcher === \"symbol\"\n  ) {\n    const handler = cases[matcher];\n\n    if (handler) {\n      return handler();\n    }\n\n    if (cases.default) {\n      return cases.default();\n    }\n\n    throw new Error(`No case found for value: ${String(matcher)}`);\n  }\n\n  // NEW: Handle objects with specific property keys (like { Other: [...] })\n  // This must come BEFORE discriminated union check to handle mixed unions\n  if (typeof matcher === \"object\" && matcher !== null && !discriminant) {\n    // Check if any case key matches a property in the matcher object\n    for (const key in cases) {\n      if (key === \"default\") continue;\n\n      if (key in matcher) {\n        const handler = cases[key];\n        if (handler) {\n          return typeof handler === \"function\"\n            ? handler(matcher[key])\n            : handler();\n        }\n      }\n    }\n\n    // If no match found and there's a default, use it\n    if (cases.default) {\n      return cases.default();\n    }\n  }\n\n  // Handle discriminated unions\n  if (discriminant && typeof matcher === \"object\" && matcher !== null) {\n    const discriminantValue = matcher[discriminant];\n    const handler = cases[discriminantValue];\n\n    if (handler) {\n      return handler(matcher);\n    }\n\n    if (cases.default) {\n      return cases.default(matcher);\n    }\n\n    throw new Error(\n      `No case found for discriminant value: ${String(discriminantValue)}`,\n    );\n  }\n\n  // Early return for Result.Ok\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isOk\" in matcher &&\n    matcher.isOk()\n  ) {\n    if (!cases.Ok) throw new Error(\"Missing case for Ok\");\n    return cases.Ok(matcher.unwrap());\n  }\n\n  // Early return for Result.Err\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isErr\" in matcher &&\n    matcher.isErr()\n  ) {\n    if (!cases.Err) throw new Error(\"Missing case for Err\");\n    return cases.Err(matcher.unwrapErr() as E);\n  }\n\n  // Early return for Option.Some\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isSome\" in matcher &&\n    matcher.isSome()\n  ) {\n    if (!cases.Some) throw new Error(\"Missing case for Some\");\n    return cases.Some(matcher.unwrap());\n  }\n\n  // Early return for Option.None\n  if (\n    typeof matcher === \"object\" &&\n    matcher !== null &&\n    \"isNone\" in matcher &&\n    matcher.isNone()\n  ) {\n    if (!cases.None) throw new Error(\"Missing case for None\");\n    return cases.None();\n  }\n\n  throw new Error(\"Invalid matcher or missing case\");\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).match = match;\n"]}
+{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";AAKA,IAAM,GAAA,GAAM,MAAO,CAAA,GAAA,CAAI,2BAA2B,CAAA;AA+F3C,SAAS,KAAA,CACd,OACA,EAAA,KAAA,EACA,YACG,EAAA;AAEH,EAAA,MAAM,IAAI,OAAO,OAAA;AACjB,EAAA,IAAI,CAAM,KAAA,QAAA,IAAY,CAAM,KAAA,QAAA,IAAY,MAAM,QAAU,EAAA;AACtD,IAAM,MAAA,OAAA,GAAU,MAAM,OAAO,CAAA;AAC7B,IAAI,IAAA,OAAA,SAAgB,OAAQ,EAAA;AAC5B,IAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,OAAQ,EAAA;AACxC,IAAA,MAAM,IAAI,KAAM,CAAA,CAAA,yBAAA,EAA4B,MAAO,CAAA,OAAO,CAAC,CAAE,CAAA,CAAA;AAAA;AAG/D,EAAI,IAAA,OAAA,KAAY,IAAQ,IAAA,CAAA,KAAM,QAAU,EAAA;AAKtC,IAAM,MAAA,GAAA,GAAM,QAAQ,GAAG,CAAA;AACvB,IAAA,IAAI,QAAQ,MAAW,EAAA;AACrB,MAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,MAAA,IAAI,CAAC,OAAS,EAAA,MAAM,IAAI,KAAM,CAAA,CAAA,iBAAA,EAAoB,GAAG,CAAE,CAAA,CAAA;AACvD,MAAI,IAAA,GAAA,KAAQ,QAAQ,GAAQ,KAAA,MAAA,SAAe,OAAQ,CAAA,OAAA,CAAQ,QAAQ,CAAA;AACnE,MAAA,IAAI,QAAQ,KAAO,EAAA,OAAO,OAAQ,CAAA,OAAA,CAAQ,WAAgB,CAAA;AAE1D,MAAA,OAAO,OAAQ,EAAA;AAAA;AAIjB,IAAA,IAAI,YAAc,EAAA;AAChB,MAAM,MAAA,EAAA,GAAK,QAAQ,YAAY,CAAA;AAC/B,MAAM,MAAA,OAAA,GAAU,MAAM,EAAE,CAAA;AACxB,MAAI,IAAA,OAAA,EAAgB,OAAA,OAAA,CAAQ,OAAO,CAAA;AACnC,MAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,QAAQ,OAAO,CAAA;AAC/C,MAAA,MAAM,IAAI,KAAM,CAAA,CAAA,sCAAA,EAAyC,MAAO,CAAA,EAAE,CAAC,CAAE,CAAA,CAAA;AAAA;AAOvE,IAAA,KAAA,MAAW,OAAO,OAAS,EAAA;AACzB,MAAA,IAAI,QAAQ,SAAW,EAAA;AACvB,MAAA,IAAI,OAAO,KAAO,EAAA;AAChB,QAAM,MAAA,OAAA,GAAU,MAAM,GAAG,CAAA;AACzB,QAAA,IAAI,OAAS,EAAA;AACX,UAAO,OAAA,OAAO,YAAY,UACtB,GAAA,OAAA,CAAQ,QAAQ,GAAG,CAAC,IACpB,OAAQ,EAAA;AAAA;AACd;AACF;AAEF,IAAA,IAAI,KAAM,CAAA,OAAA,EAAgB,OAAA,KAAA,CAAM,OAAQ,EAAA;AAAA;AAG1C,EAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AACnD;AAGC,UAAA,CAAmB,KAAQ,GAAA,KAAA","file":"match.js","sourcesContent":["import type { Option } from \"../option\";\nimport type { Result } from \"../result\";\n\n// Hidden discriminant tag — set by Ok/Err/Some/None instances for O(1) dispatch.\n// Same Symbol as the one declared in the variant classes via Symbol.for.\nconst TAG = Symbol.for(\"@consolidados/results.tag\");\n\n// Utility types for mixed primitive + object unions\ntype PrimitiveMembers<T> = Extract<T, PropertyKey>;\ntype ObjectKeys<T> = T extends object ? keyof T : never;\ntype ObjectPropertyType<T, K extends PropertyKey> = T extends object\n  ? K extends keyof T\n    ? T[K]\n    : never\n  : never;\n\n// Helper to determine if a key K is a primitive member or object key\ntype HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T>\n  ? () => R\n  : K extends ObjectKeys<T>\n    ? (value: ObjectPropertyType<T, K>) => R\n    : never;\n\n// Build cases type with a single mapped type\ntype MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true\n  ? Partial<{\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }>\n  : {\n      [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;\n    }) &\n  (HasDefault extends true ? { default: () => R } : {});\n\n// Overload for Result type\nexport function match<T, E, ROk, RErr>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => ROk;\n    Err: (error: E) => RErr;\n  },\n): ROk | RErr;\n\n// Overload for Option type\nexport function match<T, RSome, RNone>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => RSome;\n    None: () => RNone;\n  },\n): RSome | RNone;\n\n// Overload for mixed primitive + object unions WITH default (cases optional)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, true>,\n): R;\n\n// Overload for mixed primitive + object unions WITHOUT default (exhaustive)\nexport function match<T extends PropertyKey | object, R>(\n  matcher: T,\n  cases: MatchCases<T, R, false>,\n): R;\n\n// Overload for discriminated unions with default case\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]?: (value: Extract<T, { [P in D]: K }>) => R } & {\n    default: (value: T) => R;\n  },\n  discriminant: D,\n): R;\n\n// Overload for discriminated unions without default case (exhaustive)\nexport function match<\n  T extends { [K in D]: string | number | symbol },\n  D extends keyof T,\n  R,\n>(\n  matcher: T,\n  cases: { [K in T[D]]: (value: Extract<T, { [P in D]: K }>) => R },\n  discriminant: D,\n): R;\n\n// Overload for primitives with default case\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Partial<Record<T, () => R>> & { default: () => R },\n): R;\n\n// Overload for primitives without default case (exhaustive)\nexport function match<T extends PropertyKey, R>(\n  matcher: T,\n  cases: Record<T, () => R>,\n): R;\n\n// Implementation\nexport function match<T, E, R>(\n  matcher: Result<T, E> | Option<T> | any,\n  cases: any,\n  discriminant?: keyof any,\n): R {\n  // 1) Primitives (string/number/symbol) — direct key lookup, O(1).\n  const t = typeof matcher;\n  if (t === \"string\" || t === \"number\" || t === \"symbol\") {\n    const handler = cases[matcher];\n    if (handler) return handler();\n    if (cases.default) return cases.default();\n    throw new Error(`No case found for value: ${String(matcher)}`);\n  }\n\n  if (matcher !== null && t === \"object\") {\n    // 2) Tagged variant (Ok/Err/Some/None) — single Symbol read + single lookup.\n    //    The Symbol property is invisible to `for...in`, `Object.keys`, and\n    //    `JSON.stringify`, so mixed unions with plain-object variants are\n    //    unaffected.\n    const tag = matcher[TAG];\n    if (tag !== undefined) {\n      const handler = cases[tag];\n      if (!handler) throw new Error(`Missing case for ${tag}`);\n      if (tag === \"Ok\" || tag === \"Some\") return handler(matcher.unwrap());\n      if (tag === \"Err\") return handler(matcher.unwrapErr() as E);\n      // tag === \"None\"\n      return handler();\n    }\n\n    // 3) Discriminated union via explicit `discriminant` arg — O(1).\n    if (discriminant) {\n      const dv = matcher[discriminant];\n      const handler = cases[dv];\n      if (handler) return handler(matcher);\n      if (cases.default) return cases.default(matcher);\n      throw new Error(`No case found for discriminant value: ${String(dv)}`);\n    }\n\n    // 4) Mixed primitive + object union — iterate matcher's own enumerable\n    //    keys (usually 1 for tagged variant objects like `{ Other: [...] }`)\n    //    and look up by key in cases. This flips the loop from O(cases)\n    //    to O(matcher-keys), which is effectively O(1) for tagged variants.\n    for (const key in matcher) {\n      if (key === \"default\") continue;\n      if (key in cases) {\n        const handler = cases[key];\n        if (handler) {\n          return typeof handler === \"function\"\n            ? handler(matcher[key])\n            : handler();\n        }\n      }\n    }\n    if (cases.default) return cases.default();\n  }\n\n  throw new Error(\"Invalid matcher or missing case\");\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).match = match;\n"]}

package/dist/index.cjs

@@ -1,66 +1,51 @@
 'use strict';
 
 // src/helpers/match.ts
+var TAG = Symbol.for("@consolidados/results.tag");
 function match(matcher, cases, discriminant) {
-  if (typeof matcher === "string" || typeof matcher === "number" || typeof matcher === "symbol") {
+  const t = typeof matcher;
+  if (t === "string" || t === "number" || t === "symbol") {
     const handler = cases[matcher];
-    if (handler) {
+    if (handler) return handler();
+    if (cases.default) return cases.default();
+    throw new Error(`No case found for value: ${String(matcher)}`);
+  }
+  if (matcher !== null && t === "object") {
+    const tag = matcher[TAG];
+    if (tag !== void 0) {
+      const handler = cases[tag];
+      if (!handler) throw new Error(`Missing case for ${tag}`);
+      if (tag === "Ok" || tag === "Some") return handler(matcher.unwrap());
+      if (tag === "Err") return handler(matcher.unwrapErr());
       return handler();
     }
-    if (cases.default) {
-      return cases.default();
+    if (discriminant) {
+      const dv = matcher[discriminant];
+      const handler = cases[dv];
+      if (handler) return handler(matcher);
+      if (cases.default) return cases.default(matcher);
+      throw new Error(`No case found for discriminant value: ${String(dv)}`);
     }
-    throw new Error(`No case found for value: ${String(matcher)}`);
-  }
-  if (typeof matcher === "object" && matcher !== null && !discriminant) {
-    for (const key in cases) {
+    for (const key in matcher) {
       if (key === "default") continue;
-      if (key in matcher) {
+      if (key in cases) {
         const handler = cases[key];
         if (handler) {
           return typeof handler === "function" ? handler(matcher[key]) : handler();
         }
       }
     }
-    if (cases.default) {
-      return cases.default();
-    }
-  }
-  if (discriminant && typeof matcher === "object" && matcher !== null) {
-    const discriminantValue = matcher[discriminant];
-    const handler = cases[discriminantValue];
-    if (handler) {
-      return handler(matcher);
-    }
-    if (cases.default) {
-      return cases.default(matcher);
-    }
-    throw new Error(
-      `No case found for discriminant value: ${String(discriminantValue)}`
-    );
-  }
-  if (typeof matcher === "object" && matcher !== null && "isOk" in matcher && matcher.isOk()) {
-    if (!cases.Ok) throw new Error("Missing case for Ok");
-    return cases.Ok(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isErr" in matcher && matcher.isErr()) {
-    if (!cases.Err) throw new Error("Missing case for Err");
-    return cases.Err(matcher.unwrapErr());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isSome" in matcher && matcher.isSome()) {
-    if (!cases.Some) throw new Error("Missing case for Some");
-    return cases.Some(matcher.unwrap());
-  }
-  if (typeof matcher === "object" && matcher !== null && "isNone" in matcher && matcher.isNone()) {
-    if (!cases.None) throw new Error("Missing case for None");
-    return cases.None();
+    if (cases.default) return cases.default();
   }
   throw new Error("Invalid matcher or missing case");
 }
 globalThis.match = match;
 
 // src/result/__internal__/return-types/err.ts
+var TAG2 = Symbol.for("@consolidados/results.tag");
 var Err = class _Err {
+  /** Hidden tag — read by `match()` for O(1) dispatch. */
+  [TAG2] = "Err";
   error;
   /**
    * Creates a new `Err` instance with the given error value.
@@ -171,6 +156,7 @@ var Err = class _Err {
 };
 
 // src/result/__internal__/return-types/ok.ts
+var TAG3 = Symbol.for("@consolidados/results.tag");
 var Ok = class _Ok {
   /**
    * Creates a new `Ok` instance with the given value.
@@ -179,6 +165,9 @@ var Ok = class _Ok {
   constructor(_value) {
     this._value = _value;
   }
+  /** Hidden tag — read by `match()` for O(1) dispatch. Symbol-keyed so it
+   *  doesn't appear in `for...in`, `Object.keys`, or `JSON.stringify`. */
+  [TAG3] = "Ok";
   /**
    * Checks if this result is an `Ok`.
    * @returns `true` because this is an `Ok`.
@@ -290,6 +279,7 @@ globalThis.Ok = Ok2;
 globalThis.Err = Err2;
 
 // src/option/__internal__/return-types/some.ts
+var TAG4 = Symbol.for("@consolidados/results.tag");
 var Some2 = class _Some {
   /**
    * Creates a new `Some` option with the given value.
@@ -298,6 +288,8 @@ var Some2 = class _Some {
   constructor(_value) {
     this._value = _value;
   }
+  /** Hidden tag — read by `match()` for O(1) dispatch. */
+  [TAG4] = "Some";
   /**
    * Checks if this option is a `Some`.
    * @returns `true` if this option is a `Some`, otherwise `false`.
@@ -382,7 +374,10 @@ var Some2 = class _Some {
 };
 
 // src/option/__internal__/return-types/none.ts
+var TAG5 = Symbol.for("@consolidados/results.tag");
 var None3 = class {
+  /** Hidden tag — read by `match()` for O(1) dispatch. */
+  [TAG5] = "None";
   /**
    * Checks if this option is a `Some`.
    * @returns `false` because this is a `None`.