@consolidados/results 0.2.1 → 0.4.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
 
@@ -150,8 +150,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 +390,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 +494,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 +644,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

@@ -12,6 +12,20 @@ function match(matcher, cases, discriminant) {
     }
     throw new Error(`No case found for value: ${String(matcher)}`);
   }
+  if (typeof matcher === "object" && matcher !== null && !discriminant) {
+    for (const key in cases) {
+      if (key === "default") continue;
+      if (key in matcher) {
+        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];
@@ -43,7 +57,7 @@ function match(matcher, cases, discriminant) {
   }
   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":";;;AA4EO,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;AAI/D,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// 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 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// 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// 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  // 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":";;;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"]}

package/dist/helpers/match.d.cts

@@ -1,17 +1,26 @@
 import { R as Result, O as Option } from '../option-B_KKIecf.cjs';
 
-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 extends PropertyKey, R>(matcher: T, cases: Partial<Record<T, () => R>> & {
+type PrimitiveMembers<T> = Extract<T, PropertyKey>;
+type ObjectKeys<T> = T extends object ? keyof T : never;
+type ObjectPropertyType<T, K extends PropertyKey> = T extends object ? K extends keyof T ? T[K] : never : never;
+type HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T> ? () => R : K extends ObjectKeys<T> ? (value: ObjectPropertyType<T, K>) => R : never;
+type MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true ? Partial<{
+    [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;
+}> : {
+    [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;
+}) & (HasDefault extends true ? {
     default: () => R;
-}): R;
-declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => 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 {
     [K in D]: string | number | symbol;
 }, D extends keyof T, R>(matcher: T, cases: {
@@ -28,13 +37,9 @@ declare function match<T extends {
         [P in D]: K;
     }>) => R;
 }, discriminant: D): 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>;
+declare function match<T extends PropertyKey, R>(matcher: T, cases: Partial<Record<T, () => R>> & {
+    default: () => R;
+}): R;
+declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => R>): R;
 
 export { match };

package/dist/helpers/match.d.ts

@@ -1,17 +1,26 @@
 import { R as Result, O as Option } from '../option-B_KKIecf.js';
 
-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 extends PropertyKey, R>(matcher: T, cases: Partial<Record<T, () => R>> & {
+type PrimitiveMembers<T> = Extract<T, PropertyKey>;
+type ObjectKeys<T> = T extends object ? keyof T : never;
+type ObjectPropertyType<T, K extends PropertyKey> = T extends object ? K extends keyof T ? T[K] : never : never;
+type HandlerFor<T, K extends PropertyKey, R> = K extends PrimitiveMembers<T> ? () => R : K extends ObjectKeys<T> ? (value: ObjectPropertyType<T, K>) => R : never;
+type MatchCases<T, R, HasDefault extends boolean = false> = (HasDefault extends true ? Partial<{
+    [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;
+}> : {
+    [K in PrimitiveMembers<T> | ObjectKeys<T>]: HandlerFor<T, K, R>;
+}) & (HasDefault extends true ? {
     default: () => R;
-}): R;
-declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => 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 {
     [K in D]: string | number | symbol;
 }, D extends keyof T, R>(matcher: T, cases: {
@@ -28,13 +37,9 @@ declare function match<T extends {
         [P in D]: K;
     }>) => R;
 }, discriminant: D): 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>;
+declare function match<T extends PropertyKey, R>(matcher: T, cases: Partial<Record<T, () => R>> & {
+    default: () => R;
+}): R;
+declare function match<T extends PropertyKey, R>(matcher: T, cases: Record<T, () => R>): R;
 
 export { match };

package/dist/helpers/match.js

@@ -10,6 +10,20 @@ function match(matcher, cases, discriminant) {
     }
     throw new Error(`No case found for value: ${String(matcher)}`);
   }
+  if (typeof matcher === "object" && matcher !== null && !discriminant) {
+    for (const key in cases) {
+      if (key === "default") continue;
+      if (key in matcher) {
+        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];
@@ -41,7 +55,7 @@ function match(matcher, cases, discriminant) {
   }
   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":";AA4EO,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;AAI/D,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// 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 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// 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// 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  // 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":";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"]}

package/dist/index.cjs

@@ -12,6 +12,20 @@ function match(matcher, cases, discriminant) {
     }
     throw new Error(`No case found for value: ${String(matcher)}`);
   }
+  if (typeof matcher === "object" && matcher !== null && !discriminant) {
+    for (const key in cases) {
+      if (key === "default") continue;
+      if (key in matcher) {
+        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];
@@ -43,7 +57,7 @@ function match(matcher, cases, discriminant) {
   }
   throw new Error("Invalid matcher or missing case");
 }
-global.match = match;
+globalThis.match = match;
 
 // src/result/__internal__/return-types/err.ts
 var Err = class _Err {
@@ -272,8 +286,8 @@ function Ok2(value) {
 function Err2(error) {
   return new Err(error);
 }
-global.Ok = Ok2;
-global.Err = Err2;
+globalThis.Ok = Ok2;
+globalThis.Err = Err2;
 
 // src/option/__internal__/return-types/some.ts
 var Some2 = class _Some {
@@ -465,8 +479,8 @@ function None2() {
   }
   return NONE_INSTANCE;
 }
-global.Some = Some3;
-global.None = None2;
+globalThis.Some = Some3;
+globalThis.None = None2;
 
 exports.Err = Err2;
 exports.None = None2;

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/helpers/match.ts","../src/result/__internal__/return-types/err.ts","../src/result/__internal__/return-types/ok.ts","../src/result/result.ts","../src/option/__internal__/return-types/some.ts","../src/option/__internal__/return-types/none.ts","../src/option/option.ts"],"names":["Ok","Err","Some","None"],"mappings":";;;AA4EO,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;AAI/D,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;;;AC/JjB,IAAM,GAAA,GAAN,MAAM,IAA6C,CAAA;AAAA,EAChD,KAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKR,YAAY,KAAU,EAAA;AAEpB,IAAA,IAAA,CAAK,KAAQ,GAAA,KAAA;AAAA;AAMf;AAAA;AAAA;AAAA;AAAA,EAMA,IAA0B,GAAA;AACxB,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,KAAwB,GAAA;AACtB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAgB,GAAA;AACd,IAAM,MAAA,IAAI,MAAM,+BAA+B,CAAA;AAAA;AACjD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,GAAsD,EAAA;AAC3D,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,EAA+C,EAAA;AACvD,IAAA,OAAO,IAAI,IAAA,CAAO,EAAG,CAAA,IAAA,CAAK,KAAK,CAAC,CAAA;AAAA;AAClC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,QACE,GACwB,EAAA;AACxB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,SAAe,GAAA;AACb,IAAA,OAAO,IAAK,CAAA,KAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,KAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAO,OAAA,YAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAAwB,EAAA;AACtC,IAAO,OAAA,EAAA,CAAG,KAAK,KAAK,CAAA;AAAA;AACtB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,OACE,EACwB,EAAA;AACxB,IAAO,OAAA,EAAA,CAAG,KAAK,KAAK,CAAA;AAAA;AACtB;AAAA;AAAA;AAAA;AAAA,EAMA,EAAK,GAAA;AACH,IAAA,OAAO,IAAK,EAAA;AAAA;AAEhB,CAAA;;;AClIO,IAAM,EAAA,GAAN,MAAM,GAA4C,CAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKvD,YAAoB,MAAW,EAAA;AAAX,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AAAA;AAAY;AAAA;AAAA;AAAA;AAAA,EAKhC,IAAsB,GAAA;AACpB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,KAA4B,GAAA;AAC1B,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAY,GAAA;AACV,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,EAAiD,EAAA;AACtD,IAAA,OAAO,IAAI,GAAA,CAAG,EAAG,CAAA,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA;AAC/B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,QACE,EACwB,EAAA;AACxB,IAAO,OAAA,EAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,GAAgD,EAAA;AACxD,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,SAAmB,GAAA;AACjB,IAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AAAA;AACnD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAA4B,EAAA;AAC1C,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,EAAsE,EAAA;AAC9E,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,EAAK,GAAA;AACH,IAAO,OAAA,IAAA,CAAK,KAAK,MAAM,CAAA;AAAA;AAE3B,CAAA;;;AC5GA,SAASA,IAAM,KAAqB,EAAA;AAClC,EAAO,OAAA,IAAI,GAAO,KAAK,CAAA;AACzB;AAKA,SAASC,KAAO,KAAsB,EAAA;AACpC,EAAO,OAAA,IAAI,IAAQ,KAAK,CAAA;AAC1B;AAGC,MAAA,CAAe,EAAKD,GAAAA,GAAAA;AAEpB,MAAA,CAAe,GAAMC,GAAAA,IAAAA;;;ACrBf,IAAMC,KAAAA,GAAN,MAAM,KAAQ,CAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKnB,YAAoB,MAAW,EAAA;AAAX,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AAAA;AAAa;AAAA;AAAA;AAAA;AAAA,EAMjC,MAA0B,GAAA;AACxB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAA2B,GAAA;AACzB,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAY,GAAA;AACV,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,EAAgC,EAAA;AACrC,IAAA,OAAO,IAAI,KAAA,CAAK,EAAG,CAAA,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA;AACjC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,QAAW,EAAwC,EAAA;AACjD,IAAO,OAAA,EAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,SAAS,CAAS,EAAA;AAChB,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,GAAiB,EAAA;AAC/B,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAQ,MAAW,EAAA;AACjB,IAAOF,OAAAA,GAAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,OAAO,SAA6C,EAAA;AAClD,IAAA,OAAO,SAAU,CAAA,IAAA,CAAK,MAAM,CAAA,GAAI,OAAOG,KAAK,EAAA;AAAA;AAEhD,CAAA;;;AClGO,IAAMA,QAAN,MAAW;AAAA;AAAA;AAAA;AAAA;AAAA,EAKhB,MAA8B,GAAA;AAC5B,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAuB,GAAA;AACrB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAgB,GAAA;AACd,IAAM,MAAA,IAAI,MAAM,+BAA+B,CAAA;AAAA;AACjD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAmB,GAAA;AACjB,IAAO,OAAA,MAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,GAAqC,EAAA;AAC1C,IAAA,OAAOA,KAAY,EAAA;AAAA;AACrB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,QAAW,GAA6C,EAAA;AACtD,IAAA,OAAOA,KAAY,EAAA;AAAA;AACrB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAO,OAAA,YAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAAgB,EAAA;AAC9B,IAAA,OAAO,EAAG,EAAA;AAAA;AACZ;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAQ,KAAU,EAAA;AAChB,IAAA,OAAOF,KAAI,KAAK,CAAA;AAAA;AAClB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,OAAU,UAAkD,EAAA;AAC1D,IAAA,OAAOE,KAAY,EAAA;AAAA;AAEvB,CAAA;;;ACrFA,SAASD,MAAQ,KAAuB,EAAA;AACvC,EAAO,OAAA,IAAIA,MAAS,KAAK,CAAA;AAC1B;AAEA,IAAI,aAAiC,GAAA,IAAA;AAWrC,SAASC,KAAiB,GAAA;AACzB,EAAA,IAAI,CAAC,aAAe,EAAA;AACnB,IAAA,aAAA,GAAgB,IAAIA,KAAS,EAAA;AAAA;AAE9B,EAAO,OAAA,aAAA;AACR;AAEC,MAAA,CAAe,IAAOD,GAAAA,KAAAA;AACtB,MAAA,CAAe,IAAOC,GAAAA,KAAAA","file":"index.cjs","sourcesContent":["import type { Option } from \"../option\";\nimport type { Result } from \"../result\";\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 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// 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// 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  // 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","import type { Ok } from \"./ok\";\nimport type { ResultDefinition } from \"./result\";\n\n/**\n * Represents a failed result (`Err`) that contains an error value.\n * @template E The type of the error contained in this `Err`. Can be any type (Error, string, enum, etc).\n */\nexport class Err<E> implements ResultDefinition<never, E> {\n  private error: E;\n  /**\n   * Creates a new `Err` instance with the given error value.\n   * @param error The error to wrap in the `Err` instance. Can be any type.\n   */\n  constructor(error: E) {\n    // Store error as-is - conversion is handled by factory function\n    this.error = error;\n    // Object.setPrototypeOf(this, Err.prototype);\n    //\n    // if (Error.captureStackTrace) {\n    //   Error.captureStackTrace(this, Err);\n    // }\n  }\n\n  /**\n   * Checks if this result is an `Ok`.\n   * @returns `false` because this is an `Err`.\n   */\n  isOk(): this is Ok<never> {\n    return false;\n  }\n\n  /**\n   * Checks if this result is an `Err`.\n   * @returns `true` because this is an `Err`.\n   */\n  isErr(): this is Err<E> {\n    return true;\n  }\n\n  /**\n   * Retrieves the value contained in this result. Since this is an `Err`, an error is thrown.\n   * @throws An error because `unwrap` is called on an `Err`.\n   */\n  unwrap(): never {\n    throw new Error(\"Called unwrap on an Err value\");\n  }\n\n  /**\n   * Maps the value (if any). Since this is an `Err`, the mapping function is ignored, and the original `Err` is returned.\n   * @template U The type of the value (ignored for `Err`).\n   * @param _fn The mapping function for values (not used).\n   * @returns The original `Err` instance.\n   */\n  map<U>(_fn: (value: never) => U): ResultDefinition<never, E> {\n    return this as unknown as ResultDefinition<never, E>;\n  }\n\n  /**\n   * Maps the error value using a transformation function and returns a new `Result` with the transformed error.\n   * @template U The type of the transformed error. Can be any type.\n   * @param fn The transformation function to apply to the error value.\n   * @returns A new `Err` containing the transformed error.\n   */\n  mapErr<U>(fn: (err: E) => U): ResultDefinition<never, U> {\n    return new Err<U>(fn(this.error)) as unknown as ResultDefinition<never, U>;\n  }\n\n  /**\n   * Applies a transformation function that returns a `Result` to the value (which does not exist) of this `Err`.\n   * @template U The type of the value in the resulting `Result`.\n   * @template F The type of the error in the resulting `Result`.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The original `Err` instance cast to the new error type.\n   */\n  flatMap<U, F = E>(\n    _fn: (value: never) => ResultDefinition<U, F>,\n  ): ResultDefinition<U, E> {\n    return this as unknown as ResultDefinition<U, E>;\n  }\n\n  /**\n   * Retrieves the error value contained in this `Err`.\n   * @returns The error value contained in this `Err`.\n   */\n  unwrapErr(): E {\n    return this.error;\n  }\n\n  /**\n   * Returns the inner error. After an `isErr()` type guard, TypeScript narrows the return type to `E`.\n   * Without a type guard, returns `T | E` (use `isOk()` or `isErr()` for type narrowing).\n   * @returns The error value contained in this `Err`.\n   */\n  value(): E {\n    return this.error;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise returns the provided default value.\n   * @template U The type of the default value.\n   * @param defaultValue The value to return since this is an `Err`.\n   * @returns The provided default value.\n   */\n  unwrapOr<U>(defaultValue: U): U {\n    return defaultValue;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise computes and returns the result of the provided function.\n   * @template U The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The result of calling the provided function with the error.\n   */\n  unwrapOrElse<U>(fn: (error: E) => U): U {\n    return fn(this.error);\n  }\n\n  /**\n   * Returns this `Err` if it is `Err`, otherwise returns the result of the provided function.\n   * @template T The type of the alternative success value.\n   * @template F The type of the alternative error.\n   * @param fn The function to compute the alternative result.\n   * @returns The result of calling the provided function with the error.\n   */\n  orElse<T, F>(\n    fn: (error: E) => ResultDefinition<T, F>,\n  ): ResultDefinition<T, F> {\n    return fn(this.error);\n  }\n\n  /**\n   * Converts `Result` type to `Option` type.\n   * @returns `Some` if the result is `Ok`, `None` if the result is `Err`.\n   */\n  ok() {\n    return None();\n  }\n}\n","import type { ResultDefinition } from \"./result\";\nimport type { Err } from \"./err\";\n\n/**\n * Represents a successful result (`Ok`) that contains a value.\n * @template T The type of the value contained in this `Ok`.\n */\nexport class Ok<T> implements ResultDefinition<T, never> {\n  /**\n   * Creates a new `Ok` instance with the given value.\n   * @param _value The value to wrap in the `Ok` instance.\n   */\n  constructor(private _value: T) {}\n  /**\n   * Checks if this result is an `Ok`.\n   * @returns `true` because this is an `Ok`.\n   */\n  isOk(): this is Ok<T> {\n    return true;\n  }\n\n  /**\n   * Checks if this result is an `Err`.\n   * @returns `false` because this is an `Ok`.\n   */\n  isErr(): this is Err<never> {\n    return false;\n  }\n\n  /**\n   * Retrieves the value contained in this `Ok`.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrap(): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the inner value. After an `isOk()` type guard, TypeScript narrows the return type to `T`.\n   * Without a type guard, returns `T | E` (use `isOk()` or `isErr()` for type narrowing).\n   * @returns The value contained in this `Ok`.\n   */\n  value(): T {\n    return this._value;\n  }\n\n  /**\n   * Applies a transformation function to the value contained in this `Ok` and returns a new `Result` with the transformed value.\n   * @template U The type of the transformed value.\n   * @param fn The transformation function to apply to the value.\n   * @returns A new `Ok` containing the transformed value.\n   */\n  map<U>(fn: (value: T) => U): ResultDefinition<U, never> {\n    return new Ok(fn(this._value)) as unknown as ResultDefinition<U, never>;\n  }\n\n  /**\n   * Applies a transformation function that returns a `Result` to the value contained in this `Ok`.\n   * @template U The type of the value in the resulting `Result`.\n   * @template E The type of the error in the resulting `Result`.\n   * @param fn The transformation function to apply to the value.\n   * @returns The result of applying the transformation function.\n   */\n  flatMap<U, E = never>(\n    fn: (value: T) => ResultDefinition<U, E>,\n  ): ResultDefinition<U, E> {\n    return fn(this._value);\n  }\n\n  /**\n   * Maps the error value (if any). Since this is an `Ok`, the error mapping function is ignored, and the original `Ok` is returned.\n   * @template U The type of the error (ignored for `Ok`). Can be any type.\n   * @param _fn The mapping function for errors (not used).\n   * @returns The original `Ok` instance.\n   */\n  mapErr<U>(_fn: (err: never) => U): ResultDefinition<T, U> {\n    return this as unknown as ResultDefinition<T, U>;\n  }\n\n  /**\n   * Retrieves the error contained in this result. Since this is an `Ok`, an error is thrown.\n   * @throws An error because `unwrapErr` is called on an `Ok`.\n   */\n  unwrapErr(): never {\n    throw new Error(\"Called unwrapErr on an Ok value\");\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise returns the provided default value.\n   * @template U The type of the default value.\n   * @param defaultValue The value to return if this is an `Err`.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrapOr<U>(defaultValue: U): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise computes and returns the result of the provided function.\n   * @template U The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrapOrElse<U>(fn: (error: never) => U): T {\n    return this._value;\n  }\n\n  /**\n   * Returns this `Ok` if it is `Ok`, otherwise returns the result of the provided function.\n   * @template F The type of the alternative error.\n   * @param fn The function to compute the alternative result.\n   * @returns The original `Ok` instance.\n   */\n  orElse<F>(fn: (error: never) => ResultDefinition<T, F>): ResultDefinition<T, F> {\n    return this as unknown as ResultDefinition<T, F>;\n  }\n\n  /**\n   * Converts `Result` type to `Option` type.\n   * @returns `Some` if the result is `Ok`, `None` if the result is `Err`.\n   */\n  ok() {\n    return Some(this._value);\n  }\n}\n","import {\n  Err as ErrType,\n  Ok as OkType,\n  type Result,\n} from \"./__internal__/return-types\";\n\n/**\n * Creates a new `Ok` instance, representing a successful result.\n * @template T The type of the value contained in the `Ok`.\n * @param value The value to wrap in the `Ok` instance.\n * @returns An `Ok` instance containing the given value.\n * @example\n * const result = Ok(42);\n * console.log(result.isOk()); // true\n * console.log(result.unwrap()); // 42\n */\nfunction Ok<T>(value: T): OkType<T> {\n  return new OkType(value);\n}\n\n/**\n * Creates an Err - strings are converted to Error, everything else preserved\n */\nfunction Err<E>(error: E): ErrType<E> {\n  return new ErrType(error);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(global as any).Ok = Ok;\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(global as any).Err = Err;\n\nexport { Err, Ok, Result, ErrType, OkType };\n","import type { None as NoneType } from \"./none\";\nimport type { Option } from \"./option\";\nimport { None } from \"../../option\";\nimport { Ok } from \"@/result\";\n\n/**\n * Represents a `Some` option, which holds a value.\n * @template T The type of the value held by this `Some` instance.\n */\nexport class Some<T> {\n  /**\n   * Creates a new `Some` option with the given value.\n   * @param _value The value to be wrapped in the `Some` option.\n   */\n  constructor(private _value: T) { }\n\n  /**\n   * Checks if this option is a `Some`.\n   * @returns `true` if this option is a `Some`, otherwise `false`.\n   */\n  isSome(): this is Some<T> {\n    return true;\n  }\n\n  /**\n   * Checks if this option is a `None`.\n   * @returns `false` because this is a `Some`.\n   */\n  isNone(): this is NoneType {\n    return false;\n  }\n\n  /**\n   * Unwraps the value held by this `Some` option.\n   * @returns The value held by this `Some` option.\n   */\n  unwrap(): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the inner value. After an `isSome()` type guard, TypeScript narrows the return type to `T`.\n   * Without a type guard, returns `T | undefined` (use `isSome()` or `isNone()` for type narrowing).\n   * @returns The value held by this `Some` option.\n   */\n  value(): T {\n    return this._value;\n  }\n\n  /**\n   * Applies a transformation function to the value held by this `Some` option and returns a new `Option` with the transformed value.\n   * @template U The type of the transformed value.\n   * @param fn The transformation function to apply to the value.\n   * @returns A new `Some` option containing the transformed value.\n   */\n  map<U>(fn: (value: T) => U): Option<U> {\n    return new Some(fn(this._value));\n  }\n\n  /**\n   * Applies a transformation function that returns an `Option` to the value held by this `Some` option.\n   * @template U The type of the value in the resulting `Option`.\n   * @param fn The transformation function to apply to the value.\n   * @returns The result of applying the transformation function.\n   */\n  flatMap<U>(fn: (value: T) => Option<U>): Option<U> {\n    return fn(this._value);\n  }\n\n  /**\n   * Returns the value held by this `Some` option, ignoring the default value provided.\n   * @param _ A default value (ignored in this implementation).\n   * @returns The value held by this `Some` option.\n   */\n  unwrapOr(_: T): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the value held by this `Some` option, ignoring the function provided.\n   * @template U The type of the default value.\n   * @param _fn A function to compute the default value (ignored in this implementation).\n   * @returns The value held by this `Some` option.\n   */\n  unwrapOrElse<U>(_fn: () => U): T {\n    return this._value;\n  }\n\n  /**\n   * Converts this `Option` to a `Result`, using the provided error value if this is `None`.\n   * @template E The type of the error.\n   * @param _error The error value to use if this is `None` (ignored since this is `Some`).\n   * @returns An `Ok` result containing the value from this `Some`.\n   */\n  okOr<E>(_error: E) {\n    return Ok(this._value);\n  }\n\n  /**\n   * Filters this `Option` based on a predicate function.\n   * @param predicate The function to test the value.\n   * @returns This `Some` if the predicate returns true, otherwise `None`.\n   */\n  filter(predicate: (value: T) => boolean): Option<T> {\n    return predicate(this._value) ? this : None();\n  }\n}\n","import type { Some } from \"./some\";\nimport type { Option } from \"./option\";\nimport { None as NoneFactory } from \"../../option\";\nimport { Err } from \"@/result\";\n\n/**\n * Represents a `None` option, which holds no value.\n */\nexport class None {\n  /**\n   * Checks if this option is a `Some`.\n   * @returns `false` because this is a `None`.\n   */\n  isSome(): this is Some<never> {\n    return false;\n  }\n\n  /**\n   * Checks if this option is a `None`.\n   * @returns `true` because this is a `None`.\n   */\n  isNone(): this is None {\n    return true;\n  }\n\n  /**\n   * Attempts to unwrap the value from this `None` option.\n   * @throws An error because `None` has no value.\n   */\n  unwrap(): never {\n    throw new Error(\"Called unwrap on a None value\");\n  }\n\n  /**\n   * Returns `undefined` for a `None` option. After an `isNone()` type guard, TypeScript narrows the return type to `undefined`.\n   * Without a type guard, returns `T | undefined` (use `isSome()` or `isNone()` for type narrowing).\n   * Unlike `unwrap()`, this method does not throw an error.\n   * @returns `undefined` because this is a `None`.\n   */\n  value(): undefined {\n    return undefined;\n  }\n\n  /**\n   * Applies a transformation function to the value (which does not exist) of this `None` option.\n   * @template U The type of the value that would have been returned.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The singleton `None` instance.\n   */\n  map<U>(_fn: (value: never) => U): Option<U> {\n    return NoneFactory();\n  }\n\n  /**\n   * Applies a transformation function that returns an `Option` to the value (which does not exist) of this `None` option.\n   * @template U The type of the value in the resulting `Option`.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The singleton `None` instance.\n   */\n  flatMap<U>(_fn: (value: never) => Option<U>): Option<U> {\n    return NoneFactory();\n  }\n\n  /**\n   * Returns the default value provided, since `None` has no value.\n   * @template T The type of the default value.\n   * @param defaultValue The value to return.\n   * @returns The default value provided.\n   */\n  unwrapOr<T>(defaultValue: T): T {\n    return defaultValue;\n  }\n\n  /**\n   * Computes and returns the default value using the provided function, since `None` has no value.\n   * @template T The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The result of calling the provided function.\n   */\n  unwrapOrElse<T>(fn: () => T): T {\n    return fn();\n  }\n\n  /**\n   * Converts this `Option` to a `Result`, using the provided error value since this is `None`.\n   * @template E The type of the error.\n   * @param error The error value to use.\n   * @returns An `Err` result containing the provided error.\n   */\n  okOr<E>(error: E) {\n    return Err(error);\n  }\n\n  /**\n   * Filters this `Option` based on a predicate function.\n   * @param _predicate The function to test the value (ignored since this is `None`).\n   * @returns `None` since there is no value to filter.\n   */\n  filter<T>(_predicate: (value: never) => boolean): Option<T> {\n    return NoneFactory();\n  }\n}\n","import {\n\tSome as SomeType,\n\tNone as NoneType,\n\ttype Option,\n} from \"./__internal__/return-types\";\n\n/**\n * Creates a new `Some` instance, representing an `Option` with a value.\n * @template T The type of the value contained in the `Some`.\n * @param value The value to wrap in the `Some` instance.\n * @returns A `Some` instance containing the given value.\n * @example\n * const option = Some(42);\n * console.log(option.isSome()); // true\n * console.log(option.unwrap()); // 42\n */\nfunction Some<T>(value: T): SomeType<T> {\n\treturn new SomeType(value);\n}\n\nlet NONE_INSTANCE: NoneType | null = null;\n\n/**\n * Returns the singleton `None` instance, representing an `Option` with no value.\n * Uses a singleton pattern to reduce memory allocations.\n * @returns The singleton `None` instance.\n * @example\n * const option = None();\n * console.log(option.isNone()); // true\n * console.log(option.unwrap()); // throws Error: \"Called unwrap on a None value\"\n */\nfunction None(): NoneType {\n\tif (!NONE_INSTANCE) {\n\t\tNONE_INSTANCE = new NoneType();\n\t}\n\treturn NONE_INSTANCE;\n}\n\n(global as any).Some = Some;\n(global as any).None = None;\n\nexport { None, Some, Option };\n"]}
+{"version":3,"sources":["../src/helpers/match.ts","../src/result/__internal__/return-types/err.ts","../src/result/__internal__/return-types/ok.ts","../src/result/result.ts","../src/option/__internal__/return-types/some.ts","../src/option/__internal__/return-types/none.ts","../src/option/option.ts"],"names":["Ok","Err","Some","None"],"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;;;AC1MrB,IAAM,GAAA,GAAN,MAAM,IAA6C,CAAA;AAAA,EAChD,KAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKR,YAAY,KAAU,EAAA;AAEpB,IAAA,IAAA,CAAK,KAAQ,GAAA,KAAA;AAAA;AAMf;AAAA;AAAA;AAAA;AAAA,EAMA,IAA0B,GAAA;AACxB,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,KAAwB,GAAA;AACtB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAgB,GAAA;AACd,IAAM,MAAA,IAAI,MAAM,+BAA+B,CAAA;AAAA;AACjD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,GAAsD,EAAA;AAC3D,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,EAA+C,EAAA;AACvD,IAAA,OAAO,IAAI,IAAA,CAAO,EAAG,CAAA,IAAA,CAAK,KAAK,CAAC,CAAA;AAAA;AAClC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,QACE,GACwB,EAAA;AACxB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,SAAe,GAAA;AACb,IAAA,OAAO,IAAK,CAAA,KAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,KAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAO,OAAA,YAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAAwB,EAAA;AACtC,IAAO,OAAA,EAAA,CAAG,KAAK,KAAK,CAAA;AAAA;AACtB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,OACE,EACwB,EAAA;AACxB,IAAO,OAAA,EAAA,CAAG,KAAK,KAAK,CAAA;AAAA;AACtB;AAAA;AAAA;AAAA;AAAA,EAMA,EAAK,GAAA;AACH,IAAA,OAAO,IAAK,EAAA;AAAA;AAEhB,CAAA;;;AClIO,IAAM,EAAA,GAAN,MAAM,GAA4C,CAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKvD,YAAoB,MAAW,EAAA;AAAX,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AAAA;AAAY;AAAA;AAAA;AAAA;AAAA,EAKhC,IAAsB,GAAA;AACpB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,KAA4B,GAAA;AAC1B,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAY,GAAA;AACV,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,EAAiD,EAAA;AACtD,IAAA,OAAO,IAAI,GAAA,CAAG,EAAG,CAAA,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA;AAC/B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,QACE,EACwB,EAAA;AACxB,IAAO,OAAA,EAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,GAAgD,EAAA;AACxD,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,SAAmB,GAAA;AACjB,IAAM,MAAA,IAAI,MAAM,iCAAiC,CAAA;AAAA;AACnD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAA4B,EAAA;AAC1C,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,OAAU,EAAsE,EAAA;AAC9E,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,EAAK,GAAA;AACH,IAAO,OAAA,IAAA,CAAK,KAAK,MAAM,CAAA;AAAA;AAE3B,CAAA;;;AC5GA,SAASA,IAAM,KAAqB,EAAA;AAClC,EAAO,OAAA,IAAI,GAAO,KAAK,CAAA;AACzB;AAKA,SAASC,KAAO,KAAsB,EAAA;AACpC,EAAO,OAAA,IAAI,IAAQ,KAAK,CAAA;AAC1B;AAGC,UAAA,CAAmB,EAAKD,GAAAA,GAAAA;AAExB,UAAA,CAAmB,GAAMC,GAAAA,IAAAA;;;ACrBnB,IAAMC,KAAAA,GAAN,MAAM,KAAQ,CAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKnB,YAAoB,MAAW,EAAA;AAAX,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AAAA;AAAa;AAAA;AAAA;AAAA;AAAA,EAMjC,MAA0B,GAAA;AACxB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAA2B,GAAA;AACzB,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAY,GAAA;AACV,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,KAAW,GAAA;AACT,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,EAAgC,EAAA;AACrC,IAAA,OAAO,IAAI,KAAA,CAAK,EAAG,CAAA,IAAA,CAAK,MAAM,CAAC,CAAA;AAAA;AACjC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,QAAW,EAAwC,EAAA;AACjD,IAAO,OAAA,EAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,SAAS,CAAS,EAAA;AAChB,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,GAAiB,EAAA;AAC/B,IAAA,OAAO,IAAK,CAAA,MAAA;AAAA;AACd;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAQ,MAAW,EAAA;AACjB,IAAOF,OAAAA,GAAAA,CAAG,KAAK,MAAM,CAAA;AAAA;AACvB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,OAAO,SAA6C,EAAA;AAClD,IAAA,OAAO,SAAU,CAAA,IAAA,CAAK,MAAM,CAAA,GAAI,OAAOG,KAAK,EAAA;AAAA;AAEhD,CAAA;;;AClGO,IAAMA,QAAN,MAAW;AAAA;AAAA;AAAA;AAAA;AAAA,EAKhB,MAA8B,GAAA;AAC5B,IAAO,OAAA,KAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAuB,GAAA;AACrB,IAAO,OAAA,IAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA,EAMA,MAAgB,GAAA;AACd,IAAM,MAAA,IAAI,MAAM,+BAA+B,CAAA;AAAA;AACjD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAmB,GAAA;AACjB,IAAO,OAAA,MAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAO,GAAqC,EAAA;AAC1C,IAAA,OAAOA,KAAY,EAAA;AAAA;AACrB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,QAAW,GAA6C,EAAA;AACtD,IAAA,OAAOA,KAAY,EAAA;AAAA;AACrB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,SAAY,YAAoB,EAAA;AAC9B,IAAO,OAAA,YAAA;AAAA;AACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAgB,EAAgB,EAAA;AAC9B,IAAA,OAAO,EAAG,EAAA;AAAA;AACZ;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAQ,KAAU,EAAA;AAChB,IAAA,OAAOF,KAAI,KAAK,CAAA;AAAA;AAClB;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,OAAU,UAAkD,EAAA;AAC1D,IAAA,OAAOE,KAAY,EAAA;AAAA;AAEvB,CAAA;;;ACrFA,SAASD,MAAQ,KAAuB,EAAA;AACvC,EAAO,OAAA,IAAIA,MAAS,KAAK,CAAA;AAC1B;AAEA,IAAI,aAAiC,GAAA,IAAA;AAWrC,SAASC,KAAiB,GAAA;AACzB,EAAA,IAAI,CAAC,aAAe,EAAA;AACnB,IAAA,aAAA,GAAgB,IAAIA,KAAS,EAAA;AAAA;AAE9B,EAAO,OAAA,aAAA;AACR;AAEC,UAAA,CAAmB,IAAOD,GAAAA,KAAAA;AAC1B,UAAA,CAAmB,IAAOC,GAAAA,KAAAA","file":"index.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","import type { Ok } from \"./ok\";\nimport type { ResultDefinition } from \"./result\";\n\n/**\n * Represents a failed result (`Err`) that contains an error value.\n * @template E The type of the error contained in this `Err`. Can be any type (Error, string, enum, etc).\n */\nexport class Err<E> implements ResultDefinition<never, E> {\n  private error: E;\n  /**\n   * Creates a new `Err` instance with the given error value.\n   * @param error The error to wrap in the `Err` instance. Can be any type.\n   */\n  constructor(error: E) {\n    // Store error as-is - conversion is handled by factory function\n    this.error = error;\n    // Object.setPrototypeOf(this, Err.prototype);\n    //\n    // if (Error.captureStackTrace) {\n    //   Error.captureStackTrace(this, Err);\n    // }\n  }\n\n  /**\n   * Checks if this result is an `Ok`.\n   * @returns `false` because this is an `Err`.\n   */\n  isOk(): this is Ok<never> {\n    return false;\n  }\n\n  /**\n   * Checks if this result is an `Err`.\n   * @returns `true` because this is an `Err`.\n   */\n  isErr(): this is Err<E> {\n    return true;\n  }\n\n  /**\n   * Retrieves the value contained in this result. Since this is an `Err`, an error is thrown.\n   * @throws An error because `unwrap` is called on an `Err`.\n   */\n  unwrap(): never {\n    throw new Error(\"Called unwrap on an Err value\");\n  }\n\n  /**\n   * Maps the value (if any). Since this is an `Err`, the mapping function is ignored, and the original `Err` is returned.\n   * @template U The type of the value (ignored for `Err`).\n   * @param _fn The mapping function for values (not used).\n   * @returns The original `Err` instance.\n   */\n  map<U>(_fn: (value: never) => U): ResultDefinition<never, E> {\n    return this as unknown as ResultDefinition<never, E>;\n  }\n\n  /**\n   * Maps the error value using a transformation function and returns a new `Result` with the transformed error.\n   * @template U The type of the transformed error. Can be any type.\n   * @param fn The transformation function to apply to the error value.\n   * @returns A new `Err` containing the transformed error.\n   */\n  mapErr<U>(fn: (err: E) => U): ResultDefinition<never, U> {\n    return new Err<U>(fn(this.error)) as unknown as ResultDefinition<never, U>;\n  }\n\n  /**\n   * Applies a transformation function that returns a `Result` to the value (which does not exist) of this `Err`.\n   * @template U The type of the value in the resulting `Result`.\n   * @template F The type of the error in the resulting `Result`.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The original `Err` instance cast to the new error type.\n   */\n  flatMap<U, F = E>(\n    _fn: (value: never) => ResultDefinition<U, F>,\n  ): ResultDefinition<U, E> {\n    return this as unknown as ResultDefinition<U, E>;\n  }\n\n  /**\n   * Retrieves the error value contained in this `Err`.\n   * @returns The error value contained in this `Err`.\n   */\n  unwrapErr(): E {\n    return this.error;\n  }\n\n  /**\n   * Returns the inner error. After an `isErr()` type guard, TypeScript narrows the return type to `E`.\n   * Without a type guard, returns `T | E` (use `isOk()` or `isErr()` for type narrowing).\n   * @returns The error value contained in this `Err`.\n   */\n  value(): E {\n    return this.error;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise returns the provided default value.\n   * @template U The type of the default value.\n   * @param defaultValue The value to return since this is an `Err`.\n   * @returns The provided default value.\n   */\n  unwrapOr<U>(defaultValue: U): U {\n    return defaultValue;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise computes and returns the result of the provided function.\n   * @template U The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The result of calling the provided function with the error.\n   */\n  unwrapOrElse<U>(fn: (error: E) => U): U {\n    return fn(this.error);\n  }\n\n  /**\n   * Returns this `Err` if it is `Err`, otherwise returns the result of the provided function.\n   * @template T The type of the alternative success value.\n   * @template F The type of the alternative error.\n   * @param fn The function to compute the alternative result.\n   * @returns The result of calling the provided function with the error.\n   */\n  orElse<T, F>(\n    fn: (error: E) => ResultDefinition<T, F>,\n  ): ResultDefinition<T, F> {\n    return fn(this.error);\n  }\n\n  /**\n   * Converts `Result` type to `Option` type.\n   * @returns `Some` if the result is `Ok`, `None` if the result is `Err`.\n   */\n  ok() {\n    return None();\n  }\n}\n","import type { ResultDefinition } from \"./result\";\nimport type { Err } from \"./err\";\n\n/**\n * Represents a successful result (`Ok`) that contains a value.\n * @template T The type of the value contained in this `Ok`.\n */\nexport class Ok<T> implements ResultDefinition<T, never> {\n  /**\n   * Creates a new `Ok` instance with the given value.\n   * @param _value The value to wrap in the `Ok` instance.\n   */\n  constructor(private _value: T) {}\n  /**\n   * Checks if this result is an `Ok`.\n   * @returns `true` because this is an `Ok`.\n   */\n  isOk(): this is Ok<T> {\n    return true;\n  }\n\n  /**\n   * Checks if this result is an `Err`.\n   * @returns `false` because this is an `Ok`.\n   */\n  isErr(): this is Err<never> {\n    return false;\n  }\n\n  /**\n   * Retrieves the value contained in this `Ok`.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrap(): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the inner value. After an `isOk()` type guard, TypeScript narrows the return type to `T`.\n   * Without a type guard, returns `T | E` (use `isOk()` or `isErr()` for type narrowing).\n   * @returns The value contained in this `Ok`.\n   */\n  value(): T {\n    return this._value;\n  }\n\n  /**\n   * Applies a transformation function to the value contained in this `Ok` and returns a new `Result` with the transformed value.\n   * @template U The type of the transformed value.\n   * @param fn The transformation function to apply to the value.\n   * @returns A new `Ok` containing the transformed value.\n   */\n  map<U>(fn: (value: T) => U): ResultDefinition<U, never> {\n    return new Ok(fn(this._value)) as unknown as ResultDefinition<U, never>;\n  }\n\n  /**\n   * Applies a transformation function that returns a `Result` to the value contained in this `Ok`.\n   * @template U The type of the value in the resulting `Result`.\n   * @template E The type of the error in the resulting `Result`.\n   * @param fn The transformation function to apply to the value.\n   * @returns The result of applying the transformation function.\n   */\n  flatMap<U, E = never>(\n    fn: (value: T) => ResultDefinition<U, E>,\n  ): ResultDefinition<U, E> {\n    return fn(this._value);\n  }\n\n  /**\n   * Maps the error value (if any). Since this is an `Ok`, the error mapping function is ignored, and the original `Ok` is returned.\n   * @template U The type of the error (ignored for `Ok`). Can be any type.\n   * @param _fn The mapping function for errors (not used).\n   * @returns The original `Ok` instance.\n   */\n  mapErr<U>(_fn: (err: never) => U): ResultDefinition<T, U> {\n    return this as unknown as ResultDefinition<T, U>;\n  }\n\n  /**\n   * Retrieves the error contained in this result. Since this is an `Ok`, an error is thrown.\n   * @throws An error because `unwrapErr` is called on an `Ok`.\n   */\n  unwrapErr(): never {\n    throw new Error(\"Called unwrapErr on an Ok value\");\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise returns the provided default value.\n   * @template U The type of the default value.\n   * @param defaultValue The value to return if this is an `Err`.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrapOr<U>(defaultValue: U): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the contained value if `Ok`, otherwise computes and returns the result of the provided function.\n   * @template U The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The value contained in this `Ok`.\n   */\n  unwrapOrElse<U>(fn: (error: never) => U): T {\n    return this._value;\n  }\n\n  /**\n   * Returns this `Ok` if it is `Ok`, otherwise returns the result of the provided function.\n   * @template F The type of the alternative error.\n   * @param fn The function to compute the alternative result.\n   * @returns The original `Ok` instance.\n   */\n  orElse<F>(fn: (error: never) => ResultDefinition<T, F>): ResultDefinition<T, F> {\n    return this as unknown as ResultDefinition<T, F>;\n  }\n\n  /**\n   * Converts `Result` type to `Option` type.\n   * @returns `Some` if the result is `Ok`, `None` if the result is `Err`.\n   */\n  ok() {\n    return Some(this._value);\n  }\n}\n","import {\n  Err as ErrType,\n  Ok as OkType,\n  type Result,\n} from \"./__internal__/return-types\";\n\n/**\n * Creates a new `Ok` instance, representing a successful result.\n * @template T The type of the value contained in the `Ok`.\n * @param value The value to wrap in the `Ok` instance.\n * @returns An `Ok` instance containing the given value.\n * @example\n * const result = Ok(42);\n * console.log(result.isOk()); // true\n * console.log(result.unwrap()); // 42\n */\nfunction Ok<T>(value: T): OkType<T> {\n  return new OkType(value);\n}\n\n/**\n * Creates an Err - strings are converted to Error, everything else preserved\n */\nfunction Err<E>(error: E): ErrType<E> {\n  return new ErrType(error);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).Ok = Ok;\n// biome-ignore lint/suspicious/noExplicitAny: <explanation>\n(globalThis as any).Err = Err;\n\nexport { Err, Ok, Result, ErrType, OkType };\n","import type { None as NoneType } from \"./none\";\nimport type { Option } from \"./option\";\nimport { None } from \"../../option\";\nimport { Ok } from \"@/result\";\n\n/**\n * Represents a `Some` option, which holds a value.\n * @template T The type of the value held by this `Some` instance.\n */\nexport class Some<T> {\n  /**\n   * Creates a new `Some` option with the given value.\n   * @param _value The value to be wrapped in the `Some` option.\n   */\n  constructor(private _value: T) { }\n\n  /**\n   * Checks if this option is a `Some`.\n   * @returns `true` if this option is a `Some`, otherwise `false`.\n   */\n  isSome(): this is Some<T> {\n    return true;\n  }\n\n  /**\n   * Checks if this option is a `None`.\n   * @returns `false` because this is a `Some`.\n   */\n  isNone(): this is NoneType {\n    return false;\n  }\n\n  /**\n   * Unwraps the value held by this `Some` option.\n   * @returns The value held by this `Some` option.\n   */\n  unwrap(): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the inner value. After an `isSome()` type guard, TypeScript narrows the return type to `T`.\n   * Without a type guard, returns `T | undefined` (use `isSome()` or `isNone()` for type narrowing).\n   * @returns The value held by this `Some` option.\n   */\n  value(): T {\n    return this._value;\n  }\n\n  /**\n   * Applies a transformation function to the value held by this `Some` option and returns a new `Option` with the transformed value.\n   * @template U The type of the transformed value.\n   * @param fn The transformation function to apply to the value.\n   * @returns A new `Some` option containing the transformed value.\n   */\n  map<U>(fn: (value: T) => U): Option<U> {\n    return new Some(fn(this._value));\n  }\n\n  /**\n   * Applies a transformation function that returns an `Option` to the value held by this `Some` option.\n   * @template U The type of the value in the resulting `Option`.\n   * @param fn The transformation function to apply to the value.\n   * @returns The result of applying the transformation function.\n   */\n  flatMap<U>(fn: (value: T) => Option<U>): Option<U> {\n    return fn(this._value);\n  }\n\n  /**\n   * Returns the value held by this `Some` option, ignoring the default value provided.\n   * @param _ A default value (ignored in this implementation).\n   * @returns The value held by this `Some` option.\n   */\n  unwrapOr(_: T): T {\n    return this._value;\n  }\n\n  /**\n   * Returns the value held by this `Some` option, ignoring the function provided.\n   * @template U The type of the default value.\n   * @param _fn A function to compute the default value (ignored in this implementation).\n   * @returns The value held by this `Some` option.\n   */\n  unwrapOrElse<U>(_fn: () => U): T {\n    return this._value;\n  }\n\n  /**\n   * Converts this `Option` to a `Result`, using the provided error value if this is `None`.\n   * @template E The type of the error.\n   * @param _error The error value to use if this is `None` (ignored since this is `Some`).\n   * @returns An `Ok` result containing the value from this `Some`.\n   */\n  okOr<E>(_error: E) {\n    return Ok(this._value);\n  }\n\n  /**\n   * Filters this `Option` based on a predicate function.\n   * @param predicate The function to test the value.\n   * @returns This `Some` if the predicate returns true, otherwise `None`.\n   */\n  filter(predicate: (value: T) => boolean): Option<T> {\n    return predicate(this._value) ? this : None();\n  }\n}\n","import type { Some } from \"./some\";\nimport type { Option } from \"./option\";\nimport { None as NoneFactory } from \"../../option\";\nimport { Err } from \"@/result\";\n\n/**\n * Represents a `None` option, which holds no value.\n */\nexport class None {\n  /**\n   * Checks if this option is a `Some`.\n   * @returns `false` because this is a `None`.\n   */\n  isSome(): this is Some<never> {\n    return false;\n  }\n\n  /**\n   * Checks if this option is a `None`.\n   * @returns `true` because this is a `None`.\n   */\n  isNone(): this is None {\n    return true;\n  }\n\n  /**\n   * Attempts to unwrap the value from this `None` option.\n   * @throws An error because `None` has no value.\n   */\n  unwrap(): never {\n    throw new Error(\"Called unwrap on a None value\");\n  }\n\n  /**\n   * Returns `undefined` for a `None` option. After an `isNone()` type guard, TypeScript narrows the return type to `undefined`.\n   * Without a type guard, returns `T | undefined` (use `isSome()` or `isNone()` for type narrowing).\n   * Unlike `unwrap()`, this method does not throw an error.\n   * @returns `undefined` because this is a `None`.\n   */\n  value(): undefined {\n    return undefined;\n  }\n\n  /**\n   * Applies a transformation function to the value (which does not exist) of this `None` option.\n   * @template U The type of the value that would have been returned.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The singleton `None` instance.\n   */\n  map<U>(_fn: (value: never) => U): Option<U> {\n    return NoneFactory();\n  }\n\n  /**\n   * Applies a transformation function that returns an `Option` to the value (which does not exist) of this `None` option.\n   * @template U The type of the value in the resulting `Option`.\n   * @param _fn The transformation function (ignored in this implementation).\n   * @returns The singleton `None` instance.\n   */\n  flatMap<U>(_fn: (value: never) => Option<U>): Option<U> {\n    return NoneFactory();\n  }\n\n  /**\n   * Returns the default value provided, since `None` has no value.\n   * @template T The type of the default value.\n   * @param defaultValue The value to return.\n   * @returns The default value provided.\n   */\n  unwrapOr<T>(defaultValue: T): T {\n    return defaultValue;\n  }\n\n  /**\n   * Computes and returns the default value using the provided function, since `None` has no value.\n   * @template T The type of the default value.\n   * @param fn The function to compute the default value.\n   * @returns The result of calling the provided function.\n   */\n  unwrapOrElse<T>(fn: () => T): T {\n    return fn();\n  }\n\n  /**\n   * Converts this `Option` to a `Result`, using the provided error value since this is `None`.\n   * @template E The type of the error.\n   * @param error The error value to use.\n   * @returns An `Err` result containing the provided error.\n   */\n  okOr<E>(error: E) {\n    return Err(error);\n  }\n\n  /**\n   * Filters this `Option` based on a predicate function.\n   * @param _predicate The function to test the value (ignored since this is `None`).\n   * @returns `None` since there is no value to filter.\n   */\n  filter<T>(_predicate: (value: never) => boolean): Option<T> {\n    return NoneFactory();\n  }\n}\n","import {\n\tSome as SomeType,\n\tNone as NoneType,\n\ttype Option,\n} from \"./__internal__/return-types\";\n\n/**\n * Creates a new `Some` instance, representing an `Option` with a value.\n * @template T The type of the value contained in the `Some`.\n * @param value The value to wrap in the `Some` instance.\n * @returns A `Some` instance containing the given value.\n * @example\n * const option = Some(42);\n * console.log(option.isSome()); // true\n * console.log(option.unwrap()); // 42\n */\nfunction Some<T>(value: T): SomeType<T> {\n\treturn new SomeType(value);\n}\n\nlet NONE_INSTANCE: NoneType | null = null;\n\n/**\n * Returns the singleton `None` instance, representing an `Option` with no value.\n * Uses a singleton pattern to reduce memory allocations.\n * @returns The singleton `None` instance.\n * @example\n * const option = None();\n * console.log(option.isNone()); // true\n * console.log(option.unwrap()); // throws Error: \"Called unwrap on a None value\"\n */\nfunction None(): NoneType {\n\tif (!NONE_INSTANCE) {\n\t\tNONE_INSTANCE = new NoneType();\n\t}\n\treturn NONE_INSTANCE;\n}\n\n(globalThis as any).Some = Some;\n(globalThis as any).None = None;\n\nexport { None, Some, Option };\n"]}

package/dist/index.js

@@ -10,6 +10,20 @@ function match(matcher, cases, discriminant) {
     }
     throw new Error(`No case found for value: ${String(matcher)}`);
   }
+  if (typeof matcher === "object" && matcher !== null && !discriminant) {
+    for (const key in cases) {
+      if (key === "default") continue;
+      if (key in matcher) {
+        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];
@@ -41,7 +55,7 @@ function match(matcher, cases, discriminant) {
   }
   throw new Error("Invalid matcher or missing case");
 }
-global.match = match;
+globalThis.match = match;
 
 // src/result/__internal__/return-types/err.ts
 var Err = class _Err {
@@ -270,8 +284,8 @@ function Ok2(value) {
 function Err2(error) {
   return new Err(error);
 }
-global.Ok = Ok2;
-global.Err = Err2;
+globalThis.Ok = Ok2;
+globalThis.Err = Err2;
 
 // src/option/__internal__/return-types/some.ts
 var Some2 = class _Some {
@@ -463,8 +477,8 @@ function None2() {
   }
   return NONE_INSTANCE;
 }
-global.Some = Some3;
-global.None = None2;
+globalThis.Some = Some3;
+globalThis.None = None2;
 
 export { Err2 as Err, None2 as None, Ok2 as Ok, Some3 as Some, match };
 //# sourceMappingURL=index.js.map