@grahlnn/fn 0.1.0

package/LICENSE

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

package/README.md

@@ -0,0 +1,21 @@
+# matchable
+
+Tiny, type-safe helpers for matching enums, unions, and objects.
+
+## Install
+```bash
+bun add @grahlnn/matchable
+```
+
+## Usage
+```ts
+import { me } from "@grahlnn/matchable";
+
+const status = me<"idle" | "loading" | "error">("loading");
+
+const label = status.match({
+  idle: () => "Idle",
+  loading: () => "Loading",
+  _: () => "Error",
+});
+```

package/dist/comb.d.ts

@@ -0,0 +1,13 @@
+export declare const I: <T>(x: T) => T;
+export declare const K: <T, U>(x: T) => (_?: U) => T;
+export declare const S: <A, B, C>(x: (a: A) => (b: B) => C) => (y: (a: A) => B) => (z: A) => C;
+export declare const B: <A, B, C>(g: (a: A) => B) => (f: (b: B) => C) => (x: A) => C;
+export declare const C: <A, B, C>(f: (a: A) => (b: B) => C) => (b: B) => (a: A) => C;
+export declare const W: <A, B>(f: (a: A) => (b: A) => B) => (x: A) => B;
+export declare const T: <A, B>(x: A) => (f: (a: A) => B) => B;
+export declare const call0: <R>(f: () => R) => R;
+export declare function vec(): never[];
+export declare function udf(): undefined;
+export declare function set(): {};
+export declare function nul(): null;
+//# sourceMappingURL=comb.d.ts.map

package/dist/comb.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comb.d.ts","sourceRoot":"","sources":["../src/comb.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,CAAC,GAAI,CAAC,EAAE,GAAG,CAAC,KAAG,CAAM,CAAC;AACnC,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MACV,IAAI,CAAC,KAAG,CACN,CAAC;AACN,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACjC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACd,GAAG,CAAC,KAAG,CACI,CAAC;AAMf,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACvB,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACd,GAAG,CAAC,KAAG,CACC,CAAC;AAEZ,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACjC,GAAG,CAAC,MACJ,GAAG,CAAC,KAAG,CACC,CAAC;AAEZ,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAC9B,GAAG,CAAC,KAAG,CACC,CAAC;AAEZ,eAAO,MAAM,CAAC,GACX,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MACV,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CACZ,CAAC;AAET,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,GAAG,MAAM,CAAC,KAAG,CAAQ,CAAC;AAE/C,wBAAgB,GAAG,YAElB;AAED,wBAAgB,GAAG,cAElB;AAED,wBAAgB,GAAG,OAElB;AAED,wBAAgB,GAAG,SAElB"}

package/dist/comb.js

@@ -0,0 +1,25 @@
+export const I = (x) => x;
+export const K = (x) => (_) => x;
+export const S = (x) => (y) => (z) => x(z)(y(z));
+// export const B =
+//   <A, B, C>(f: (b: B) => C) =>
+//   (g: (a: A) => B) =>
+//   (x: A): C =>
+//     f(g(x));
+export const B = (g) => (f) => (x) => f(g(x));
+export const C = (f) => (b) => (a) => f(a)(b);
+export const W = (f) => (x) => f(x)(x);
+export const T = (x) => (f) => f(x);
+export const call0 = (f) => f();
+export function vec() {
+    return [];
+}
+export function udf() {
+    return undefined;
+}
+export function set() {
+    return {};
+}
+export function nul() {
+    return null;
+}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./matchable.js";
+export * from "./comb.js";
+export * from "./result.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export * from "./matchable.js";
+export * from "./comb.js";
+export * from "./result.js";

package/dist/matchable.d.ts

