@consolidados/results 0.3.0 → 0.5.0

package/README.md

@@ -11,7 +11,7 @@ This package provides robust implementations of the `Result` and `Option` types,
 - 🎯 **Type-safe** - Full TypeScript support with type narrowing
 - 🚀 **Performance** - None singleton pattern (95% less allocations)
 - 🔄 **Flexible** - Support for any error type (enums, strings, custom classes)
-- 🎨 **Pattern matching** - Match primitives, enums, and discriminated unions
+- 🎨 **Pattern matching** - Match primitives, enums, discriminated unions, and mixed primitive + object unions
 - 🛠️ **Rich API** - unwrapOr, orElse, filter, and more
 - 🌍 **Global availability** - Optional global imports for cleaner code
 
@@ -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
@@ -150,8 +215,8 @@ var APIError;
 ```typescript
 const APIError = {
   NotFound: "NOT_FOUND",
-  Unauthorized = "UNAUTHORIZED",
-  ServerError = "SERVER_ERROR",
+  Unauthorized: "UNAUTHORIZED",
+  ServerError: "SERVER_ERROR",
 } as const;
   
 type APIError = (typeof APIError)[keyof typeof APIError];
@@ -390,6 +455,49 @@ const simplified = match(status, {
 });
 ```
 
+### Matching Mixed Primitive + Object Unions
+
+Unions that combine primitive strings and object variants (common in Rust-style error types):
+
+```typescript
+type ServiceError =
+  | "ConnectionFailed"
+  | "InvalidConfiguration"
+  | { Other: [string, string] };
+
+const err: ServiceError = { Other: ["reason", "detail"] };
+
+// Exhaustive - all cases required
+const message = match(err, {
+  ConnectionFailed: () => "Connection failed",
+  InvalidConfiguration: () => "Invalid config",
+  Other: (data) => `Other error: ${data[0]} - ${data[1]}`,
+});
+
+// With default - partial cases allowed
+const simplified = match(err, {
+  ConnectionFailed: () => "Connection issue",
+  default: () => "Something else happened",
+});
+```
+
+Also works with complex object properties:
+
+```typescript
+type AppError =
+  | "NotFound"
+  | { Details: { code: number; message: string } }
+  | { Metadata: string[] };
+
+const error: AppError = { Details: { code: 404, message: "Not found" } };
+
+const result = match(error, {
+  NotFound: () => "Not found",
+  Details: (details) => `Error ${details.code}: ${details.message}`,
+  Metadata: (meta) => meta.join(", "),
+});
+```
+
 ### Matching Discriminated Unions
 
 ```typescript
@@ -451,13 +559,12 @@ const result = await fetchUser(123);
 
 const message = match(result, {
   Ok: (user) => `Welcome, ${user.name}!`,
-  Err: (error) => {
-    // Match on string values (const object compiles to strings)
-    const errMsg = (error as any).message || String(error);
-    if (errMsg.includes("NOT_FOUND")) return "User not found";
-    if (errMsg.includes("UNAUTHORIZED")) return "Please login";
-    return "Server error, try again";
-  },
+  Err: (error) =>
+    match(error, {
+      NOT_FOUND: () => "User not found",
+      UNAUTHORIZED: () => "Please login",
+      SERVER_ERROR: () => "Server error, try again",
+    }),
 });
 ```
 
@@ -602,6 +709,18 @@ match<T extends string | number | symbol, R>(
   cases: { [K in T]?: () => R } & { default: () => R }
 ): R
 
+// Mixed primitive + object union (exhaustive)
+match<T extends PropertyKey | object, R>(
+  matcher: T,
+  cases: MatchCases<T, R, false>
+): R
+
+// Mixed primitive + object union (with default)
+match<T extends PropertyKey | object, R>(
+  matcher: T,
+  cases: MatchCases<T, R, true>
+): R
+
 // Discriminated union matching
 match<T, D extends keyof T, R>(
   matcher: T,

package/dist/helpers/match.cjs

@@ -1,63 +1,45 @@
 '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");
 }
-global.match = match;
+globalThis.match = match;
 
 exports.match = match;
 //# sourceMappingURL=match.cjs.map

package/dist/helpers/match.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";;;AAkHO,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,MAAA,CAAe,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, R>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => R;\n    Err: (error: E) => R;\n  },\n): R;\n\n// Overload for Option type\nexport function match<T, R>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => R;\n    None: () => R;\n  },\n): R;\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// Result -> Option conversion\nexport function match<T, E>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => Option<T>;\n    Err: (error: E) => Option<T>;\n  },\n): Option<T>;\n\n// Option -> Result conversion\nexport function match<T, E>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => Result<T, E>;\n    None: () => Result<T, E>;\n  },\n): Result<T, E>;\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(global 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;
@@ -11,14 +11,14 @@ type MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends
 }) & (HasDefault extends true ? {
     default: () => R;
 } : {});
