@sorrell/utilities 1.2.9 → 1.2.12

package/Distribution/PackageExports.Generated.json

@@ -89,6 +89,16 @@
             "types": "./Distribution/functional.d.cts"
         }
     },
+    "higher-kind": {
+        "import": {
+            "default": "./Distribution/higher-kind.js",
+            "types": "./Distribution/higher-kind.d.mts"
+        },
+        "require": {
+            "default": "./Distribution/higher-kind.cjs",
+            "types": "./Distribution/higher-kind.d.cts"
+        }
+    },
     "math": {
         "import": {
             "default": "./Distribution/math.js",
@@ -148,5 +158,25 @@
             "default": "./Distribution/record.cjs",
             "types": "./Distribution/record.d.cts"
         }
+    },
+    "string": {
+        "import": {
+            "default": "./Distribution/string.js",
+            "types": "./Distribution/string.d.mts"
+        },
+        "require": {
+            "default": "./Distribution/string.cjs",
+            "types": "./Distribution/string.d.cts"
+        }
+    },
+    "tsconfig": {
+        "import": {
+            "default": "./Distribution/tsconfig.js",
+            "types": "./Distribution/tsconfig.d.mts"
+        },
+        "require": {
+            "default": "./Distribution/tsconfig.cjs",
+            "types": "./Distribution/tsconfig.d.cts"
+        }
     }
 }

package/Distribution/Types/Async/Async.Types.d.cts

@@ -63,7 +63,7 @@ export type TPromiseCatchFunction<Type = unknown> = Parameters<TExtractFunction<
  * Promise<unknown>`, then the {@link FunctionType} will be treated as the synchronous
  * form, and the other type in this union will return a `Promise<Promise<infer ResolveType>>`.
  */
-export type TMaybeAsync<FunctionType extends TFunction, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
+export type TOrAsync<FunctionType extends TFunction<any, any>, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
 /**
  * A function that is an argument of a given {@link PromiseConstructorLike}`, which is called when
  * the {@link PromiseLike} created by the given {@link PromiseConstructorLike} resolves, if it resolves.

package/Distribution/Types/Async/Async.Types.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/Async/Async.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,CACnB,YAAY,SAAS,SAAS,EAC9B,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAEhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAI5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAChB,YAAY,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EACxC,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAIhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"
 }

package/Distribution/Types/Async/Async.Types.d.mts

@@ -63,7 +63,7 @@ export type TPromiseCatchFunction<Type = unknown> = Parameters<TExtractFunction<
  * Promise<unknown>`, then the {@link FunctionType} will be treated as the synchronous
  * form, and the other type in this union will return a `Promise<Promise<infer ResolveType>>`.
  */
-export type TMaybeAsync<FunctionType extends TFunction, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
+export type TOrAsync<FunctionType extends TFunction<any, any>, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
 /**
  * A function that is an argument of a given {@link PromiseConstructorLike}`, which is called when
  * the {@link PromiseLike} created by the given {@link PromiseConstructorLike} resolves, if it resolves.

package/Distribution/Types/Async/Async.Types.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/Async/Async.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,CACnB,YAAY,SAAS,SAAS,EAC9B,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAEhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAI5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAChB,YAAY,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EACxC,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAIhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"
 }

package/Distribution/Types/Async/Async.Types.d.ts

@@ -63,7 +63,7 @@ export type TPromiseCatchFunction<Type = unknown> = Parameters<TExtractFunction<
  * Promise<unknown>`, then the {@link FunctionType} will be treated as the synchronous
  * form, and the other type in this union will return a `Promise<Promise<infer ResolveType>>`.
  */
-export type TMaybeAsync<FunctionType extends TFunction, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
+export type TOrAsync<FunctionType extends TFunction<any, any>, RetainPromiseFlag extends boolean = false> = FunctionType extends TFunction<infer ArgumentVectorType, infer ReturnType> ? ReturnType extends Promise<infer ResolveType> ? RetainPromiseFlag extends true ? TFunction<ArgumentVectorType, ReturnType> : TFunction<ArgumentVectorType, ResolveType> : (TFunction<ArgumentVectorType, ReturnType> | TFunction<ArgumentVectorType, Promise<ReturnType>>) : never;
 /**
  * A function that is an argument of a given {@link PromiseConstructorLike}`, which is called when
  * the {@link PromiseLike} created by the given {@link PromiseConstructorLike} resolves, if it resolves.