@@ -0,0 +1,83 @@
+type Nil = null | undefined;
+type ToRecordKey<T> = T extends boolean ? `${T}` : T extends string | number ? T : never;
+type Handler<R, V = any> = {
+    bivarianceHack(v: V): R;
+}["bivarianceHack"];
+type RequireAll<T extends string | number | boolean, R> = Record<ToRecordKey<T>, Handler<R>>;
+type RequireDefault<T extends string | number | boolean, R> = (Partial<Record<ToRecordKey<T>, Handler<R>>> & {
+    _: Handler<R>;
+}) | RequireAll<T, R>;
+type MatchableEnum<T extends string | number | boolean> = {
+    __recognizer__: "enum";
+    value: T | Nil;
+    value_or(fallback: T): T;
+    value_or<F>(fallback: F): T | F;
+    value_or_else(fallback: () => T): T;
+    value_or_else<F>(fallback: () => F): T | F;
+    match<R>(handlers: RequireDefault<T, R>): R;
+    is(v: T): v is T;
+    not(v: T): v is T;
+    in(v: Array<T>): boolean;
+    not_in(v: Array<T>): boolean;
+    into(): <R>(fn: Handler<R>) => R | null;
+    catch<L extends Array<T>>(...arr_branch: L): <R>(fn: Handler<R>) => R | null;
+};
+type VariantTag<T> = T extends any ? keyof T : never;
+type FullHandlers<T, R> = {
+    [K in VariantTag<T>]: (payload: Extract<T, Record<K, any>>[K]) => R;
+};
+type DefaultHandlers<T, R> = (Partial<FullHandlers<T, R>> & {
+    _: (p: T[keyof T]) => R;
+}) | FullHandlers<T, R>;
+type MatchableUnion<T extends Record<string, any>> = {
+    [K in VariantTag<T>]: {
+        __recognizer__: "union";
+        tag: K;
+        value: Extract<T, Record<K, any>>[K] | Nil;
+        match<R>(h: DefaultHandlers<T, R>): R;
+        is<L extends VariantTag<T>>(l: L): this is Extract<MatchableUnion<T>, {
+            tag: L;
+        }>;
+        not<L extends VariantTag<T>>(l: L): this is Extract<MatchableUnion<T>, {
+            tag: L;
+        }>;
+        in(arr: Array<VariantTag<T>>): boolean;
+        not_in(arr: Array<VariantTag<T>>): boolean;
+        into(): <R>(fn: (payload: Extract<T, Record<K, any>>[K]) => R) => R | null;
+        catch<K extends Array<VariantTag<T>>>(...arr_branch: K): <R>(fn: (payload: Extract<T, Record<K[number], any>>[K[number]]) => R) => R | null;
+    };
+}[VariantTag<T>];
+declare const emptyMatchable: {
+    __recognizer__: string;
+    value: null;
+    value_or: <T>(x: T) => T;
+    value_or_else: <R>(f: () => R) => R;
+    match: (_?: unknown) => null;
+    is: (_?: unknown) => boolean;
+    not: (_?: unknown) => boolean;
+    catch: (_?: unknown) => (_?: unknown) => null;
+    not_in: (_?: unknown) => boolean;
+    into: (_?: unknown) => (_?: unknown) => null;
+    in: (_?: unknown) => boolean;
+};
+type EmptyMatchable = typeof emptyMatchable;
+type MatchableObj<T extends Record<string, any>> = {
+    __recognizer__: "object";
+    value: T;
+    into(): <R>(fn: (props: T) => R) => R | null;
+    catch<KS extends readonly (keyof T)[]>(...keys: KS): <R>(fn: (props: {
+        [P in KS[number]]: NonNullable<T[P]>;
+    }) => R) => R | null;
+};
+type IsUnion<T, U = T> = T extends any ? [U] extends [T] ? false : true : never;
+type IsSingleKeyObj<O extends Record<string, any>> = IsUnion<keyof O> extends true ? false : true;
+type IsUnionOfSingleKey<U extends Record<string, any>> = (U extends any ? IsSingleKeyObj<U> : never) extends false ? false : true;
+type MatchableError<T> = {
+    __matchable_error__: `❌ match() only supports string | number | boolean | Record<string, any>, but got: ${Extract<T, string | number | bigint | boolean | null | undefined>}`;
+    value: T;
+};
+type _MatchableCore<T> = [T] extends [string | number | boolean] ? MatchableEnum<T> : [T] extends [Record<string, any>] ? IsUnionOfSingleKey<T> extends true ? MatchableUnion<T> : MatchableObj<T> : MatchableError<T>;
+export type ME<T> = ([T] extends [null] ? EmptyMatchable : never) | ([T] extends [undefined] ? EmptyMatchable : never) | _MatchableCore<NonNullable<T>>;
+export declare function me<T extends string | number | boolean | Record<string, any> | null | undefined>(value: T): ME<T>;
+export {};
+//# sourceMappingURL=matchable.d.ts.map