-declare function match<T, E, R>(matcher: Result<T, E>, cases: {
-    Ok: (value: T) => R;
-    Err: (error: E) => R;
-}): R;
-declare function match<T, R>(matcher: Option<T>, cases: {
-    Some: (value: T) => R;
-    None: () => R;
-}): R;
+declare function match<T, E, ROk, RErr>(matcher: Result<T, E>, cases: {
+    Ok: (value: T) => ROk;
+    Err: (error: E) => RErr;
+}): ROk | RErr;
+declare function match<T, RSome, RNone>(matcher: Option<T>, cases: {
+    Some: (value: T) => RSome;
+    None: () => RNone;
+}): RSome | RNone;
 declare function match<T extends PropertyKey | object, R>(matcher: T, cases: MatchCases<T, R, true>): R;
 declare function match<T extends PropertyKey | object, R>(matcher: T, cases: MatchCases<T, R, false>): R;
 declare function match<T extends {
@@ -41,13 +41,5 @@ declare function match<T extends PropertyKey, R>(matcher: T, cases: Partial<Reco
     default: () => R;
 }): R;
 declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => R>): R;
-declare function match<T, E>(matcher: Result<T, E>, cases: {
-    Ok: (value: T) => Option<T>;
-    Err: (error: E) => Option<T>;
-}): Option<T>;
-declare function match<T, E>(matcher: Option<T>, cases: {
-    Some: (value: T) => Result<T, E>;
-    None: () => Result<T, E>;
-}): Result<T, E>;
 
 export { match };

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;
@@ -11,14 +11,14 @@ type MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends
 }) & (HasDefault extends true ? {
     default: () => R;
 } : {});
-declare function match<T, E, R>(matcher: Result<T, E>, cases: {
-    Ok: (value: T) => R;
-    Err: (error: E) => R;
-}): R;
-declare function match<T, R>(matcher: Option<T>, cases: {
-    Some: (value: T) => R;
-    None: () => R;
-}): R;
+declare function match<T, E, ROk, RErr>(matcher: Result<T, E>, cases: {
+    Ok: (value: T) => ROk;
+    Err: (error: E) => RErr;
+}): ROk | RErr;
+declare function match<T, RSome, RNone>(matcher: Option<T>, cases: {
+    Some: (value: T) => RSome;
+    None: () => RNone;
+}): RSome | RNone;
 declare function match<T extends PropertyKey | object, R>(matcher: T, cases: MatchCases<T, R, true>): R;
 declare function match<T extends PropertyKey | object, R>(matcher: T, cases: MatchCases<T, R, false>): R;
 declare function match<T extends {
@@ -41,13 +41,5 @@ declare function match<T extends PropertyKey, R>(matcher: T, cases: Partial<Reco
     default: () => R;
 }): R;
 declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => R>): R;
-declare function match<T, E>(matcher: Result<T, E>, cases: {
-    Ok: (value: T) => Option<T>;
-    Err: (error: E) => Option<T>;
-}): Option<T>;
-declare function match<T, E>(matcher: Option<T>, cases: {
-    Some: (value: T) => Result<T, E>;
-    None: () => Result<T, E>;
-}): Result<T, E>;
 
 export { match };

package/dist/helpers/match.js

@@ -1,61 +1,43 @@
 // 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");
 }
-global.match = match;
+globalThis.match = match;
 
 export { match };
 //# sourceMappingURL=match.js.map

package/dist/helpers/match.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/helpers/match.ts"],"names":[],"mappings":";AAkHO,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,MAAA,CAAe,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, R>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => R;\n    Err: (error: E) => R;\n  },\n): R;\n\n// Overload for Option type\nexport function match<T, R>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => R;\n    None: () => R;\n  },\n): R;\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// Result -> Option conversion\nexport function match<T, E>(\n  matcher: Result<T, E>,\n  cases: {\n    Ok: (value: T) => Option<T>;\n    Err: (error: E) => Option<T>;\n  },\n): Option<T>;\n\n// Option -> Result conversion\nexport function match<T, E>(\n  matcher: Option<T>,\n  cases: {\n    Some: (value: T) => Result<T, E>;\n    None: () => Result<T, E>;\n  },\n): Result<T, E>;\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(global 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"]}