fp-pack 0.4.0 → 0.6.0

package/dist/implement/object/dissocPath.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"dissocPath.mjs","sources":["../../../src/implement/object/dissocPath.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype PathKey = string | number | symbol;\n\nconst isIndexKey = (key: PathKey): key is number | `${number}` => {\n  if (typeof key === 'number') {\n    return Number.isInteger(key);\n  }\n  if (typeof key === 'string') {\n    return /^-?\\d+$/.test(key);\n  }\n  return false;\n};\n\nconst normalizeIndex = (key: number | `${number}`, length: number) => {\n  const raw = typeof key === 'number' ? key : Number(key);\n  if (Number.isNaN(raw)) {\n    return -1;\n  }\n  if (raw < 0) {\n    return length + raw;\n  }\n  return raw;\n};\n\nconst isObjectLike = (value: unknown): value is Record<PropertyKey, unknown> =>\n  value !== null && typeof value === 'object';\n\ntype DissocPath = {\n  <T = unknown>(...args: [pathArray: PathKey[]]): (obj: T) => T;\n  <T = unknown>(...args: [pathArray: PathKey[], obj: T]): T;\n};\n\n/**\n * dissocPath - 경로 기반 값 제거 (불변)\n */\nfunction dissocPath<T = unknown>(pathArray: PathKey[], obj: T): T {\n  if (pathArray.length === 0) {\n    return obj;\n  }\n\n  if (!isObjectLike(obj)) {\n    return obj;\n  }\n\n  const [key, ...rest] = pathArray;\n\n  if (Array.isArray(obj) && isIndexKey(key)) {\n    const index = normalizeIndex(key, obj.length);\n    if (index < 0 || index >= obj.length) {\n      return obj;\n    }\n\n    const result = obj.slice();\n    if (rest.length === 0) {\n      result.splice(index, 1);\n      return result as unknown as T;\n    }\n\n    const nextValue = dissocPath(rest, result[index]);\n    result[index] = nextValue;\n    return result as unknown as T;\n  }\n\n  if (!Object.prototype.hasOwnProperty.call(obj, key)) {\n    return obj;\n  }\n\n  if (rest.length === 0) {\n    const { [key]: _removed, ...restObj } = obj as Record<PropertyKey, unknown>;\n    return restObj as T;\n  }\n\n  const result = { ...(obj as object) } as Record<PropertyKey, unknown>;\n  result[key] = dissocPath(rest, result[key]);\n  return result as T;\n}\n\nconst curriedDissocPath = curry(dissocPath) as DissocPath;\nexport default curriedDissocPath;\n"],"names":["isIndexKey","key","normalizeIndex","length","raw","isObjectLike","value","dissocPath","pathArray","obj","rest","index","result","nextValue","_removed","restObj","curriedDissocPath","curry"],"mappings":";AAIA,MAAMA,IAAa,CAACC,MACd,OAAOA,KAAQ,WACV,OAAO,UAAUA,CAAG,IAEzB,OAAOA,KAAQ,WACV,UAAU,KAAKA,CAAG,IAEpB,IAGHC,IAAiB,CAACD,GAA2BE,MAAmB;AACpE,QAAMC,IAAM,OAAOH,KAAQ,WAAWA,IAAM,OAAOA,CAAG;AACtD,SAAI,OAAO,MAAMG,CAAG,IACX,KAELA,IAAM,IACDD,IAASC,IAEXA;AACT,GAEMC,IAAe,CAACC,MACpBA,MAAU,QAAQ,OAAOA,KAAU;AAUrC,SAASC,EAAwBC,GAAsBC,GAAW;AAKhE,MAJID,EAAU,WAAW,KAIrB,CAACH,EAAaI,CAAG;AACnB,WAAOA;AAGT,QAAM,CAACR,GAAK,GAAGS,CAAI,IAAIF;AAEvB,MAAI,MAAM,QAAQC,CAAG,KAAKT,EAAWC,CAAG,GAAG;AACzC,UAAMU,IAAQT,EAAeD,GAAKQ,EAAI,MAAM;AAC5C,QAAIE,IAAQ,KAAKA,KAASF,EAAI;AAC5B,aAAOA;AAGT,UAAMG,IAASH,EAAI,MAAA;AACnB,QAAIC,EAAK,WAAW;AAClBE,aAAAA,EAAO,OAAOD,GAAO,CAAC,GACfC;AAGT,UAAMC,IAAYN,EAAWG,GAAME,EAAOD,CAAK,CAAC;AAChDC,WAAAA,EAAOD,CAAK,IAAIE,GACTD;AAAAA,EACT;AAEA,MAAI,CAAC,OAAO,UAAU,eAAe,KAAKH,GAAKR,CAAG;AAChD,WAAOQ;AAGT,MAAIC,EAAK,WAAW,GAAG;AACrB,UAAM,EAAE,CAACT,CAAG,GAAGa,GAAU,GAAGC,MAAYN;AACxC,WAAOM;AAAA,EACT;AAEA,QAAMH,IAAS,EAAE,GAAIH,EAAA;AACrB,SAAAG,EAAOX,CAAG,IAAIM,EAAWG,GAAME,EAAOX,CAAG,CAAC,GACnCW;AACT;AAEA,MAAMI,IAAoBC,EAAMV,CAAU;"}
+{"version":3,"file":"dissocPath.mjs","sources":["../../../src/implement/object/dissocPath.ts"],"sourcesContent":["import curry from '../composition/curry';\nimport type { PathKey } from './pathKey';\n\nconst isIndexKey = (key: PathKey): key is number | `${number}` => {\n  if (typeof key === 'number') {\n    return Number.isInteger(key);\n  }\n  if (typeof key === 'string') {\n    return /^-?\\d+$/.test(key);\n  }\n  return false;\n};\n\nconst normalizeIndex = (key: number | `${number}`, length: number) => {\n  const raw = typeof key === 'number' ? key : Number(key);\n  if (Number.isNaN(raw)) {\n    return -1;\n  }\n  if (raw < 0) {\n    return length + raw;\n  }\n  return raw;\n};\n\nconst isObjectLike = (value: unknown): value is Record<PropertyKey, unknown> =>\n  value !== null && typeof value === 'object';\n\ntype DissocPath = {\n  <T = unknown>(...args: [pathArray: PathKey[]]): (obj: T) => T;\n  <T = unknown>(...args: [pathArray: PathKey[], obj: T]): T;\n};\n\n/**\n * dissocPath - 경로 기반 값 제거 (불변)\n */\nfunction dissocPath<T = unknown>(pathArray: PathKey[], obj: T): T {\n  if (pathArray.length === 0) {\n    return obj;\n  }\n\n  if (!isObjectLike(obj)) {\n    return obj;\n  }\n\n  const [key, ...rest] = pathArray;\n\n  if (Array.isArray(obj) && isIndexKey(key)) {\n    const index = normalizeIndex(key, obj.length);\n    if (index < 0 || index >= obj.length) {\n      return obj;\n    }\n\n    const result = obj.slice();\n    if (rest.length === 0) {\n      result.splice(index, 1);\n      return result as unknown as T;\n    }\n\n    const nextValue = dissocPath(rest, result[index]);\n    result[index] = nextValue;\n    return result as unknown as T;\n  }\n\n  if (!Object.prototype.hasOwnProperty.call(obj, key)) {\n    return obj;\n  }\n\n  if (rest.length === 0) {\n    const { [key]: _removed, ...restObj } = obj as Record<PropertyKey, unknown>;\n    return restObj as T;\n  }\n\n  const result = { ...(obj as object) } as Record<PropertyKey, unknown>;\n  result[key] = dissocPath(rest, result[key]);\n  return result as T;\n}\n\nconst curriedDissocPath = curry(dissocPath) as DissocPath;\nexport default curriedDissocPath;\nexport type { PathKey };\n"],"names":["isIndexKey","key","normalizeIndex","length","raw","isObjectLike","value","dissocPath","pathArray","obj","rest","index","result","nextValue","_removed","restObj","curriedDissocPath","curry"],"mappings":";AAGA,MAAMA,IAAa,CAACC,MACd,OAAOA,KAAQ,WACV,OAAO,UAAUA,CAAG,IAEzB,OAAOA,KAAQ,WACV,UAAU,KAAKA,CAAG,IAEpB,IAGHC,IAAiB,CAACD,GAA2BE,MAAmB;AACpE,QAAMC,IAAM,OAAOH,KAAQ,WAAWA,IAAM,OAAOA,CAAG;AACtD,SAAI,OAAO,MAAMG,CAAG,IACX,KAELA,IAAM,IACDD,IAASC,IAEXA;AACT,GAEMC,IAAe,CAACC,MACpBA,MAAU,QAAQ,OAAOA,KAAU;AAUrC,SAASC,EAAwBC,GAAsBC,GAAW;AAKhE,MAJID,EAAU,WAAW,KAIrB,CAACH,EAAaI,CAAG;AACnB,WAAOA;AAGT,QAAM,CAACR,GAAK,GAAGS,CAAI,IAAIF;AAEvB,MAAI,MAAM,QAAQC,CAAG,KAAKT,EAAWC,CAAG,GAAG;AACzC,UAAMU,IAAQT,EAAeD,GAAKQ,EAAI,MAAM;AAC5C,QAAIE,IAAQ,KAAKA,KAASF,EAAI;AAC5B,aAAOA;AAGT,UAAMG,IAASH,EAAI,MAAA;AACnB,QAAIC,EAAK,WAAW;AAClBE,aAAAA,EAAO,OAAOD,GAAO,CAAC,GACfC;AAGT,UAAMC,IAAYN,EAAWG,GAAME,EAAOD,CAAK,CAAC;AAChDC,WAAAA,EAAOD,CAAK,IAAIE,GACTD;AAAAA,EACT;AAEA,MAAI,CAAC,OAAO,UAAU,eAAe,KAAKH,GAAKR,CAAG;AAChD,WAAOQ;AAGT,MAAIC,EAAK,WAAW,GAAG;AACrB,UAAM,EAAE,CAACT,CAAG,GAAGa,GAAU,GAAGC,MAAYN;AACxC,WAAOM;AAAA,EACT;AAEA,QAAMH,IAAS,EAAE,GAAIH,EAAA;AACrB,SAAAG,EAAOX,CAAG,IAAIM,EAAWG,GAAME,EAAOX,CAAG,CAAC,GACnCW;AACT;AAEA,MAAMI,IAAoBC,EAAMV,CAAU;"}