package/dist/matchable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matchable.d.ts","sourceRoot":"","sources":["../src/matchable.ts"],"names":[],"mappings":"AAGA,KAAK,GAAG,GAAG,IAAI,GAAG,SAAS,CAAC;AAC5B,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACnC,GAAG,CAAC,EAAE,GACN,CAAC,SAAS,MAAM,GAAG,MAAM,GACvB,CAAC,GACD,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,IAAI;IACzB,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;CACzB,CAAC,gBAAgB,CAAC,CAAC;AAEpB,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,IAAI,MAAM,CAC9D,WAAW,CAAC,CAAC,CAAC,EACd,OAAO,CAAC,CAAC,CAAC,CACX,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,IACtD,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,GACjE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAErB,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,IAAI;IACxD,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC;IACf,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACpC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;IACzB,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;IAC7B,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACxC,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;CAC9E,CAAC;AAgDF,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC;AAErD,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI;KACvB,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;CACpE,CAAC;AACF,KAAK,eAAe,CAAC,CAAC,EAAE,CAAC,IACrB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC,GAC3D,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEvB,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAClD,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG;QACpB,cAAc,EAAE,OAAO,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC;QACP,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QAE3C,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC,EAAE,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EACxB,CAAC,EAAE,CAAC,GACH,IAAI,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE;YAAE,GAAG,EAAE,CAAC,CAAA;SAAE,CAAC,CAAC;QAClD,GAAG,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EACzB,CAAC,EAAE,CAAC,GACH,IAAI,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE;YAAE,GAAG,EAAE,CAAC,CAAA;SAAE,CAAC,CAAC;QAClD,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QACvC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QAC3C,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC3E,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAClC,GAAG,UAAU,EAAE,CAAC,GACf,CAAC,CAAC,EACH,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAC9D,CAAC,GAAG,IAAI,CAAC;KACf;CACF,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAoDjB,QAAA,MAAM,cAAc;;;;;;;;;;;;CAYnB,CAAC;AAEF,KAAK,cAAc,GAAG,OAAO,cAAc,CAAC;AAE5C,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;IACjD,cAAc,EAAE,QAAQ,CAAC;IACzB,KAAK,EAAE,CAAC,CAAC;IACT,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IAC7C,KAAK,CAAC,EAAE,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACnC,GAAG,IAAI,EAAE,EAAE,GACV,CAAC,CAAC,EACH,EAAE,EAAE,CAAC,KAAK,EAAE;SAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,CAAC,KACvD,CAAC,GAAG,IAAI,CAAC;CACf,CAAC;AAsBF,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAC/C,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC;AAG/C,KAAK,kBAAkB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAEnD,CAAC,CAAC,SAAS,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAE3E,KAAK,cAAc,CAAC,CAAC,IAAI;IACvB,mBAAmB,EAAE,qFAAqF,OAAO,CAC/G,CAAC,EACD,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CACtD,EAAE,CAAC;IACJ,KAAK,EAAE,CAAC,CAAC;CACV,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAC5D,aAAa,CAAC,CAAC,CAAC,GAChB,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAC/B,kBAAkB,CAAC,CAAC,CAAC,SAAS,IAAI,GAChC,cAAc,CAAC,CAAC,CAAC,GACjB,YAAY,CAAC,CAAC,CAAC,GACjB,cAAc,CAAC,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,EAAE,CAAC,CAAC,IACZ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,cAAc,GAAG,KAAK,CAAC,GAC7C,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,cAAc,GAAG,KAAK,CAAC,GAClD,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnC,wBAAgB,EAAE,CAChB,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5E,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC"}

package/dist/matchable.js

