fnts 3.0.1 → 3.0.3

package/README.md

@@ -5,13 +5,13 @@
 
 <p align="center">
     <a href="https://github.com/drizzer14/fnts/blob/main/LICENSE">
-      <img src="https://img.shields.io/github/license/drizzer14/fnts" />
+      <img src="https://img.shields.io/github/license/drizzer14/fnts?color=blue&style=for-the-badge" />
     </a>
-    <a href="https://travis-ci.com/github/drizzer14/fnts">
-      <img src="https://img.shields.io/travis/com/drizzer14/fnts" />
+    <a href="https://github.com/drizzer14/fnts/actions/workflows/workflow.yml">
+      <img src="https://img.shields.io/github/actions/workflow/status/drizzer14/fnts/workflow.yml?color=blue&style=for-the-badge" />
     </a>
     <a href="https://www.npmjs.com/package/fnts">
-      <img src="https://img.shields.io/npm/v/fnts" />
+      <img src="https://img.shields.io/npm/v/fnts?color=blue&style=for-the-badge" />
     </a>
 </p>
 

package/either/index.d.ts

@@ -1,3 +1,4 @@
+export * from './operators/index.js';
 export { default, Either } from './either.js';
 export { default as left, Left } from './left.js';
 export { default as right, Right } from './right.js';

package/either/index.js

@@ -1,3 +1,4 @@
+export * from './operators/index.js';
 export { default } from './either.js';
 export { default as left } from './left.js';
 export { default as right } from './right.js';

package/lens/get.d.ts

@@ -1,24 +1,24 @@
 /**
  * @module Lens
  */
-import type { Flatten, Flattenable } from '../types/flatten';
+import type { Flatten, Flattenable, NormalizeFlattenable } from '../types/flatten';
 /**
  * Gets the value type inside a nested object type `Source` by provided `Path`
  * written in dot-notation.
  */
-export type Get<Source extends Flattenable, Path extends string> = Source extends Record<string, unknown> ? Path extends `${number}.${infer Right}` ? Get<Source, Right> : Path extends `${infer Left extends keyof Source}.${infer Right}` ? Get<Exclude<Source[Left], undefined>, Right> | Extract<Source[Left], undefined> : Path extends keyof Source ? Source[Path] : never : Source extends any[] ? Path extends `${infer Index extends number}.${infer Right}` ? Get<Exclude<Source[Index], undefined>, Right> | Extract<Source[Index], undefined> : Path extends `${infer Index extends number}` ? Source[Index] : never : never;
+export type Get<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>> = Path extends keyof Source ? Source[Path] : (Path extends `${infer Left}.${infer Right}` ? (Left extends keyof NormalizeFlattenable<Source> ? (NormalizeFlattenable<Source>[Left] extends Flattenable ? Get<NormalizeFlattenable<Source>[Left], Right> : never) : never) : never);
 /**
  * Gets the value inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function get<Source extends Flattenable>(source: Source): <Path extends Flatten<Source>>(path: Path) => Get<Source, Path>;
+export default function get<Source extends Flattenable>(source: Source): <Path extends Flatten<NormalizeFlattenable<Source>>>(path: Path) => Get<Source, Path>;
 /**
  * Gets the value inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function get<Source extends Flattenable, Path extends Flatten<Source>>(path: Path): (source: Source) => Get<Source, Path>;
+export default function get<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>>(path: Path): (source: Source) => Get<Source, Path>;
 /**
  * Gets the value inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function get<Source extends Flattenable, Path extends Flatten<Source>>(source: Source, path: Path): Get<Source, Path>;
+export default function get<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>>(source: Source, path: Path): Get<Source, Path>;

package/lens/lens.d.ts

@@ -1,7 +1,7 @@
 /**
  * @module Lens
  */