package/Distribution/Types/Async/Async.Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Async.Types.d.ts","sourceRoot":"","sources":["../../../Source/Async/Async.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,CACnB,YAAY,SAAS,SAAS,EAC9B,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAEhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"}
+{"version":3,"file":"Async.Types.d.ts","sourceRoot":"","sources":["../../../Source/Async/Async.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;CACpB,GACC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,QAAQ,IACzB,OAAO,CAAC,QAAQ,CAAC,GACjB,CAAC,MAAM,QAAQ,CAAC,GAChB,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CACb,aAAa,GAAG,OAAO,EACvB,UAAU,GAAG,OAAO,IAEpB,CAAC,KAAK,EAAE,aAAa,KAAK,UAAU,CAAC;AAIzC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,IAAI,GAAG,OAAO,IAC5C,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAI5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAChB,YAAY,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EACxC,iBAAiB,SAAS,OAAO,GAAG,KAAK,IAEzC,YAAY,SAAS,SAAS,CAAC,MAAM,kBAAkB,EAAE,MAAM,UAAU,CAAC,GACpE,UAAU,SAAS,OAAO,CAAC,MAAM,WAAW,CAAC,GACzC,iBAAiB,SAAS,IAAI,GAC1B,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAC9C,CACI,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,GACzC,SAAS,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CACvD,GACH,KAAK,CAAC;AAIhB;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,WAAW,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACpB,WAAW,EACX,WAAW,GAAG,WAAW,IAEzB;IACI,CAAC,KAAK,EAAE,WAAW,GACb,WAAW,GACX,WAAW,CAAC,WAAW,CAAC,CAAC;CAClC,CAAC;AAEN;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,UAAU,IAC9B;IACI,CAAC,MAAM,EAAE,OAAO,GACV,UAAU,GACV,WAAW,CAAC,UAAU,CAAC,CAAC;CACjC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,CAAC,UAAU,GAAG,OAAO,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,KAAK,IACxD;IACI,CACI,OAAO,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC7B,IAAI,CAAC;CACX,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,IACtC,gBAAgB,CAAC,WAAW,CAAC,GAC7B,QAAQ,CAAC,WAAW,CAAC,GACrB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,UAAU,IAClC,UAAU,GACV,YAAY,CAAC,UAAU,CAAC,CAAC"}

package/Distribution/Types/Effect/Effect.Types.d.cts

@@ -5,12 +5,39 @@
  * @license   MIT
  */
 import type { Effect } from "effect";
+import type { TFunction } from "../Functional/index.cjs";
+export declare namespace From {
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given {@link FunctionsType | union}
+     * of types of functions that return {@link Effect.Effect | effects}.
+     *
+     * @template FunctionsType - The {@link Array} of functions of some argument vector type(s),
+     * which return {@link Effect.Effect | effects}.
+     */
+    type Functions<FunctionsType extends Array<TFunction<Array<unknown>, Any>>> = Effects<ReturnType<FunctionsType[number]>>;
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given union of {@link Effect.Effect | effects}.
+     *
+     * @template EffectType - The union of {@link Effect.Effect | effect types} from which
+     * this {@link Effect.Effect | effect type} is generated.
+     */
+    type Effects<EffectType extends Any> = Effect.Effect<EffectType extends Effect.Effect<infer SuccessType, unknown, unknown> ? SuccessType : never, EffectType extends Effect.Effect<unknown, infer ErrorType, unknown> ? ErrorType : never, EffectType extends Effect.Effect<unknown, unknown, infer RequirementsType> ? RequirementsType : never>;
+}
+/** A type representing *any* {@link Effect.Effect | effect}. */
 export type Any = Effect.Effect<any, any, any>;
-export type Factory<ArgumentVectorType, EffectType extends Any> = [
+/**
+ * A function that returns an {@link Effect.Effect | effect}.
+ *
+ * @template ArgumentVectorType - The tuple-type of this function's parameters.
+ * @template EffectType - The type of the {@link Effect.Effect | effect} returned by this.
+ */
+export type Factory<ArgumentVectorType extends Array<unknown> = never, EffectType extends Any = Any> = [
     ArgumentVectorType
 ] extends [never] ? {
     (): EffectType;
 } : {
-    (): EffectType;
+    (...ArgumentVector: ArgumentVectorType): EffectType;
 };
 //# sourceMappingURL=Effect.Types.d.cts.map

package/Distribution/Types/Effect/Effect.Types.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/Effect/Effect.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C,MAAM,MAAM,OAAO,CAAC,kBAAkB,EAAE,UAAU,SAAS,GAAG,IAC1D;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,IAAI,UAAU,CAAC;CAClB,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD,yBAAiB,IAAI,CACrB;IACI;;;;;;;OAOG;IACH,KAAY,SAAS,CACjB,aAAa,SAAS,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,IAC3D,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE/C;;;;;;OAMG;IACH,KAAY,OAAO,CAAC,UAAU,SAAS,GAAG,IACtC,MAAM,CAAC,MAAM,CACT,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,GAC/D,WAAW,GACX,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,SAAS,EAAE,OAAO,CAAC,GAC7D,SAAS,GACT,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC,GACpE,gBAAgB,GAChB,KAAK,CACd,CAAC;CACT;AAID,gEAAgE;AAChE,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CACf,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,EACjD,UAAU,SAAS,GAAG,GAAG,GAAG,IAE5B;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,CAAC,GAAG,cAAc,EAAE,kBAAkB,GAAG,UAAU,CAAC;CACvD,CAAC"
 }

package/Distribution/Types/Effect/Effect.Types.d.mts

@@ -5,12 +5,39 @@
  * @license   MIT
  */
 import type { Effect } from "effect";
+import type { TFunction } from "../Functional/index.mjs";
+export declare namespace From {
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given {@link FunctionsType | union}
+     * of types of functions that return {@link Effect.Effect | effects}.
+     *
+     * @template FunctionsType - The {@link Array} of functions of some argument vector type(s),
+     * which return {@link Effect.Effect | effects}.
+     */
+    type Functions<FunctionsType extends Array<TFunction<Array<unknown>, Any>>> = Effects<ReturnType<FunctionsType[number]>>;
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given union of {@link Effect.Effect | effects}.
+     *
+     * @template EffectType - The union of {@link Effect.Effect | effect types} from which
+     * this {@link Effect.Effect | effect type} is generated.
+     */
+    type Effects<EffectType extends Any> = Effect.Effect<EffectType extends Effect.Effect<infer SuccessType, unknown, unknown> ? SuccessType : never, EffectType extends Effect.Effect<unknown, infer ErrorType, unknown> ? ErrorType : never, EffectType extends Effect.Effect<unknown, unknown, infer RequirementsType> ? RequirementsType : never>;
+}
+/** A type representing *any* {@link Effect.Effect | effect}. */
 export type Any = Effect.Effect<any, any, any>;
-export type Factory<ArgumentVectorType, EffectType extends Any> = [
+/**
+ * A function that returns an {@link Effect.Effect | effect}.
+ *
+ * @template ArgumentVectorType - The tuple-type of this function's parameters.
+ * @template EffectType - The type of the {@link Effect.Effect | effect} returned by this.
+ */
+export type Factory<ArgumentVectorType extends Array<unknown> = never, EffectType extends Any = Any> = [
     ArgumentVectorType
 ] extends [never] ? {
     (): EffectType;
 } : {
-    (): EffectType;
+    (...ArgumentVector: ArgumentVectorType): EffectType;
 };
 //# sourceMappingURL=Effect.Types.d.mts.map

package/Distribution/Types/Effect/Effect.Types.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/Effect/Effect.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C,MAAM,MAAM,OAAO,CAAC,kBAAkB,EAAE,UAAU,SAAS,GAAG,IAC1D;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,IAAI,UAAU,CAAC;CAClB,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD,yBAAiB,IAAI,CACrB;IACI;;;;;;;OAOG;IACH,KAAY,SAAS,CACjB,aAAa,SAAS,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,IAC3D,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE/C;;;;;;OAMG;IACH,KAAY,OAAO,CAAC,UAAU,SAAS,GAAG,IACtC,MAAM,CAAC,MAAM,CACT,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,GAC/D,WAAW,GACX,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,SAAS,EAAE,OAAO,CAAC,GAC7D,SAAS,GACT,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC,GACpE,gBAAgB,GAChB,KAAK,CACd,CAAC;CACT;AAID,gEAAgE;AAChE,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CACf,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,EACjD,UAAU,SAAS,GAAG,GAAG,GAAG,IAE5B;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,CAAC,GAAG,cAAc,EAAE,kBAAkB,GAAG,UAAU,CAAC;CACvD,CAAC"
 }

package/Distribution/Types/Effect/Effect.Types.d.ts

@@ -5,12 +5,39 @@
  * @license   MIT
  */
 import type { Effect } from "effect";
+import type { TFunction } from "../Functional/index.ts";
+export declare namespace From {
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given {@link FunctionsType | union}
+     * of types of functions that return {@link Effect.Effect | effects}.
+     *
+     * @template FunctionsType - The {@link Array} of functions of some argument vector type(s),
+     * which return {@link Effect.Effect | effects}.
+     */
+    type Functions<FunctionsType extends Array<TFunction<Array<unknown>, Any>>> = Effects<ReturnType<FunctionsType[number]>>;
+    /**
+     * Define an {@link Effect.Effect | effect type} such that each type parameter
+     * is the respective union, generated from a given union of {@link Effect.Effect | effects}.
+     *
+     * @template EffectType - The union of {@link Effect.Effect | effect types} from which
+     * this {@link Effect.Effect | effect type} is generated.
+     */
+    type Effects<EffectType extends Any> = Effect.Effect<EffectType extends Effect.Effect<infer SuccessType, unknown, unknown> ? SuccessType : never, EffectType extends Effect.Effect<unknown, infer ErrorType, unknown> ? ErrorType : never, EffectType extends Effect.Effect<unknown, unknown, infer RequirementsType> ? RequirementsType : never>;
+}
+/** A type representing *any* {@link Effect.Effect | effect}. */
 export type Any = Effect.Effect<any, any, any>;
-export type Factory<ArgumentVectorType, EffectType extends Any> = [
+/**
+ * A function that returns an {@link Effect.Effect | effect}.
+ *
+ * @template ArgumentVectorType - The tuple-type of this function's parameters.
+ * @template EffectType - The type of the {@link Effect.Effect | effect} returned by this.
+ */
+export type Factory<ArgumentVectorType extends Array<unknown> = never, EffectType extends Any = Any> = [
     ArgumentVectorType
 ] extends [never] ? {
     (): EffectType;
 } : {
-    (): EffectType;
+    (...ArgumentVector: ArgumentVectorType): EffectType;
 };
 //# sourceMappingURL=Effect.Types.d.ts.map

package/Distribution/Types/Effect/Effect.Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Effect.Types.d.ts","sourceRoot":"","sources":["../../../Source/Effect/Effect.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE/C,MAAM,MAAM,OAAO,CAAC,kBAAkB,EAAE,UAAU,SAAS,GAAG,IAC1D;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,IAAI,UAAU,CAAC;CAClB,CAAC"}
+{"version":3,"file":"Effect.Types.d.ts","sourceRoot":"","sources":["../../../Source/Effect/Effect.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD,yBAAiB,IAAI,CACrB;IACI;;;;;;;OAOG;IACH,KAAY,SAAS,CACjB,aAAa,SAAS,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,IAC3D,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE/C;;;;;;OAMG;IACH,KAAY,OAAO,CAAC,UAAU,SAAS,GAAG,IACtC,MAAM,CAAC,MAAM,CACT,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,GAC/D,WAAW,GACX,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,SAAS,EAAE,OAAO,CAAC,GAC7D,SAAS,GACT,KAAK,EACX,UAAU,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC,GACpE,gBAAgB,GAChB,KAAK,CACd,CAAC;CACT;AAID,gEAAgE;AAChE,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CACf,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,EACjD,UAAU,SAAS,GAAG,GAAG,GAAG,IAE5B;IAAE,kBAAkB;CAAE,SAAS,CAAE,KAAK,CAAE,GAClC;IACE,IAAI,UAAU,CAAC;CAClB,GACC;IACE,CAAC,GAAG,cAAc,EAAE,kBAAkB,GAAG,UAAU,CAAC;CACvD,CAAC"}

package/Distribution/Types/Effect/index.d.cts

@@ -4,5 +4,6 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export * as Effect from "./Index.Effect.cjs";
+export * from "effect";
+export * as Effect from "./Effect.Types.cjs";
 //# sourceMappingURL=index.d.cts.map

package/Distribution/Types/Effect/index.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/Effect/index.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,cAAc,QAAQ,CAAC;AACvB,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"
 }

package/Distribution/Types/Effect/index.d.mts

@@ -4,5 +4,6 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export * as Effect from "./Index.Effect.mjs";
+export * from "effect";
+export * as Effect from "./Effect.Types.mjs";
 //# sourceMappingURL=index.d.mts.map

package/Distribution/Types/Effect/index.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/Effect/index.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"
+    "mappings": "AAAA;;;;;GAKG;AAEH,cAAc,QAAQ,CAAC;AACvB,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"
 }

package/Distribution/Types/Effect/index.d.ts

@@ -4,5 +4,6 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export * as Effect from "./Index.Effect.ts";
+export * from "effect";
+export * as Effect from "./Effect.Types.ts";
 //# sourceMappingURL=index.d.ts.map

package/Distribution/Types/Effect/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../Source/Effect/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../Source/Effect/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,QAAQ,CAAC;AACvB,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC"}

package/Distribution/Types/FileSystem/FileSystem.d.cts

@@ -52,4 +52,20 @@ export declare function IsValidFileName(DirectoryPath: string, FileName: string,
  * ```
  */
 export declare function WriteTextFile(Path: string, Contents: string): Promise<void>;
+type DeletePhase = "Scanning" | "Deleting" | "Done";
+type DeleteProgress = {
+    Phase: DeletePhase;
+    CurrentPath: string | null;
+    DiscoveredEntries: number;
+    TotalEntries: number;
+    DeletedEntries: number;
+    TotalBytes: number;
+    DeletedBytes: number;
+};
+type DeleteWithProgressOptions = {
+    OnProgress?: (Progress: DeleteProgress) => void;
+    Signal?: AbortSignal;
+};
+export declare function DeleteWithProgress(RootPath: string, Options?: DeleteWithProgressOptions): Promise<void>;
+export {};
 //# sourceMappingURL=FileSystem.d.cts.map

package/Distribution/Types/FileSystem/FileSystem.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/FileSystem/FileSystem.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF"
+    "mappings": "AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF;AAMD,KAAK,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;AAUpD,KAAK,cAAc,GAAG;IAClB,KAAK,EAAE,WAAW,CAAC;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,KAAK,yBAAyB,GAAG;IAC7B,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,IAAI,CAAC;IAChD,MAAM,CAAC,EAAE,WAAW,CAAC;CACxB,CAAC;AAwFF,wBAAsB,kBAAkB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,yBAA8B,GACxC,OAAO,CAAC,IAAI,CAAC,CAsDf"
 }

package/Distribution/Types/FileSystem/FileSystem.d.mts

@@ -52,4 +52,20 @@ export declare function IsValidFileName(DirectoryPath: string, FileName: string,
  * ```
  */
 export declare function WriteTextFile(Path: string, Contents: string): Promise<void>;
+type DeletePhase = "Scanning" | "Deleting" | "Done";
+type DeleteProgress = {
+    Phase: DeletePhase;
+    CurrentPath: string | null;
+    DiscoveredEntries: number;
+    TotalEntries: number;
+    DeletedEntries: number;
+    TotalBytes: number;
+    DeletedBytes: number;
+};
+type DeleteWithProgressOptions = {
+    OnProgress?: (Progress: DeleteProgress) => void;
+    Signal?: AbortSignal;
+};
+export declare function DeleteWithProgress(RootPath: string, Options?: DeleteWithProgressOptions): Promise<void>;
+export {};
 //# sourceMappingURL=FileSystem.d.mts.map

package/Distribution/Types/FileSystem/FileSystem.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/FileSystem/FileSystem.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF"
+    "mappings": "AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF;AAMD,KAAK,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;AAUpD,KAAK,cAAc,GAAG;IAClB,KAAK,EAAE,WAAW,CAAC;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,KAAK,yBAAyB,GAAG;IAC7B,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,IAAI,CAAC;IAChD,MAAM,CAAC,EAAE,WAAW,CAAC;CACxB,CAAC;AAwFF,wBAAsB,kBAAkB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,yBAA8B,GACxC,OAAO,CAAC,IAAI,CAAC,CAsDf"
 }

package/Distribution/Types/FileSystem/FileSystem.d.ts

@@ -52,4 +52,20 @@ export declare function IsValidFileName(DirectoryPath: string, FileName: string,
  * ```
  */
 export declare function WriteTextFile(Path: string, Contents: string): Promise<void>;
+type DeletePhase = "Scanning" | "Deleting" | "Done";
+type DeleteProgress = {
+    Phase: DeletePhase;
+    CurrentPath: string | null;
+    DiscoveredEntries: number;
+    TotalEntries: number;
+    DeletedEntries: number;
+    TotalBytes: number;
+    DeletedBytes: number;
+};
+type DeleteWithProgressOptions = {
+    OnProgress?: (Progress: DeleteProgress) => void;
+    Signal?: AbortSignal;
+};
+export declare function DeleteWithProgress(RootPath: string, Options?: DeleteWithProgressOptions): Promise<void>;
+export {};
 //# sourceMappingURL=FileSystem.d.ts.map

package/Distribution/Types/FileSystem/FileSystem.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FileSystem.d.ts","sourceRoot":"","sources":["../../../Source/FileSystem/FileSystem.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF"}
+{"version":3,"file":"FileSystem.d.ts","sourceRoot":"","sources":["../../../Source/FileSystem/FileSystem.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAmB5D;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAuC3E;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAqBpE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,eAAe,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,GAAE,OAAe,EAC/B,SAAS,GAAE,cAAc,GAAG,SAAqB,GAClD,OAAO,CAAC,OAAO,CAAC,CAmClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGjF;AAMD,KAAK,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;AAUpD,KAAK,cAAc,GAAG;IAClB,KAAK,EAAE,WAAW,CAAC;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,KAAK,yBAAyB,GAAG;IAC7B,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,IAAI,CAAC;IAChD,MAAM,CAAC,EAAE,WAAW,CAAC;CACxB,CAAC;AAwFF,wBAAsB,kBAAkB,CACpC,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,yBAA8B,GACxC,OAAO,CAAC,IAAI,CAAC,CAsDf"}

package/Distribution/Types/Functional/Functional.Types.d.cts

@@ -4,7 +4,7 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-import type { TMaybeAsync } from "../Async/Async.Types.cjs";
+import type { TOrAsync } from "../Async/Async.Types.cjs";
 export type TExtractFunction<Type> = Type extends {
     (...ArgumentVector: infer ArgumentVectorType): infer ReturnType;
 } ? (...ArgumentVector: ArgumentVectorType) => ReturnType : never;
@@ -21,8 +21,8 @@ export type TFunction<ArgumentType = never, ReturnType = void> = [
     ArgumentType
 ] extends [never] ? {
     (): ReturnType;
-} : ArgumentType extends Array<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
+} : ArgumentType extends Array<unknown> | ReadonlyArray<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
 export declare namespace TFunction {
-    type MaybeAsync<ArgumentVectorType extends Array<unknown> = [], ReturnType = void> = TMaybeAsync<TFunction<ArgumentVectorType, ReturnType>>;
+    type OrAsync<ArgumentType = never, ReturnType = void> = TOrAsync<TFunction<ArgumentType, ReturnType>>;
 }
 //# sourceMappingURL=Functional.Types.d.cts.map

package/Distribution/Types/Functional/Functional.Types.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/Functional/Functional.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAC/B,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,UAAU,CAClB,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,EAAG,EAC/C,UAAU,GAAG,IAAI,IAEjB,WAAW,CAAC,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;CAC9D"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,GACxD,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,OAAO,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACvD,QAAQ,CAAC,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;CACrD"
 }

package/Distribution/Types/Functional/Functional.Types.d.mts

@@ -4,7 +4,7 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-import type { TMaybeAsync } from "../Async/Async.Types.mjs";
+import type { TOrAsync } from "../Async/Async.Types.mjs";
 export type TExtractFunction<Type> = Type extends {
     (...ArgumentVector: infer ArgumentVectorType): infer ReturnType;
 } ? (...ArgumentVector: ArgumentVectorType) => ReturnType : never;
@@ -21,8 +21,8 @@ export type TFunction<ArgumentType = never, ReturnType = void> = [
     ArgumentType
 ] extends [never] ? {
     (): ReturnType;
-} : ArgumentType extends Array<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
+} : ArgumentType extends Array<unknown> | ReadonlyArray<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
 export declare namespace TFunction {
-    type MaybeAsync<ArgumentVectorType extends Array<unknown> = [], ReturnType = void> = TMaybeAsync<TFunction<ArgumentVectorType, ReturnType>>;
+    type OrAsync<ArgumentType = never, ReturnType = void> = TOrAsync<TFunction<ArgumentType, ReturnType>>;
 }
 //# sourceMappingURL=Functional.Types.d.mts.map

package/Distribution/Types/Functional/Functional.Types.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/Functional/Functional.Types.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAC/B,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,UAAU,CAClB,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,EAAG,EAC/C,UAAU,GAAG,IAAI,IAEjB,WAAW,CAAC,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;CAC9D"
+    "mappings": "AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,GACxD,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,OAAO,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACvD,QAAQ,CAAC,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;CACrD"
 }

package/Distribution/Types/Functional/Functional.Types.d.ts

@@ -4,7 +4,7 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-import type { TMaybeAsync } from "../Async/Async.Types.ts";
+import type { TOrAsync } from "../Async/Async.Types.ts";
 export type TExtractFunction<Type> = Type extends {
     (...ArgumentVector: infer ArgumentVectorType): infer ReturnType;
 } ? (...ArgumentVector: ArgumentVectorType) => ReturnType : never;
@@ -21,8 +21,8 @@ export type TFunction<ArgumentType = never, ReturnType = void> = [
     ArgumentType
 ] extends [never] ? {
     (): ReturnType;
-} : ArgumentType extends Array<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
+} : ArgumentType extends Array<unknown> | ReadonlyArray<unknown> ? (...ArgumentVector: ArgumentType) => ReturnType : (Argument: ArgumentType) => ReturnType;
 export declare namespace TFunction {
-    type MaybeAsync<ArgumentVectorType extends Array<unknown> = [], ReturnType = void> = TMaybeAsync<TFunction<ArgumentVectorType, ReturnType>>;
+    type OrAsync<ArgumentType = never, ReturnType = void> = TOrAsync<TFunction<ArgumentType, ReturnType>>;
 }
 //# sourceMappingURL=Functional.Types.d.ts.map

package/Distribution/Types/Functional/Functional.Types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Functional.Types.d.ts","sourceRoot":"","sources":["../../../Source/Functional/Functional.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAC/B,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,UAAU,CAClB,kBAAkB,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,EAAG,EAC/C,UAAU,GAAG,IAAI,IAEjB,WAAW,CAAC,SAAS,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;CAC9D"}
+{"version":3,"file":"Functional.Types.d.ts","sourceRoot":"","sources":["../../../Source/Functional/Functional.Types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,MAAM,MAAM,gBAAgB,CAAC,IAAI,IAC7B,IAAI,SAAS;IAAE,CAAC,GAAG,cAAc,EAAE,MAAM,kBAAkB,GAAG,MAAM,UAAU,CAAA;CAAE,GAC1E,CAAC,GAAG,cAAc,EAAE,kBAAkB,KAAK,UAAU,GACrD,KAAK,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACzD;IAAE,YAAY;CAAE,SAAS,CAAE,KAAK,CAAE,GAC5B;IACE,IAAI,UAAU,CAAC;CAClB,GACC,YAAY,SAAS,KAAK,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,GACxD,CAAC,GAAG,cAAc,EAAE,YAAY,KAAK,UAAU,GAC/C,CAAC,QAAQ,EAAE,YAAY,KAAK,UAAU,CAAC;AAErD,yBAAiB,SAAS,CAC1B;IACI,KAAY,OAAO,CAAC,YAAY,GAAG,KAAK,EAAE,UAAU,GAAG,IAAI,IACvD,QAAQ,CAAC,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;CACrD"}

package/Distribution/Types/Functional/Functional.d.cts

@@ -4,5 +4,11 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export declare function Identity<Type>(...Arguments: Array<Type>): Type[];
+/**
+ * The identity mapping, for some {@link Array} of {@link ArgumentVector | given arguments}.
+ *
+ * @param ArgumentVector - The {@link Array} of given arguments.
+ * @returns {typeof ArgumentVector} The {@link Array} of given arguments.
+ */
+export declare function Identity<ArgumentType>(...ArgumentVector: Array<ArgumentType>): typeof ArgumentVector;
 //# sourceMappingURL=Functional.d.cts.map

package/Distribution/Types/Functional/Functional.d.cts.map

@@ -6,5 +6,5 @@
         "../../../Source/Functional/Functional.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAMH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,UAGvD"
+    "mappings": "AAAA;;;;;GAKG;AAIH;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,YAAY,EACjC,GAAG,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,GACvC,OAAO,cAAc,CAGvB"
 }

package/Distribution/Types/Functional/Functional.d.mts

@@ -4,5 +4,11 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export declare function Identity<Type>(...Arguments: Array<Type>): Type[];
+/**
+ * The identity mapping, for some {@link Array} of {@link ArgumentVector | given arguments}.
+ *
+ * @param ArgumentVector - The {@link Array} of given arguments.
+ * @returns {typeof ArgumentVector} The {@link Array} of given arguments.
+ */
+export declare function Identity<ArgumentType>(...ArgumentVector: Array<ArgumentType>): typeof ArgumentVector;
 //# sourceMappingURL=Functional.d.mts.map

package/Distribution/Types/Functional/Functional.d.mts.map

@@ -6,5 +6,5 @@
         "../../../Source/Functional/Functional.ts"
     ],
     "names": [],
-    "mappings": "AAAA;;;;;GAKG;AAMH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,UAGvD"
+    "mappings": "AAAA;;;;;GAKG;AAIH;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,YAAY,EACjC,GAAG,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,GACvC,OAAO,cAAc,CAGvB"
 }

package/Distribution/Types/Functional/Functional.d.ts

@@ -4,5 +4,11 @@
  * @copyright (c) 2026 Gage Sorrell
  * @license   MIT
  */
-export declare function Identity<Type>(...Arguments: Array<Type>): Type[];
+/**
+ * The identity mapping, for some {@link Array} of {@link ArgumentVector | given arguments}.
+ *
+ * @param ArgumentVector - The {@link Array} of given arguments.
+ * @returns {typeof ArgumentVector} The {@link Array} of given arguments.
+ */
+export declare function Identity<ArgumentType>(...ArgumentVector: Array<ArgumentType>): typeof ArgumentVector;
 //# sourceMappingURL=Functional.d.ts.map

package/Distribution/Types/Functional/Functional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Functional.d.ts","sourceRoot":"","sources":["../../../Source/Functional/Functional.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,UAGvD"}
+{"version":3,"file":"Functional.d.ts","sourceRoot":"","sources":["../../../Source/Functional/Functional.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,YAAY,EACjC,GAAG,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,GACvC,OAAO,cAAc,CAGvB"}

package/Distribution/Types/HigherKind/HigherKind.Internal.Types.d.cts

@@ -0,0 +1,30 @@
+/**
+ * @file      HigherKind.Internal.Types.ts
+ * @author    Gage Sorrell <gage@sorrell.sh>
+ * @copyright (c) 2026 Gage Sorrell
+ * @license   MIT
+ */
+import type * as Registrar from "./HigherKind.Registrar.Types.cjs";
+export declare namespace Keyof {
+    type OneParam = keyof Registrar.OneParam<any>;
+    type TwoParams = keyof Registrar.TwoParams<any, any>;
+    type ThreeParams = keyof Registrar.ThreeParams<any, any, any>;
+    type FourParams = keyof Registrar.FourParams<any, any, any, any>;
+    type FiveParams = keyof Registrar.FiveParams<any, any, any, any, any>;
+    type SixParams = keyof Registrar.SixParams<any, any, any, any, any, any>;
+    type SevenParams = keyof Registrar.SevenParams<any, any, any, any, any, any, any>;
+    type EightParams = keyof Registrar.EightParams<any, any, any, any, any, any, any, any>;
+}
+export type Keyof = Keyof.OneParam | Keyof.TwoParams | Keyof.ThreeParams | Keyof.FourParams | Keyof.FiveParams | Keyof.SixParams | Keyof.SevenParams | Keyof.EightParams;
+export declare namespace ParameterVector {
+    type OneParam = [unknown];
+    type TwoParams = [unknown, unknown];
+    type ThreeParams = [unknown, unknown, unknown];
+    type FourParams = [unknown, unknown, unknown, unknown];
+    type FiveParams = [unknown, unknown, unknown, unknown, unknown];
+    type SixParams = [unknown, unknown, unknown, unknown, unknown, unknown];
+    type SevenParams = [unknown, unknown, unknown, unknown, unknown, unknown, unknown];
+    type EightParams = [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown];
+}
+export type ParameterVector = ParameterVector.OneParam | ParameterVector.TwoParams | ParameterVector.ThreeParams | ParameterVector.FourParams | ParameterVector.FiveParams | ParameterVector.SixParams | ParameterVector.SevenParams | ParameterVector.EightParams;
+//# sourceMappingURL=HigherKind.Internal.Types.d.cts.map