package/dist/implement/object/index.d.ts

@@ -19,4 +19,5 @@ export { default as mapValues } from './mapValues';
 export { default as evolve } from './evolve';
 export { default as has } from './has';
 export { default as hasPath } from './hasPath';
+export type { PathKey } from './pathKey';
 //# sourceMappingURL=index.d.ts.map

package/dist/implement/object/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/implement/object/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/implement/object/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/implement/object/path.d.ts

@@ -1,7 +1,9 @@
+import { PathKey } from './pathKey';
 type Path = {
-    (pathArray: string[]): <T>(obj: any) => T | undefined;
-    <T>(...args: [pathArray: string[], obj: any]): T | undefined;
+    (pathArray: PathKey[]): <T>(obj: any) => T | undefined;
+    <T>(...args: [pathArray: PathKey[], obj: any]): T | undefined;
 };
 declare const curriedPath: Path;
 export default curriedPath;
+export type { PathKey };
 //# sourceMappingURL=path.d.ts.map

package/dist/implement/object/path.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../src/implement/object/path.ts"],"names":[],"mappings":"AAEA,KAAK,IAAI,GAAG;IACV,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,SAAS,CAAC;IACtD,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;CAC9D,CAAC;AASF,QAAA,MAAM,WAAW,EAAkB,IAAI,CAAC;AACxC,eAAe,WAAW,CAAC"}
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../src/implement/object/path.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEzC,KAAK,IAAI,GAAG;IACV,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,SAAS,CAAC;IACvD,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;CAC/D,CAAC;AASF,QAAA,MAAM,WAAW,EAAkB,IAAI,CAAC;AACxC,eAAe,WAAW,CAAC;AAC3B,YAAY,EAAE,OAAO,EAAE,CAAC"}