-import type { Flatten, Flattenable } from '../types';
+import type { Flatten, Flattenable, NormalizeFlattenable } from '../types';
 import { Get } from './get.js';
 import { Set } from './set.js';
 /**
@@ -9,8 +9,8 @@ import { Set } from './set.js';
  * effectively creating a functional lens.
  */
 export interface Lens<Source extends Flattenable> {
-    <Path extends Flatten<Source>>(path: Path): Get<Source, Path>;
-    <Path extends Flatten<Source>, Value extends Get<Source, Path>>(path: Path, value: Value): Set<Source, Path, Value>;
+    <Path extends Flatten<NormalizeFlattenable<Source>>>(path: Path): Get<Source, Path>;
+    <Path extends Flatten<NormalizeFlattenable<Source>>, Value extends Get<Source, Path>>(path: Path, value: Value): Set<Source, Path, Value>;
 }
 /**
  * Creates a wrapper for a given `source` that provides access to both `get` and `set` functionalities for it,

package/lens/lens.js

@@ -12,6 +12,7 @@ export default function lens(source) {
     const setter = set(source);
     // @ts-ignore
     return (...args) => {
+        // @ts-ignore
         return args.length === 1 ? getter(args[0]) : setter(args[0], args[1]);
     };
 }

package/lens/set.d.ts

@@ -2,29 +2,29 @@
  * @module Lens
  */
 import type { Unshift } from '../types/unshift';
-import type { Flatten, Flattenable } from '../types/flatten';
+import type { Flatten, Flattenable, NormalizeFlattenable } from '../types/flatten';
 import type { Get } from './get.js';
 /**
  * Sets the `Value` type inside a nested object type `Source` by provided `Path`
  * written in dot-notation.
  */
-export type Set<Source extends Flattenable, Path extends string, Value> = Source extends Record<string, unknown> ? Path extends `${number}.${infer Right}` ? Set<Source, Right, Value> : Path extends `${infer Left extends keyof Source}.${infer Right}` ? {
+export type Set<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>, Value extends Get<Source, Path>> = Source extends Record<string, unknown> ? (Path extends `${number}.${infer Right}` ? Set<Source, Right, Value> : (Path extends `${infer Left}.${infer Right}` ? {
     [Key in keyof Source]: Key extends Exclude<keyof Source, Left> ? Source[Key] : Set<Exclude<Source[Left], undefined>, Right, Value>;
-} : Path extends keyof Source ? {
+} : (Path extends keyof Source ? {
     [Key in keyof Source]: Key extends Exclude<keyof Source, Path> ? Source[Key] : Value;
-} : never : Source extends any[] ? Path extends `${infer Index extends number}.${infer Right}` ? Unshift<Source, Index, Set<Exclude<Source[Index], undefined>, Right, Value>> : Path extends `${infer Index extends number}` ? Unshift<Source, Index, Value> : never : never;
+} : never))) : (Source extends any[] ? (Path extends `${infer Index extends number}.${infer Right}` ? Unshift<Source, Index, Set<Exclude<Source[Index], undefined>, Right, Value>> : (Path extends `${infer Index extends number}` ? Unshift<Source, Index, Value> : never)) : never);
 /**
  * Sets the `value` inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function set<Source extends Flattenable>(source: Source): <Path extends Flatten<Source>, Value extends Get<Source, Path>>(path: Path, value: Value) => Set<Source, Path, Value>;
+export default function set<Source extends Flattenable>(source: Source): <Path extends Flatten<NormalizeFlattenable<Source>>, Value extends Get<Source, Path>>(path: Path, value: Value) => Set<Source, Path, Value>;
 /**
  * Sets the `value` inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function set<Source extends Flattenable, Path extends Flatten<Source>, Value extends Get<Source, Path>>(path: Path, value: Value): (source: Source) => Set<Source, Path, Value>;
+export default function set<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>, Value extends Get<Source, Path>>(path: Path, value: Value): (source: Source) => Set<Source, Path, Value>;
 /**
  * Sets the `value` inside a nested `source` object by provided `path`
  * written in dot-notation.
  */
-export default function set<Source extends Flattenable, Path extends Flatten<Source>, Value extends Get<Source, Path>>(source: Source, path: Path, value: Value): Set<Source, Path, Value>;
+export default function set<Source extends Flattenable, Path extends Flatten<NormalizeFlattenable<Source>>, Value extends Get<Source, Path>>(source: Source, path: Path, value: Value): Set<Source, Path, Value>;

package/lens/set.js

@@ -12,7 +12,6 @@ export default function set(...args) {
             return (path, value) => setter(args[0], path, value);
         }
         case 2: {
-            // @ts-ignore
             return (source) => setter(source, args[0], args[1]);
         }
         case 3: {
@@ -21,9 +20,7 @@ export default function set(...args) {
         }
     }
 }
-function setter(source, path, value
-// @ts-ignore
-) {
+function setter(source, path, value) {
     // @ts-ignore
     const keys = path.split('.');
     const length = keys.length;
@@ -40,6 +37,5 @@ function setter(source, path, value
             scope = scope?.[keys?.[index]];
         }
     }
-    // @ts-ignore
     return result;
 }