@@ -0,0 +1,125 @@
+import isEqual from "fast-deep-equal";
+import { call0, I, K } from "./comb.js";
+function matchableEnum(value) {
+    return {
+        __recognizer__: "enum",
+        value,
+        value_or(fallback) {
+            return value ?? fallback;
+        },
+        value_or_else(fallback) {
+            return value ?? fallback();
+        },
+        match(h) {
+            // 运行时：boolean 转成 "true"/"false"
+            const k = (typeof value === "boolean" ? String(value) : value);
+            const handler = (k in h ? h[k] : h._);
+            return handler(value);
+        },
+        is: (v) => value === v,
+        not: (v) => value !== v,
+        in(arr) {
+            return value != null ? arr.includes(value) : false;
+        },
+        not_in(arr) {
+            return !this.in(arr);
+        },
+        into() {
+            const self = this;
+            return function (fn) {
+                return fn(self.value);
+            };
+        },
+        catch(...arr_branch) {
+            const self = this;
+            return function (fn) {
+                return self.in(arr_branch) ? fn(self.value) : null;
+            };
+        },
+    };
+}
+function matchableUnion(value) {
+    const tag = Object.keys(value)[0];
+    const payload = value[tag];
+    return {
+        __recognizer__: "union",
+        tag,
+        value: payload,
+        match(h) {
+            const fn = h[tag] ??
+                h._;
+            return fn(payload);
+        },
+        is(l) {
+            return l === tag;
+        },
+        not(l) {
+            return l !== tag;
+        },
+        in(arr) {
+            return arr.includes(tag);
+        },
+        not_in(arr) {
+            return !this.in(arr);
+        },
+        into() {
+            const self = this;
+            return function (fn) {
+                return self.value && !isEqual(self.value, []) ? fn(self.value) : null;
+            };
+        },
+        catch(...arr_branch) {
+            const self = this;
+            return function (fn) {
+                return self.in(arr_branch) && self.value && !isEqual(self.value, [])
+                    ? fn(self.value)
+                    : null;
+            };
+        },
+    };
+}
+const emptyMatchable = {
+    __recognizer__: "empty",
+    value: null,
+    value_or: I,
+    value_or_else: call0,
+    match: K(null),
+    is: K(false),
+    not: K(false),
+    catch: K(K(null)),
+    not_in: K(false),
+    into: K(K(null)),
+    in: K(false),
+};
+function matchableObj(value) {
+    return {
+        __recognizer__: "object",
+        value,
+        into() {
+            return (fn) => {
+                return fn(value);
+            };
+        },
+        catch(...keys) {
+            return (fn) => {
+                if (keys.some((k) => !value[k]))
+                    return null;
+                const picked = {};
+                for (const k of keys)
+                    picked[k] = value[k];
+                return fn(picked);
+            };
+        },
+    };
+}
+export function me(value) {
+    if (value == null)
+        return emptyMatchable;
+    if (["string", "number", "boolean"].includes(typeof value))
+        return matchableEnum(value);
+    // ⚠️ 如果想用 Union 模式，必须“单键封装”，因为等同于rust的enum：
+    if (Object.keys(value).length === 1)
+        return matchableUnion(value);
+    // 否则走对象模式
+    return matchableObj(value);
+}

package/dist/result.d.ts

@@ -0,0 +1,38 @@
+type Ok<T> = {
+    ok: true;
+    value: T;
+};
+type Err<E> = {
+    ok: false;
+    error: E;
+};
+type RawResult<T, E = Error> = Ok<T> | Err<E>;
+export declare const Ok: <T, E = never>(value: T) => Result<T, E>;
+export declare const Err: <E, T = never>(error: E) => Result<T, E>;
+export declare class Result<T, E = Error> {
+    private readonly result;
+    constructor(result: RawResult<T, E>);
+    match<U>(handlers: {
+        Ok: (value: T) => U;
+        Err: (error: E) => U;
+    }): U;
+    answer(): T | E;
+    name(): "Ok" | "Err";
+    isOk(): this is Result<T, E>;
+    isErr(): this is Result<never, E>;
+    unwrap(): T;
+    unwrap_err(): E;
+    unwrap_or(): T | undefined;
+    unwrap_or(defaultValue: NonNullable<T>): T;
+    or_else(fn: (error: E) => T): T;
+    map<U>(fn: (value: T) => U): Result<U, E>;
+    map_err<F>(fn: (error: E) => F): Result<T, F>;
+    to<U>(fn: (value: T) => Result<U, E>): Result<U, E>;
+    tap(fn: (value: T) => void): this;
+    tap_err(fn: (error: E) => void): this;
+    get raw(): RawResult<T, E>;
+}
+export declare function futry<T, E = Error>(promise: Promise<T>, mapErr?: (err: unknown) => E): Promise<Result<T, E>>;
+export declare const tap: <A, E>(fn: (a: A) => void) => (r: Result<A, E>) => Result<A, E>;
+export {};
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,KAAK,EAAE,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AACpC,KAAK,GAAG,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AACtC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAE9C,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACtB,CAAC;AAElC,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACtB,CAAC;AAEnC,qBAAa,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAClB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBAAN,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IAEpD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE;QAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,GAAG,CAAC;IAMpE,MAAM,IAAI,CAAC,GAAG,CAAC;IAIf,IAAI,IAAI,IAAI,GAAG,KAAK;IAIpB,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAI5B,KAAK,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAKjC,MAAM,IAAI,CAAC;IAWX,UAAU,IAAI,CAAC;IAWf,SAAS,IAAI,CAAC,GAAG,SAAS;IAC1B,SAAS,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC;IAS1C,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IAQ/B,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAQzC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAQ7C,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAQnD,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI;IAOjC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI;IAMrC,IAAI,GAAG,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAEzB;CACF;AAED,wBAAsB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EACtC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,CAAC,GAC3B,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAOvB;AAED,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MACxB,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC"}