package/dist/implement/object/path.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"path.mjs","sources":["../../../src/implement/object/path.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype Path = {\n  (pathArray: string[]): <T>(obj: any) => T | undefined;\n  <T>(...args: [pathArray: string[], obj: any]): T | undefined;\n};\n\n/**\n * path - 안전한 깊은 프로퍼티 접근\n */\nfunction path<T>(pathArray: string[], obj: any): T | undefined {\n  return pathArray.reduce((current, key) => (current == null ? undefined : current[key]), obj) as T | undefined;\n}\n\nconst curriedPath = curry(path) as Path;\nexport default curriedPath;\n"],"names":["path","pathArray","obj","current","key","curriedPath","curry"],"mappings":";AAUA,SAASA,EAAQC,GAAqBC,GAAyB;AAC7D,SAAOD,EAAU,OAAO,CAACE,GAASC,MAAuCD,IAAQC,CAAG,GAAIF,CAAG;AAC7F;AAEA,MAAMG,IAAcC,EAAMN,CAAI;"}
+{"version":3,"file":"path.mjs","sources":["../../../src/implement/object/path.ts"],"sourcesContent":["import curry from '../composition/curry';\nimport type { PathKey } from './pathKey';\n\ntype Path = {\n  (pathArray: PathKey[]): <T>(obj: any) => T | undefined;\n  <T>(...args: [pathArray: PathKey[], obj: any]): T | undefined;\n};\n\n/**\n * path - 안전한 깊은 프로퍼티 접근\n */\nfunction path<T>(pathArray: PathKey[], obj: any): T | undefined {\n  return pathArray.reduce((current, key) => (current == null ? undefined : current[key]), obj) as T | undefined;\n}\n\nconst curriedPath = curry(path) as Path;\nexport default curriedPath;\nexport type { PathKey };\n"],"names":["path","pathArray","obj","current","key","curriedPath","curry"],"mappings":";AAWA,SAASA,EAAQC,GAAsBC,GAAyB;AAC9D,SAAOD,EAAU,OAAO,CAACE,GAASC,MAAuCD,IAAQC,CAAG,GAAIF,CAAG;AAC7F;AAEA,MAAMG,IAAcC,EAAMN,CAAI;"}

package/dist/implement/object/pathKey.d.ts

@@ -0,0 +1,2 @@
+export type PathKey = string | number | symbol;
+//# sourceMappingURL=pathKey.d.ts.map

package/dist/implement/object/pathKey.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pathKey.d.ts","sourceRoot":"","sources":["../../../src/implement/object/pathKey.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC"}

package/dist/implement/object/pathOr.d.ts

@@ -1,8 +1,10 @@
+import { PathKey } from './pathKey';
 type PathOr = {
-    <D>(...args: [defaultValue: D]): <T>(pathArray: string[]) => (obj: any) => T | D;
-    <D>(...args: [defaultValue: D, pathArray: string[]]): <T>(obj: any) => T | D;
-    <T, D>(...args: [defaultValue: D, pathArray: string[], obj: any]): T | D;
+    <D>(...args: [defaultValue: D]): <T>(pathArray: PathKey[]) => (obj: any) => T | D;
+    <D>(...args: [defaultValue: D, pathArray: PathKey[]]): <T>(obj: any) => T | D;
+    <T, D>(...args: [defaultValue: D, pathArray: PathKey[], obj: any]): T | D;
 };
 declare const curriedPathOr: PathOr;
 export default curriedPathOr;
+export type { PathKey };
 //# sourceMappingURL=pathOr.d.ts.map