package/maybe/index.d.ts

@@ -1,3 +1,4 @@
+export * from './operators/index.js';
 export { default, Maybe } from './maybe.js';
 export { default as just, Just } from './just.js';
 export { default as nothing, Nothing } from './nothing.js';

package/maybe/index.js

@@ -1,3 +1,4 @@
+export * from './operators/index.js';
 export { default } from './maybe.js';
 export { default as just } from './just.js';
 export { default as nothing } from './nothing.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fnts",
-  "version": "3.0.1",
+  "version": "3.0.3",
   "license": "MIT",
   "author": "Dmytro Vasylkivskyi",
   "description": "TypeScript / JavaScript FP utilities",
@@ -15,13 +15,6 @@
   "homepage": "https://drizzer14.github.io/fnts",
   "repository": "https://github.com/drizzer14/fnts",
   "type": "module",
-  "module": "index.js",
-  "types": "index.d.ts",
-  "sideEffects": false,
-  "engines": {
-    "node": ">=20.13.1",
-    "npm": ">=10.5.2"
-  },
   "peerDependencies": {
     "typescript": ">=5.0"
   },
@@ -29,5 +22,24 @@
     "typescript": {
       "optional": true
     }
+  },
+  "module": "index.js",
+  "types": "index.d.ts",
+  "sideEffects": false,
+  "exports": {
+    ".": "./index.js",
+    "./apply": "./apply.js",
+    "./compose": "./compose.js",
+    "./curry": "./curry.js",
+    "./guard": "./guard.js",
+    "./identity": "./identity.js",
+    "./inject": "./inject.js",
+    "./pipe": "./pipe.js",
+    "./rethrow": "./rethrow.js",
+    "./tap": "./tap.js",
+    "./either": "./either/index.js",
+    "./lens": "./lens/index.js",
+    "./maybe": "./maybe/index.js",
+    "./permutation": "./permutation/index.js"
   }
 }

package/tsconfig.json

@@ -11,7 +11,6 @@
     "esModuleInterop": true,
     "strict": true,
     "alwaysStrict": true,
-    "skipLibCheck": true,
     "noImplicitAny": true,
     "noUnusedLocals": false,
     "strictNullChecks": true,
@@ -21,6 +20,7 @@
     "strictFunctionTypes": true,
     "strictBindCallApply": true,
     "allowUnreachableCode": false,
-    "forceConsistentCasingInFileNames": true
+    "forceConsistentCasingInFileNames": true,
+    "ignoreDeprecations": "5.0"
   }
 }

package/types/flatten.d.ts

@@ -5,30 +5,28 @@
 /**
  * Type subjective to flattening.
  */
-export type Flattenable = Record<string, unknown> | any[]
+export type Flattenable = Record<string, unknown> | Array<any>
+
+export type NormalizeFlattenable<Source extends Flattenable> = 
+  Source extends Array<infer Element>
+    ? Record<`${number}`, Element>
+    : Source
 
 /**
  * Recursively flattens object type to a union of its keys
  * combined through dot-notation.
  */
 export type Flatten<
-  Source extends Record<string, unknown> | any[],
-> = keyof Source extends keyof any[]
-  ? `${number}`
-  : (
-    | keyof Source
+  Source extends Flattenable,
+> = | keyof NormalizeFlattenable<Source>
     | keyof {
       [
         Key in keyof Source as
           Key extends string
-            ? Source[Key] extends Record<string, unknown>
-              ? `${Key}.${Flatten<Source[Key]>}`
-              : Source[Key] extends any[]
-                ? Source[Key] extends Array<any[]> | Record<string, unknown>[]
-                    ? `${Key}.${number}` | `${Key}.${number}.${Flatten<Source[Key][number]>}`
-                    : `${Key}.${number}`
-                : Key
+            ? (Source[Key] extends Flattenable
+              // @ts-ignore
+              ? `${Key}.${Flatten<NormalizeFlattenable<Source[Key]>>}`
+              : Key)
             : never
-      ] : never
+      ]: never
     }
-  )

package/types/unshift.d.ts

@@ -8,7 +8,7 @@ import { Slice } from './slice'
 /**
  * Replaces `T` element on specified index `I` with `E`.
  */
-export type Unshift<T extends any[] | readonly any[], I extends number, E> =
+export type Unshift<T extends readonly any[], I extends number, E> =
   I extends 0
     ? [E, ...Slice<T, 1>]
     : I extends Trim<T, 1>['length']