package/dist/result.js

@@ -0,0 +1,107 @@
+export const Ok = (value) => new Result({ ok: true, value });
+export const Err = (error) => new Result({ ok: false, error });
+export class Result {
+    result;
+    constructor(result) {
+        this.result = result;
+    }
+    match(handlers) {
+        return this.result.ok
+            ? handlers.Ok(this.result.value)
+            : handlers.Err(this.result.error);
+    }
+    answer() {
+        return this.result.ok ? this.result.value : this.result.error;
+    }
+    name() {
+        return this.result.ok ? "Ok" : "Err";
+    }
+    isOk() {
+        return this.result.ok;
+    }
+    isErr() {
+        return !this.result.ok;
+    }
+    // 如果成功，返回内部值；失败则抛出错误
+    unwrap() {
+        return this.match({
+            Ok: (value) => value,
+            Err: (error) => {
+                console.error("unwrap error:", error);
+                throw new Error(`${error}`);
+            },
+        });
+    }
+    // 如果失败，返回内部错误；成功则抛出错误
+    unwrap_err() {
+        return this.match({
+            Ok: (value) => {
+                console.error("unwrap_err value:", value);
+                throw new Error(`${value}`);
+            },
+            Err: (error) => error,
+        });
+    }
+    unwrap_or(defaultValue) {
+        return this.match({
+            Ok: (value) => value,
+            Err: () => defaultValue, // defaultValue 存在时命中上面的重载
+        });
+    }
+    // 如果成功，则返回内部值，否则调用传入函数
+    or_else(fn) {
+        return this.match({
+            Ok: (value) => value,
+            Err: (error) => fn(error),
+        });
+    }
+    // 成功时对内部值做转换，失败时保持原错误
+    map(fn) {
+        return this.match({
+            Ok: (value) => Ok(fn(value)),
+            Err: (error) => Err(error),
+        });
+    }
+    // 如果失败，则对错误做转换；成功时保持内部值
+    map_err(fn) {
+        return this.match({
+            Ok: (value) => Ok(value),
+            Err: (error) => Err(fn(error)),
+        });
+    }
+    // 链式调用：如果成功，则调用传入函数并返回新 Result；失败时直接传递错误
+    to(fn) {
+        return this.match({
+            Ok: (value) => fn(value),
+            Err: (error) => Err(error),
+        });
+    }
+    // 如果成功，则调用传入函数
+    tap(fn) {
+        if (this.isOk())
+            fn(this.unwrap());
+        else
+            console.error("tap error:", this.unwrap_err());
+        return this;
+    }
+    // 如果失败，则调用传入函数
+    tap_err(fn) {
+        if (this.isErr())
+            fn(this.unwrap_err());
+        return this;
+    }
+    // 提供原始数据访问（如果有需要的话）
+    get raw() {
+        return this.result;
+    }
+}
+export async function futry(promise, mapErr) {
+    try {
+        const value = await promise;
+        return Ok(value);
+    }
+    catch (err) {
+        return Err(mapErr ? mapErr(err) : err);
+    }
+}
+export const tap = (fn) => (r) => r.tap(fn);

package/package.json

@@ -0,0 +1,28 @@
+{
+  "name": "@grahlnn/fn",
+  "version": "0.1.0",
+  "description": "Ergonomic functional programming helpers.",
+  "type": "module",
+  "license": "MIT",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "prepublishOnly": "npm run build"
+  },
+  "devDependencies": {
+    "typescript": "^5.9.3"
+  },
+  "dependencies": {
+    "fast-deep-equal": "^3.1.3"
+  }
+}