package/dist/implement/object/pathOr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pathOr.d.ts","sourceRoot":"","sources":["../../../src/implement/object/pathOr.ts"],"names":[],"mappings":"AAEA,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;CAC1E,CAAC;AAUF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC"}
+{"version":3,"file":"pathOr.d.ts","sourceRoot":"","sources":["../../../src/implement/object/pathOr.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEzC,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAClF,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9E,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;CAC3E,CAAC;AAUF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC;AAC7B,YAAY,EAAE,OAAO,EAAE,CAAC"}

package/dist/implement/object/pathOr.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pathOr.mjs","sources":["../../../src/implement/object/pathOr.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype PathOr = {\n  <D>(...args: [defaultValue: D]): <T>(pathArray: string[]) => (obj: any) => T | D;\n  <D>(...args: [defaultValue: D, pathArray: string[]]): <T>(obj: any) => T | D;\n  <T, D>(...args: [defaultValue: D, pathArray: string[], obj: any]): T | D;\n};\n\n/**\n * pathOr - 기본값이 있는 깊은 프로퍼티 접근\n */\nfunction pathOr<T, D>(defaultValue: D, pathArray: string[], obj: any): T | D {\n  const value = pathArray.reduce((current, key) => (current == null ? undefined : current[key]), obj) as T | undefined;\n  return value == null ? defaultValue : value;\n}\n\nconst curriedPathOr = curry(pathOr) as PathOr;\nexport default curriedPathOr;\n"],"names":["pathOr","defaultValue","pathArray","obj","value","current","key","curriedPathOr","curry"],"mappings":";AAWA,SAASA,EAAaC,GAAiBC,GAAqBC,GAAiB;AAC3E,QAAMC,IAAQF,EAAU,OAAO,CAACG,GAASC,MAAuCD,IAAQC,CAAG,GAAIH,CAAG;AAClG,SAAOC,KAAgBH;AACzB;AAEA,MAAMM,IAAgBC,EAAMR,CAAM;"}
+{"version":3,"file":"pathOr.mjs","sources":["../../../src/implement/object/pathOr.ts"],"sourcesContent":["import curry from '../composition/curry';\nimport type { PathKey } from './pathKey';\n\ntype PathOr = {\n  <D>(...args: [defaultValue: D]): <T>(pathArray: PathKey[]) => (obj: any) => T | D;\n  <D>(...args: [defaultValue: D, pathArray: PathKey[]]): <T>(obj: any) => T | D;\n  <T, D>(...args: [defaultValue: D, pathArray: PathKey[], obj: any]): T | D;\n};\n\n/**\n * pathOr - 기본값이 있는 깊은 프로퍼티 접근\n */\nfunction pathOr<T, D>(defaultValue: D, pathArray: PathKey[], obj: any): T | D {\n  const value = pathArray.reduce((current, key) => (current == null ? undefined : current[key]), obj) as T | undefined;\n  return value == null ? defaultValue : value;\n}\n\nconst curriedPathOr = curry(pathOr) as PathOr;\nexport default curriedPathOr;\nexport type { PathKey };\n"],"names":["pathOr","defaultValue","pathArray","obj","value","current","key","curriedPathOr","curry"],"mappings":";AAYA,SAASA,EAAaC,GAAiBC,GAAsBC,GAAiB;AAC5E,QAAMC,IAAQF,EAAU,OAAO,CAACG,GAASC,MAAuCD,IAAQC,CAAG,GAAIH,CAAG;AAClG,SAAOC,KAAgBH;AACzB;AAEA,MAAMM,IAAgBC,EAAMR,CAAM;"}

package/dist/index.d.ts

@@ -8,4 +8,5 @@ export * from './implement/string';
 export * from './implement/async';
 export * from './implement/nullable';
 export * from './implement/debug';
+export type { AnyIterable, AnyIterableInput, PromiseLikeValue } from './stream/utils';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,gBAAgB,CAAC;AAGxB,cAAc,yBAAyB,CAAC;AAGxC,cAAc,qBAAqB,CAAC;AAGpC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,sBAAsB,CAAC;AAGrC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,sBAAsB,CAAC;AAGrC,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,gBAAgB,CAAC;AAGxB,cAAc,yBAAyB,CAAC;AAGxC,cAAc,qBAAqB,CAAC;AAGpC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,sBAAsB,CAAC;AAGrC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,sBAAsB,CAAC;AAGrC,cAAc,mBAAmB,CAAC;AAGlC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/skills/fp-pack/SKILL.md

@@ -7,7 +7,7 @@ metadata:
 
 # fp-pack AI Agent Skills
 
-Document Version: 0.4.0
+Document Version: 0.6.0
 
 This document provides guidelines for AI coding assistants when working in projects that use fp-pack. Follow these instructions to write clean, declarative, functional code using fp-pack's utilities.
 
@@ -129,7 +129,7 @@ const finalValue = runPipeResult(processDataPipeline(input));
 **Key SideEffect functions:**
 - `SideEffect.of(fn, label?)` - Create a side effect container
 - `isSideEffect(value)` - Type guard for **runtime checking** whether a value is a SideEffect
-- `runPipeResult<T, R>(result)` - Execute SideEffect or return value (call **OUTSIDE** pipelines, provide generics for type safety). **⚠️ CRITICAL:** `runPipeResult<T, R=any>` has default `R=any`, so using it without generics returns `any` type. Always provide generics for type safety
+- `runPipeResult<T, R>(result)` - Execute SideEffect or return value (call **OUTSIDE** pipelines). If the input type is precise, inference is preserved. If the input is widened to `SideEffect<any>` or `any`, the result becomes `any` unless you provide generics.
 - `matchSideEffect(result, { value, effect })` - Pattern match on result
 
 **Type-safe result handling:**
@@ -147,32 +147,34 @@ const processNumbers = pipeSideEffect(
 
 const result = processNumbers([1, 2, 3, 4, 5]);
 
-// ✅ CORRECT: Use isSideEffect for runtime checking + provide generics to runPipeResult
+// ✅ CORRECT: Use isSideEffect for runtime checking
 if (!isSideEffect(result)) {
   // TypeScript knows: result is number[]
   const sum: number = result.reduce((a, b) => a + b, 0);
 } else {
   // TypeScript knows: result is SideEffect<string>
-  // But runPipeResult still returns number[] | string (not fully narrowed)
-  const error = runPipeResult<number[], string>(result);  // error: number[] | string
+  // runPipeResult returns number[] | string (not fully narrowed)
+  const error = runPipeResult(result);  // number[] | string
 }
 
-// ❌ WRONG: runPipeResult without generics
-const value = runPipeResult(result);  // result: any (no type information!)
+// ⚠️ If the result type is widened to SideEffect<any>, inference is lost
+const widened: number[] | SideEffect<any> = result;
+const unsafeValue = runPipeResult(widened);  // number[] | any
 
-// ✅ CORRECT: Provide generics to runPipeResult
-const value = runPipeResult<number[], string>(result);  // result: number[] | string (union type - safe but not narrowed)
+// ✅ CORRECT: Provide generics to recover a safe union
+const safeValue = runPipeResult<number[], string>(result);  // result: number[] | string (union type - safe but not narrowed)
 ```
 
 **⚠️ CRITICAL: runPipeResult Type Safety**
 
 `runPipeResult<T, R=any>` has a default type parameter `R=any`. This means:
 
-- ❌ **Without generics**: `const result = runPipeResult(pipeline(data));` returns `any` type (unsafe!)
-- ✅ **With generics**: `runPipeResult<SuccessType, ErrorType>(result)` returns union type `SuccessType | ErrorType` (type-safe)
-- ✅ **With isSideEffect**: Use for runtime checking whether a value is SideEffect
+- ✅ **Precise input types**: `T | SideEffect<'E'>` preserves `T | 'E'` without extra annotations.
+- ⚠️ **Widened inputs**: `T | SideEffect<any>` (or `any`) collapses to `any`.
+- ✅ **With generics**: `runPipeResult<SuccessType, ErrorType>(result)` restores a safe union when inference is lost.
+- ✅ **With isSideEffect**: Prefer for runtime narrowing when you need branch-specific types.
 
-**Always provide generics to `runPipeResult`** for type safety. Use `isSideEffect` for runtime type checking.
+Provide generics when inference is lost; prefer `isSideEffect` for precise narrowing.
 
 ## Stream Functions - Lazy Iterable Processing
 
@@ -526,13 +528,13 @@ const gradeToLetter = cond([
 ### 6.1 Type-Safety Tips (prop/ifElse/cond)
 
 - `prop` returns `T[K] | undefined`. Use `propOr` (or guard) before array operations.
-- `ifElse` expects **functions** for both branches. If you already have a value, wrap it: `() => value`.
-- Use `from(value)` when you need a unary function that ignores input (handy for `ifElse` branches).
+- `ifElse` expects **functions** for both branches. If you already have a value, wrap it: `() => value` or use `from(value)` for cleaner constant branches.
+- Use `from(value)` when you need a unary function that ignores input (handy for `ifElse`/`cond` branches and data-first patterns). Pipelines that start with `from(...)` can be called without an initial input value.
 - `cond` returns `R | undefined`. Add a default branch and coalesce when you need a strict result.
 - In `pipeSideEffect`, keep step return types aligned to avoid wide unions.
 
 ```typescript
-import { pipe, propOr, append, assoc, ifElse, cond, from } from 'fp-pack';
+import { pipe, propOr, append, assoc, ifElse, cond, from, filter, map } from 'fp-pack';
 
 // propOr keeps the type strict for array ops
 const addTodo = (text: string, state: AppState) =>
@@ -549,13 +551,21 @@ const toggleTodo = (id: string) => ifElse(
   (todo) => todo
 );
 
-// from is useful for constant branches
+// from is useful for constant branches - cleaner than () => value
 const statusLabel = ifElse(
   (score: number) => score >= 60,
-  from('pass'),
+  from('pass'),    // Constant value
   from('fail')
 );
 
+// Data-first pattern with from: inject data into pipeline
+const processData = pipe(
+  from([1, 2, 3, 4, 5]),
+  filter((n: number) => n % 2 === 0),
+  map(n => n * 2)
+);
+const result = processData(); // [4, 8]
+
 // cond still returns R | undefined, so coalesce if needed
 const grade = (score: number) =>
   cond([
@@ -672,8 +682,8 @@ const updateUser = assoc('lastLogin', new Date());
 - **Pure async operations**: `pipeAsync`
 - **Error handling with SideEffect**: `pipeSideEffect` (sync) / `pipeAsyncSideEffect` (async)
 - **Strict SideEffect unions**: `pipeSideEffectStrict` (sync) / `pipeAsyncSideEffectStrict` (async)
-- **Type-safe result handling**: `isSideEffect` for precise type narrowing (⚠️ **ALWAYS prefer this over bare `runPipeResult`** to avoid `any` types)
-- **Execute SideEffect**: `runPipeResult` (call OUTSIDE pipelines). **⚠️ CRITICAL:** Returns `any` type without type narrowing due to default `R=any` parameter
+- **Type-safe result handling**: `isSideEffect` for precise type narrowing (prefer this when you need branch-specific types)
+- **Execute SideEffect**: `runPipeResult` (call OUTSIDE pipelines). If the input is widened to `SideEffect<any>`/`any`, the result becomes `any`; provide generics to recover
 - **Large datasets**: `stream/*` functions
 - **Conditionals**: `ifElse`, `when`, `unless`, `cond`
 - **Object access**: `prop`, `propStrict`, `path`, `pick`, `omit`

package/dist/skills/fp-pack.md

@@ -1,6 +1,6 @@
 # fp-pack AI Agent Skills
 
-Document Version: 0.4.0
+Document Version: 0.6.0
 
 This document provides guidelines for AI coding assistants when working in projects that use fp-pack. Follow these instructions to write clean, declarative, functional code using fp-pack's utilities.
 
@@ -122,7 +122,7 @@ const finalValue = runPipeResult(processDataPipeline(input));
 **Key SideEffect functions:**
 - `SideEffect.of(fn, label?)` - Create a side effect container
 - `isSideEffect(value)` - Type guard for **runtime checking** whether a value is a SideEffect
-- `runPipeResult<T, R>(result)` - Execute SideEffect or return value (call **OUTSIDE** pipelines, provide generics for type safety). **⚠️ CRITICAL:** `runPipeResult<T, R=any>` has default `R=any`, so using it without generics returns `any` type. Always provide generics for type safety
+- `runPipeResult<T, R>(result)` - Execute SideEffect or return value (call **OUTSIDE** pipelines). If the input type is precise, inference is preserved. If the input is widened to `SideEffect<any>` or `any`, the result becomes `any` unless you provide generics.
 - `matchSideEffect(result, { value, effect })` - Pattern match on result
 
 **Type-safe result handling:**
@@ -140,32 +140,34 @@ const processNumbers = pipeSideEffect(
 
 const result = processNumbers([1, 2, 3, 4, 5]);
 
-// ✅ CORRECT: Use isSideEffect for runtime checking + provide generics to runPipeResult
+// ✅ CORRECT: Use isSideEffect for runtime checking
 if (!isSideEffect(result)) {
   // TypeScript knows: result is number[]
   const sum: number = result.reduce((a, b) => a + b, 0);
 } else {
   // TypeScript knows: result is SideEffect<string>
-  // But runPipeResult still returns number[] | string (not fully narrowed)
-  const error = runPipeResult<number[], string>(result);  // error: number[] | string
+  // runPipeResult returns number[] | string (not fully narrowed)
+  const error = runPipeResult(result);  // number[] | string
 }
 
-// ❌ WRONG: runPipeResult without generics
-const value = runPipeResult(result);  // result: any (no type information!)
+// ⚠️ If the result type is widened to SideEffect<any>, inference is lost
+const widened: number[] | SideEffect<any> = result;
+const unsafeValue = runPipeResult(widened);  // number[] | any
 
-// ✅ CORRECT: Provide generics to runPipeResult
-const value = runPipeResult<number[], string>(result);  // result: number[] | string (union type - safe but not narrowed)
+// ✅ CORRECT: Provide generics to recover a safe union
+const safeValue = runPipeResult<number[], string>(result);  // result: number[] | string (union type - safe but not narrowed)
 ```
 
 **⚠️ CRITICAL: runPipeResult Type Safety**
 
 `runPipeResult<T, R=any>` has a default type parameter `R=any`. This means:
 
-- ❌ **Without generics**: `const result = runPipeResult(pipeline(data));` returns `any` type (unsafe!)
-- ✅ **With generics**: `runPipeResult<SuccessType, ErrorType>(result)` returns union type `SuccessType | ErrorType` (type-safe)
-- ✅ **With isSideEffect**: Use for runtime checking whether a value is SideEffect
+- ✅ **Precise input types**: `T | SideEffect<'E'>` preserves `T | 'E'` without extra annotations.
+- ⚠️ **Widened inputs**: `T | SideEffect<any>` (or `any`) collapses to `any`.
+- ✅ **With generics**: `runPipeResult<SuccessType, ErrorType>(result)` restores a safe union when inference is lost.
+- ✅ **With isSideEffect**: Prefer for runtime narrowing when you need branch-specific types.
 
-**Always provide generics to `runPipeResult`** for type safety. Use `isSideEffect` for runtime type checking.
+Provide generics when inference is lost; prefer `isSideEffect` for precise narrowing.
 
 ## Stream Functions - Lazy Iterable Processing
 
@@ -519,13 +521,13 @@ const gradeToLetter = cond([
 ### 6.1 Type-Safety Tips (prop/ifElse/cond)
 
 - `prop` returns `T[K] | undefined`. Use `propOr` (or guard) before array operations.
-- `ifElse` expects **functions** for both branches. If you already have a value, wrap it: `() => value`.
-- Use `from(value)` when you need a unary function that ignores input (handy for `ifElse` branches).
+- `ifElse` expects **functions** for both branches. If you already have a value, wrap it: `() => value` or use `from(value)` for cleaner constant branches.
+- Use `from(value)` when you need a unary function that ignores input (handy for `ifElse`/`cond` branches and data-first patterns). Pipelines that start with `from(...)` can be called without an initial input value.
 - `cond` returns `R | undefined`. Add a default branch and coalesce when you need a strict result.
 - In `pipeSideEffect`, keep step return types aligned to avoid wide unions.
 
 ```typescript
-import { pipe, propOr, append, assoc, ifElse, cond, from } from 'fp-pack';
+import { pipe, propOr, append, assoc, ifElse, cond, from, filter, map } from 'fp-pack';
 
 // propOr keeps the type strict for array ops
 const addTodo = (text: string, state: AppState) =>
@@ -542,13 +544,21 @@ const toggleTodo = (id: string) => ifElse(
   (todo) => todo
 );
 
-// from is useful for constant branches
+// from is useful for constant branches - cleaner than () => value
 const statusLabel = ifElse(
   (score: number) => score >= 60,
-  from('pass'),
+  from('pass'),    // Constant value
   from('fail')
 );
 
+// Data-first pattern with from: inject data into pipeline
+const processData = pipe(
+  from([1, 2, 3, 4, 5]),
+  filter((n: number) => n % 2 === 0),
+  map(n => n * 2)
+);
+const result = processData(); // [4, 8]
+
 // cond still returns R | undefined, so coalesce if needed
 const grade = (score: number) =>
   cond([
@@ -665,8 +675,8 @@ const updateUser = assoc('lastLogin', new Date());
 - **Pure async operations**: `pipeAsync`
 - **Error handling with SideEffect**: `pipeSideEffect` (sync) / `pipeAsyncSideEffect` (async)
 - **Strict SideEffect unions**: `pipeSideEffectStrict` (sync) / `pipeAsyncSideEffectStrict` (async)
-- **Type-safe result handling**: `isSideEffect` for precise type narrowing (⚠️ **ALWAYS prefer this over bare `runPipeResult`** to avoid `any` types)
-- **Execute SideEffect**: `runPipeResult` (call OUTSIDE pipelines). **⚠️ CRITICAL:** Returns `any` type without type narrowing due to default `R=any` parameter
+- **Type-safe result handling**: `isSideEffect` for precise type narrowing (prefer this when you need branch-specific types)
+- **Execute SideEffect**: `runPipeResult` (call OUTSIDE pipelines). If the input is widened to `SideEffect<any>`/`any`, the result becomes `any`; provide generics to recover
 - **Large datasets**: `stream/*` functions
 - **Conditionals**: `ifElse`, `when`, `unless`, `cond`
 - **Object access**: `prop`, `propStrict`, `path`, `pick`, `omit`

package/dist/stream/index.d.ts

@@ -21,4 +21,5 @@ export { default as toArray } from './toArray';
 export { default as toAsync } from './toAsync';
 export { default as zip } from './zip';
 export { default as zipWith } from './zipWith';
+export type { AnyIterable, AnyIterableInput, PromiseLikeValue } from './utils';
 //# sourceMappingURL=index.d.ts.map

package/dist/stream/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/stream/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/stream/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fp-pack",
-  "version": "0.4.0",
+  "version": "0.6.0",
   "type": "module",
   "description": "Functional programming utilities library for TypeScript",
   "keywords": [
@@ -73,7 +73,8 @@
     "preview": "vite preview",
     "test": "vitest",
     "test:ui": "vitest --ui",
-    "test:run": "vitest run",
+    "test:run": "pnpm test:types && vitest run",
+    "test:types": "tsc --noEmit",
     "clean": "pnpm clean:dist && pnpm clean:module",
     "clean:dist": "rm -rf dist docs/dist",
     "clean:module": "rm -rf dist docs/dist node_modules",

package/src/implement/async/pipeAsync.ts

@@ -1,3 +1,5 @@
+import type { FromFn } from '../composition/from';
+
 /** pipeAsync - 비동기 함수 합성 */
 type AsyncOrSync<A, R> = (a: A) => R | Promise<R>;
 type PipeInput<Fns extends AsyncOrSync<any, any>[]> = Fns extends [AsyncOrSync<infer A, any>, ...AsyncOrSync<any, any>[]]
@@ -11,7 +13,11 @@ type PipeOutput<Fns extends AsyncOrSync<any, any>[]> = Fns extends [AsyncOrSync<
       : never
     : never;
 type PipeAsync<Fns extends AsyncOrSync<any, any>[]> = (input: PipeInput<Fns>) => Promise<PipeOutput<Fns>>;
+type PipeAsyncFrom<Fns extends [FromFn<any>, ...AsyncOrSync<any, any>[]]> = (
+  input?: PipeInput<Fns>
+) => Promise<PipeOutput<Fns>>;
 
+function pipeAsync<Fns extends [FromFn<any>, ...AsyncOrSync<any, any>[]]>(...funcs: Fns): PipeAsyncFrom<Fns>;
 function pipeAsync<A, R>(ab: AsyncOrSync<A, R>): (a: A) => Promise<Awaited<R>>;
 function pipeAsync<A, B, R>(ab: AsyncOrSync<A, B>, bc: AsyncOrSync<Awaited<B>, R>): (a: A) => Promise<Awaited<R>>;
 function pipeAsync<A, B, C, R>(

package/src/implement/async/pipeAsyncSideEffect.ts

@@ -1,3 +1,4 @@
+import type { FromFn } from '../composition/from';
 import SideEffect, { isSideEffect } from '../composition/sideEffect';
 
 /** pipeAsyncSideEffect - SideEffect를 허용하는 비동기 함수 합성 */
@@ -21,7 +22,13 @@ type Resolve<T> = T extends infer R ? R : never;
 type PipeAsyncSideEffect<Fns extends AsyncOrSync<any, any>[]> = (
   input: PipeInput<Fns> | SideEffect<any>
 ) => Promise<Resolve<PipeOutput<Fns>>>;
+type PipeAsyncSideEffectFrom<Fns extends [FromFn<any>, ...AsyncOrSync<any, any>[]]> = (
+  input?: PipeInput<Fns> | SideEffect<any>
+) => Promise<Resolve<PipeOutput<Fns>>>;
 
+function pipeAsyncSideEffect<Fns extends [FromFn<any>, ...AsyncOrSync<any, any>[]]>(
+  ...funcs: Fns
+): PipeAsyncSideEffectFrom<Fns>;
 function pipeAsyncSideEffect<A, R>(
   ab: AsyncOrSync<A, R>
 ): (a: A | SideEffect<any>) => Promise<MaybeSideEffect<Awaited<R>>>;

package/src/implement/async/pipeAsyncSideEffectStrict.ts

@@ -1,3 +1,4 @@
+import type { FromFn } from '../composition/from';
 import SideEffect, { isSideEffect } from '../composition/sideEffect';
 
 type AnyFn = (...args: any[]) => any;
@@ -43,6 +44,12 @@ type PipeAsyncSideEffectStrictUnary<Fns extends [AnyFn, ...AnyFn[]]> = {
     input: PipeInputStrict<Fns> | SideEffect<EIn>
   ): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>>;
 };
+type PipeAsyncSideEffectStrictUnaryOptional<Fns extends [AnyFn, ...AnyFn[]]> = {
+  (input?: PipeInputStrict<Fns>): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>>;
+  <EIn>(
+    input?: PipeInputStrict<Fns> | SideEffect<EIn>
+  ): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>>;
+};
 
 type PipeAsyncSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]]
   ? () => Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>>
@@ -177,6 +184,9 @@ function pipeAsyncSideEffectStrict<B, C, D, E, F, G, H, I, J, R>(
   AsyncOrSync<NonSideEffect<Awaited<I>>, J>,
   AsyncOrSync<NonSideEffect<Awaited<J>>, R>
 ]>;
+function pipeAsyncSideEffectStrict<Fns extends [FromFn<any>, ...AnyFn[]]>(
+  ...funcs: Fns
+): PipeAsyncSideEffectStrictUnaryOptional<Fns>;
 function pipeAsyncSideEffectStrict<A, R>(
   ab: AsyncOrSync<A, R>
 ): PipeAsyncSideEffectStrict<[AsyncOrSync<A, R>]>;

package/src/implement/composition/curry.ts

@@ -3,14 +3,14 @@
  * Supports functions with 2-5 parameters and keeps data-last call order.
  */
 
-type Curry2<Fn> = Fn extends (a: infer A, b: infer B) => infer R
+export type Curry2<Fn> = Fn extends (a: infer A, b: infer B) => infer R
   ? {
       (...args: [A]): (b: B) => R;
       (...args: [A, B]): R;
     }
   : never;
 
-type Curry3<Fn> = Fn extends (a: infer A, b: infer B, c: infer C) => infer R
+export type Curry3<Fn> = Fn extends (a: infer A, b: infer B, c: infer C) => infer R
   ? {
       (...args: [A]): (b: B) => (c: C) => R;
       (...args: [A, B]): (c: C) => R;
@@ -18,7 +18,7 @@ type Curry3<Fn> = Fn extends (a: infer A, b: infer B, c: infer C) => infer R
     }
   : never;
 
-type Curry4<Fn> = Fn extends (a: infer A, b: infer B, c: infer C, d: infer D) => infer R
+export type Curry4<Fn> = Fn extends (a: infer A, b: infer B, c: infer C, d: infer D) => infer R
   ? {
       (...args: [A]): (b: B) => (c: C) => (d: D) => R;
       (...args: [A, B]): (c: C) => (d: D) => R;
@@ -27,7 +27,7 @@ type Curry4<Fn> = Fn extends (a: infer A, b: infer B, c: infer C, d: infer D) =>
     }
   : never;
 
-type Curry5<Fn> = Fn extends (a: infer A, b: infer B, c: infer C, d: infer D, e: infer E) => infer R
+export type Curry5<Fn> = Fn extends (a: infer A, b: infer B, c: infer C, d: infer D, e: infer E) => infer R
   ? {
       (...args: [A]): (b: B) => (c: C) => (d: D) => (e: E) => R;
       (...args: [A, B]): (c: C) => (d: D) => (e: E) => R;
@@ -53,7 +53,7 @@ type CurryByArity<Fn extends (...args: any[]) => any> = Parameters<Fn>['length']
         ? Curry5<Fn>
         : CurryVariadic<Fn>;
 
-type Curried<Fn extends (...args: any[]) => any> = CurryByArity<Fn>;
+export type Curried<Fn extends (...args: any[]) => any> = CurryByArity<Fn>;
 
 function curry<Fn extends (...args: any[]) => any>(fn: Fn): Curried<Fn>;
 

package/src/implement/composition/from.ts

@@ -1,8 +1,15 @@
 /**
  * from - 입력을 무시하고 고정 값을 반환
  */
-function from<T>(value: T) {
-  return <I>(_input: I) => value;
+export type FromFn<T> = {
+  <I>(_input: I): T;
+  readonly __from: true;
+};
+
+function from<T>(value: T): FromFn<T> {
+  const fn = (_input: unknown) => value;
+  Object.defineProperty(fn, '__from', { value: true });
+  return fn as FromFn<T>;
 }
 
 export default from;

package/src/implement/composition/index.ts

@@ -3,15 +3,18 @@ export { default as pipeSideEffect } from './pipeSideEffect';
 export { default as pipeSideEffectStrict } from './pipeSideEffectStrict';
 export { default as compose } from './compose';
 export { default as curry } from './curry';
+export type { Curried, Curry2, Curry3, Curry4, Curry5 } from './curry';
 export { default as partial } from './partial';
 export { default as flip } from './flip';
 export { default as complement } from './complement';
 export { default as identity } from './identity';
 export { default as constant } from './constant';
 export { default as from } from './from';
+export type { FromFn } from './from';
 export { default as tap } from './tap';
 export { default as once } from './once';
 export { default as memoize } from './memoize';
 export { default as SideEffect } from './sideEffect';
 export { SideEffect as SideEffectClass } from './sideEffect';
 export { isSideEffect, matchSideEffect, runPipeResult } from './sideEffect';
+export type { MatchHandlers } from './sideEffect';

package/src/implement/composition/pipe.ts

@@ -1,3 +1,5 @@
+import type { FromFn } from './from';
+
 type UnaryFn<A, R> = (a: A) => R;
 type ZeroFn<R> = () => R;
 type PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]]
@@ -11,6 +13,7 @@ type PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, inf
       : never
     : never;
 type Pipe<Fns extends UnaryFn<any, any>[]> = (input: PipeInput<Fns>) => PipeOutput<Fns>;
+type PipeFrom<Fns extends [FromFn<any>, ...UnaryFn<any, any>[]]> = (input?: PipeInput<Fns>) => PipeOutput<Fns>;
 
 function pipe<R>(ab: ZeroFn<R>): () => R;
 function pipe<B, R>(ab: ZeroFn<B>, bc: UnaryFn<B, R>): () => R;
@@ -73,6 +76,7 @@ function pipe<B, C, D, E, F, G, H, I, J, R>(
   ij: UnaryFn<I, J>,
   jk: UnaryFn<J, R>
 ): () => R;
+function pipe<Fns extends [FromFn<any>, ...UnaryFn<any, any>[]]>(...funcs: Fns): PipeFrom<Fns>;
 function pipe<A, R>(ab: UnaryFn<A, R>): (a: A) => R;
 function pipe<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, R>): (a: A) => R;
 function pipe<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): (a: A) => R;