pepka 1.6.3 → 1.6.5

package/dist/bundle.cjs

@@ -71,17 +71,21 @@ function curry3(fn) {
     return curry(fn);
 }
 
+const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/;
+const is_typed_arr = (t) => typed_arr_re.test(t);
+
 const undef = undefined;
 const nul = null;
 const inf = Infinity;
 const to = (s) => typeof s;
-const isNull = (s) => s === nul;
-const isUndef = (s) => s === undef;
-const isNum = (s) => to(s) == 'number';
-const isArray = (s) => Array.isArray(s);
-const isFunc = (s) => to(s) === 'function';
-const isStr = (s) => to(s) === 'string';
-const isObj = (s) => !isNull(s) && to(s) === 'object';
+const isNull = (s) => (s === nul);
+const isUndef = (s) => (s === undef);
+const isNum = (s) => (to(s) == 'number');
+const isArray = (s) => (Array.isArray(s));
+function isFunc(s) { return to(s) === 'function'; }
+const isStr = (s) => (to(s) === 'string');
+const isObj = (s) => (!isNull(s) && to(s) === 'object');
+const isNil = (s) => (isNull(s) || isUndef(s));
 
 // It's faster that toUpperCase() !
 const caseMap = { u: 'U', b: 'B', n: 'N', s: 'S', f: 'F' };
@@ -96,11 +100,10 @@ const type = (s) => {
 };
 const typeIs = curry2((t, s) => type(s) === t);
 const length = (s) => s.length;
-const isNil = (s) => isNull(s) || isUndef(s);
 const eq = curry2((a, b) => a === b);
 const equals = curry2((a, b) => {
     const typea = type(a);
-    if (eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array'))) {
+    if (eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array') || is_typed_arr(typea))) {
         if (isNull(a) || isNull(b))
             return eq(a, b);
         if (eq(a, b))
@@ -241,6 +244,7 @@ const qfreeze = (o) => {
 };
 const qfreezeShallow = (o) => Object.freeze(o);
 const qprepend = curry2((x, xs) => xs.unshift(x));
+const qsort = curry2((sortFn, xs) => xs.sort(sortFn));
 const qassocPath = curry3((_path, v, o) => {
     const first = _path[0];
     return qassoc(first, _path.length < 2
@@ -277,6 +281,10 @@ const compose = ((...fns) => (...args) => {
 });
 const bind = curry2((fn, context) => fn.bind(context));
 const nth = curry2((i, data) => data[i]);
+// FIXME: these types. Somewhere in curry2.
+// const x = nth(0)([1,2,3])
+// const y = nth(0)('123')
+// const z = nth(0)(new Uint8Array([0,2,3]))
 const slice = curry3((from, to, o) => o.slice(from, (isNum(to) ? to : inf)));
 const flip = (fn) => curry2((b, a) => fn(a, b));
 /** @returns first element of an array or a string. */
@@ -301,7 +309,7 @@ const lt = curry2((a, b) => a > b);
 const gte = curry2((a, b) => a <= b);
 /** @param a @param b @returns a≥b  */
 const lte = curry2((a, b) => a >= b);
-const sort = curry2((sortFn, xs) => xs.sort(sortFn)); // TODO: make it shallow cloning.
+const sort = curry2((sortFn, xs) => [...xs].sort(sortFn));
 const find = curry2((fn, s) => s.find(fn));
 const findIndex = curry2((fn, s) => s.findIndex(fn));
 const indexOf = curry2((x, xs) => findIndex(equals(x), xs));
@@ -413,7 +421,7 @@ const allPass = curry2((preds, x) => preds.every((pred) => pred(x)));
 const anyPass = curry2((preds, x) => preds.some((pred) => pred(x)));
 /** @param key string @param o AnyObject @returns o[key] */
 const prop = curry2((key, o) => o[key]);
-/** @param key string @param value any @param o AnyObject @returns o[key] equals value */
+/** @param key string @param value any @param o AnyObject @returns boolean o[key] equals value */
 const propEq = curry3((key, value, o) => equals(o[key], value));
 /** @param key string @param o1 AnyObject @param o2 AnyObject @returns o₁[key] equals o₂[key] */
 const propsEq = curry3((key, o1, o2) => equals(o1[key], o2[key]));
@@ -426,7 +434,6 @@ const path = pathOr(undef);
 const pathEq = curry3((_path, value, o) => equals(path(_path, o), value));
 const pathsEq = curry3((_path, o1, o2) => equals(path(_path, o1), path(_path, o2)));
 const pathExists = compose(ifElse(equals(symbol), F, T), pathOr(symbol));
-const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/;
 const clone = (s, shallow = false) => {
     const t = type(s);
     switch (t) {
@@ -445,7 +452,7 @@ const clone = (s, shallow = false) => {
         case 'Symbol':
             return s;
         default:
-            return typed_arr_re.test(t) ? s.constructor.from(s) : s;
+            return is_typed_arr(t) ? s.constructor.from(s) : s;
     }
 };
 const cloneShallow = (s) => clone(s, true);
@@ -469,7 +476,7 @@ const omit = curry2((props, o) => filter((_, k) => !includes(k, props), o));
 const fromPairs = (pairs) => Object.fromEntries(pairs);
 const concat = curry2(((a, b) => b.concat(a)));
 const map = curry2((pipe, arr) => arr.map(pipe));
-const mapObj = curry2((pipe, o) => qmapObj(pipe, cloneShallow(o)));
+const mapObj = curry2((pipe, o) => qmapObj(pipe, { ...o }));
 const join = curry2((delimeter, arr) => arr.join(delimeter));
 const forEach = curry2((pipe, arr) => arr.forEach(pipe));
 const both = curry3((cond1, cond2, s) => cond2(s) && cond1(s));
@@ -760,6 +767,7 @@ exports.qoverProp = qoverProp;
 exports.qprepend = qprepend;
 exports.qreduce = qreduce;
 exports.qreverse = qreverse;
+exports.qsort = qsort;
 exports.qstartsWith = qstartsWith;
 exports.qstartsWithWith = qstartsWithWith;
 exports.range = range;

package/dist/bundle.d.ts

@@ -44,7 +44,6 @@ export declare const typeIs: {
 	(a: string, b: any): boolean;
 };
 declare const length$1: <T extends AnyArray | string>(s: T) => T extends string ? StrLen<T> : T["length"];
-export declare const isNil: (s: any) => boolean;
 export declare const eq: {
 	(a: symbol, b: any): (a: any) => boolean;
 	(a: any, b: symbol): (b: any) => boolean;
@@ -70,6 +69,7 @@ export declare const qstartsWithWith: (comparator: (x: any, y: any) => boolean)
 	(a: string | any[]): (b: string | any[]) => boolean;
 	(a: string | any[], b: string | any[]): boolean;
 };
+export declare const isNil: <T extends any>(s: T) => T extends (null | undefined) ? true : false;
 export declare const take: (argN: number) => (...args: any[]) => any;
 export declare const ifElse: (...args: AnyArgs) => any;
 export declare const when: (...args: AnyArgs) => any;
@@ -82,10 +82,10 @@ export declare const bind: {
 	(a: any, b: any): any;
 };
 export declare const nth: {
-	(a: symbol, b: string | any[]): (a: number) => any;
-	(a: number, b: symbol): (b: string | any[]) => any;
-	(a: number): (b: string | any[]) => any;
-	(a: number, b: string | any[]): any;
+	(a: symbol, b: string | ArrayLike<unknown>): (a: number) => unknown;
+	(a: number, b: symbol): (b: string | ArrayLike<unknown>) => unknown;
+	(a: number): (b: string | ArrayLike<unknown>) => unknown;
+	(a: number, b: string | ArrayLike<unknown>): unknown;
 };
 export declare const slice: (...args: AnyArgs) => any;
 export declare const flip: <T extends AnyFunc>(fn: T) => {
@@ -180,10 +180,10 @@ export declare const lte: {
 	(a: number, b: number): boolean;
 };
 export declare const sort: {
-	(a: symbol, b: any[]): (a: (a: any, b: any) => number) => any[];
-	(a: (a: any, b: any) => number, b: symbol): (b: any[]) => any[];
-	(a: (a: any, b: any) => number): (b: any[]) => any[];
-	(a: (a: any, b: any) => number, b: any[]): any[];
+	(a: symbol, b: unknown[]): (a: (a: unknown, b: unknown) => number) => unknown[];
+	(a: (a: unknown, b: unknown) => number, b: symbol): (b: unknown[]) => unknown[];
+	(a: (a: unknown, b: unknown) => number): (b: unknown[]) => unknown[];
+	(a: (a: unknown, b: unknown) => number, b: unknown[]): unknown[];
 };
 export declare const find: {
 	(a: symbol, b: any[]): (a: Cond) => any;
@@ -382,7 +382,7 @@ export declare const prop: {
 	(a: string): (b: AnyObject) => any;
 	(a: string, b: AnyObject): any;
 };
-/** @param key string @param value any @param o AnyObject @returns o[key] equals value */
+/** @param key string @param value any @param o AnyObject @returns boolean o[key] equals value */
 export declare const propEq: (...args: AnyArgs) => any;
 /** @param key string @param o1 AnyObject @param o2 AnyObject @returns o₁[key] equals o₂[key] */
 export declare const propsEq: (...args: AnyArgs) => any;
@@ -414,10 +414,10 @@ export declare const pickBy: {
 	(a: Cond, b: AnyObject): any;
 };
 export declare const omit: {
-	(a: symbol, b: AnyObject): (a: string[]) => any[] | AnyObject;
-	(a: string[], b: symbol): (b: AnyObject) => any[] | AnyObject;
-	(a: string[]): (b: AnyObject) => any[] | AnyObject;
-	(a: string[], b: AnyObject): any[] | AnyObject;
+	(a: symbol, b: AnyObject): (a: string[]) => any;
+	(a: string[], b: symbol): (b: AnyObject) => any;
+	(a: string[]): (b: AnyObject) => any;
+	(a: string[], b: AnyObject): any;
 };
 export declare const fromPairs: (pairs: [
 	string,
@@ -438,10 +438,10 @@ export declare const map: {
 	(a: (s: any, i?: number, list?: any[]) => any, b: any[]): any[];
 };
 export declare const mapObj: {
-	(a: symbol, b: AnyObject): (a: (s: any, i?: string, list?: any[]) => any) => (b: AnyObject) => AnyObject;
-	(a: (s: any, i?: string, list?: any[]) => any, b: symbol): (b: AnyObject) => (b: AnyObject) => AnyObject;
-	(a: (s: any, i?: string, list?: any[]) => any): (b: AnyObject) => (b: AnyObject) => AnyObject;
-	(a: (s: any, i?: string, list?: any[]) => any, b: AnyObject): (b: AnyObject) => AnyObject;
+	(a: symbol, b: AnyObject): (a: (s: any, i?: string, list?: any[]) => any) => AnyObject;
+	(a: (s: any, i?: string, list?: any[]) => any, b: symbol): (b: AnyObject) => AnyObject;
+	(a: (s: any, i?: string, list?: any[]) => any): (b: AnyObject) => AnyObject;
+	(a: (s: any, i?: string, list?: any[]) => any, b: AnyObject): AnyObject;
 };
 export declare const join: {
 	(a: symbol, b: string[]): (a: string) => string;
@@ -460,10 +460,10 @@ export declare const isEmpty: (s: any) => boolean | null;
 export declare const empty: (s: any) => {} | undefined;
 export declare const replace: (...args: AnyArgs) => any;
 export declare const filter: {
-	(a: symbol, b: any[] | AnyObject): (a: (v: any, k: string | number) => boolean) => any[] | AnyObject;
-	(a: (v: any, k: string | number) => boolean, b: symbol): (b: any[] | AnyObject) => any[] | AnyObject;
-	(a: (v: any, k: string | number) => boolean): (b: any[] | AnyObject) => any[] | AnyObject;
-	(a: (v: any, k: string | number) => boolean, b: any[] | AnyObject): any[] | AnyObject;
+	(a: symbol, b: any[] | AnyObject): (a: (v: any, k: string | number) => boolean) => any;
+	(a: (v: any, k: string | number) => boolean, b: symbol): (b: any[] | AnyObject) => any;
+	(a: (v: any, k: string | number) => boolean): (b: any[] | AnyObject) => any;
+	(a: (v: any, k: string | number) => boolean, b: any[] | AnyObject): any;
 };
 /** Saves result of a function with given key and avoids calling it again.
  * @param {(...args: Args) string} keyGen that takes the same args and returns a key for the cache.
@@ -632,6 +632,12 @@ export declare const qprepend: {
 	(a: any): (b: any[]) => number;
 	(a: any, b: any[]): number;
 };
+export declare const qsort: {
+	(a: symbol, b: any[]): (a: (a: any, b: any) => number) => any[];
+	(a: (a: any, b: any) => number, b: symbol): (b: any[]) => any[];
+	(a: (a: any, b: any) => number): (b: any[]) => any[];
+	(a: (a: any, b: any) => number, b: any[]): any[];
+};
 export declare const qassocPath: (...args: AnyArgs) => any;
 export declare const qreverse: (arr: any[]) => any[];
 export declare const qomit: {

package/dist/bundle.mjs

@@ -69,17 +69,21 @@ function curry3(fn) {
     return curry(fn);
 }
 
+const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/;
+const is_typed_arr = (t) => typed_arr_re.test(t);
+
 const undef = undefined;
 const nul = null;
 const inf = Infinity;
 const to = (s) => typeof s;
-const isNull = (s) => s === nul;
-const isUndef = (s) => s === undef;
-const isNum = (s) => to(s) == 'number';
-const isArray = (s) => Array.isArray(s);
-const isFunc = (s) => to(s) === 'function';
-const isStr = (s) => to(s) === 'string';
-const isObj = (s) => !isNull(s) && to(s) === 'object';
+const isNull = (s) => (s === nul);
+const isUndef = (s) => (s === undef);
+const isNum = (s) => (to(s) == 'number');
+const isArray = (s) => (Array.isArray(s));
+function isFunc(s) { return to(s) === 'function'; }
+const isStr = (s) => (to(s) === 'string');
+const isObj = (s) => (!isNull(s) && to(s) === 'object');
+const isNil = (s) => (isNull(s) || isUndef(s));
 
 // It's faster that toUpperCase() !
 const caseMap = { u: 'U', b: 'B', n: 'N', s: 'S', f: 'F' };
@@ -94,11 +98,10 @@ const type = (s) => {
 };
 const typeIs = curry2((t, s) => type(s) === t);
 const length = (s) => s.length;
-const isNil = (s) => isNull(s) || isUndef(s);
 const eq = curry2((a, b) => a === b);
 const equals = curry2((a, b) => {
     const typea = type(a);
-    if (eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array'))) {
+    if (eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array') || is_typed_arr(typea))) {
         if (isNull(a) || isNull(b))
             return eq(a, b);
         if (eq(a, b))
@@ -239,6 +242,7 @@ const qfreeze = (o) => {
 };
 const qfreezeShallow = (o) => Object.freeze(o);
 const qprepend = curry2((x, xs) => xs.unshift(x));
+const qsort = curry2((sortFn, xs) => xs.sort(sortFn));
 const qassocPath = curry3((_path, v, o) => {
     const first = _path[0];
     return qassoc(first, _path.length < 2
@@ -275,6 +279,10 @@ const compose = ((...fns) => (...args) => {
 });
 const bind = curry2((fn, context) => fn.bind(context));
 const nth = curry2((i, data) => data[i]);
+// FIXME: these types. Somewhere in curry2.
+// const x = nth(0)([1,2,3])
+// const y = nth(0)('123')
+// const z = nth(0)(new Uint8Array([0,2,3]))
 const slice = curry3((from, to, o) => o.slice(from, (isNum(to) ? to : inf)));
 const flip = (fn) => curry2((b, a) => fn(a, b));
 /** @returns first element of an array or a string. */
@@ -299,7 +307,7 @@ const lt = curry2((a, b) => a > b);
 const gte = curry2((a, b) => a <= b);
 /** @param a @param b @returns a≥b  */
 const lte = curry2((a, b) => a >= b);
-const sort = curry2((sortFn, xs) => xs.sort(sortFn)); // TODO: make it shallow cloning.
+const sort = curry2((sortFn, xs) => [...xs].sort(sortFn));
 const find = curry2((fn, s) => s.find(fn));
 const findIndex = curry2((fn, s) => s.findIndex(fn));
 const indexOf = curry2((x, xs) => findIndex(equals(x), xs));
@@ -411,7 +419,7 @@ const allPass = curry2((preds, x) => preds.every((pred) => pred(x)));
 const anyPass = curry2((preds, x) => preds.some((pred) => pred(x)));
 /** @param key string @param o AnyObject @returns o[key] */
 const prop = curry2((key, o) => o[key]);
-/** @param key string @param value any @param o AnyObject @returns o[key] equals value */
+/** @param key string @param value any @param o AnyObject @returns boolean o[key] equals value */
 const propEq = curry3((key, value, o) => equals(o[key], value));
 /** @param key string @param o1 AnyObject @param o2 AnyObject @returns o₁[key] equals o₂[key] */
 const propsEq = curry3((key, o1, o2) => equals(o1[key], o2[key]));
@@ -424,7 +432,6 @@ const path = pathOr(undef);
 const pathEq = curry3((_path, value, o) => equals(path(_path, o), value));
 const pathsEq = curry3((_path, o1, o2) => equals(path(_path, o1), path(_path, o2)));
 const pathExists = compose(ifElse(equals(symbol), F, T), pathOr(symbol));
-const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/;
 const clone = (s, shallow = false) => {
     const t = type(s);
     switch (t) {
@@ -443,7 +450,7 @@ const clone = (s, shallow = false) => {
         case 'Symbol':
             return s;
         default:
-            return typed_arr_re.test(t) ? s.constructor.from(s) : s;
+            return is_typed_arr(t) ? s.constructor.from(s) : s;
     }
 };
 const cloneShallow = (s) => clone(s, true);
@@ -467,7 +474,7 @@ const omit = curry2((props, o) => filter((_, k) => !includes(k, props), o));
 const fromPairs = (pairs) => Object.fromEntries(pairs);
 const concat = curry2(((a, b) => b.concat(a)));
 const map = curry2((pipe, arr) => arr.map(pipe));
-const mapObj = curry2((pipe, o) => qmapObj(pipe, cloneShallow(o)));
+const mapObj = curry2((pipe, o) => qmapObj(pipe, { ...o }));
 const join = curry2((delimeter, arr) => arr.join(delimeter));
 const forEach = curry2((pipe, arr) => arr.forEach(pipe));
 const both = curry3((cond1, cond2, s) => cond2(s) && cond1(s));
@@ -645,4 +652,4 @@ const composeAsync = (() => {
     return (...fns) => (...input) => pipe(fns, input, fns.length - 1);
 })();
 
-export { F, T, __, add, all, allPass, always, any, anyPass, append, assoc, assocPath, bind, both, callFrom, callWith, clone, cloneShallow, complement, compose, composeAsync, concat, cond, curry, curry2, curry3, debounce, diff, divide, echo, empty, eq, equals, explore, filter, find, findIndex, flat, flatShallow, flatTo, flip, forEach, forEachAsync, forEachSerial, freeze, freezeShallow, fromPairs, genBy, getTmpl, gt, gte, head, identity, ifElse, includes, indexOf, intersection, isEmpty, isNil, join, keys, last, length, lt, lte, map, mapKeys, mapObj, memoize, mergeDeep, mergeDeepAdd, mergeDeepX, mergeShallow, mirror, multiply, noop, not, notf, nth, omit, once, overProp, path, pathEq, pathExists, pathOr, pathsEq, pick, pickBy, prepend, prop, propEq, propsEq, push, qappend, qassoc, qassocPath, qempty, qfilter, qfreeze, qfreezeShallow, qmap, qmapKeys, qmapObj, qmergeDeep, qmergeDeepAdd, qmergeDeepX, qmergeShallow, qomit, qoverProp, qprepend, qreduce, qreverse, qstartsWith, qstartsWithWith, range, reduce, reflect, replace, reverse, sizeof, slice, some, sort, split, startsWith, subtract, symbol, tail, take, tap, test, throttle, toLower, toPairs, toUpper, trim, type, typeIs, uncurry, uniq, uniqWith, values, wait, waitAll, waitTap, weakEq, when, zip, zipObj, zipWith };
+export { F, T, __, add, all, allPass, always, any, anyPass, append, assoc, assocPath, bind, both, callFrom, callWith, clone, cloneShallow, complement, compose, composeAsync, concat, cond, curry, curry2, curry3, debounce, diff, divide, echo, empty, eq, equals, explore, filter, find, findIndex, flat, flatShallow, flatTo, flip, forEach, forEachAsync, forEachSerial, freeze, freezeShallow, fromPairs, genBy, getTmpl, gt, gte, head, identity, ifElse, includes, indexOf, intersection, isEmpty, isNil, join, keys, last, length, lt, lte, map, mapKeys, mapObj, memoize, mergeDeep, mergeDeepAdd, mergeDeepX, mergeShallow, mirror, multiply, noop, not, notf, nth, omit, once, overProp, path, pathEq, pathExists, pathOr, pathsEq, pick, pickBy, prepend, prop, propEq, propsEq, push, qappend, qassoc, qassocPath, qempty, qfilter, qfreeze, qfreezeShallow, qmap, qmapKeys, qmapObj, qmergeDeep, qmergeDeepAdd, qmergeDeepX, qmergeShallow, qomit, qoverProp, qprepend, qreduce, qreverse, qsort, qstartsWith, qstartsWithWith, range, reduce, reflect, replace, reverse, sizeof, slice, some, sort, split, startsWith, subtract, symbol, tail, take, tap, test, throttle, toLower, toPairs, toUpper, trim, type, typeIs, uncurry, uniq, uniqWith, values, wait, waitAll, waitTap, weakEq, when, zip, zipObj, zipWith };

package/package.json

@@ -12,6 +12,7 @@
     "ramda",
     "functional",
     "fp",
+    "toolkit",
     "pure",
     "strongly-typed",
     "typescript",
@@ -40,19 +41,19 @@
     "prod": "npm run gentypes && npm run prod:es && npm run prod:cjs",
     "all": "npm run dev && npm run prod"
   },
-  "version": "1.6.3",
+  "version": "1.6.5",
   "devDependencies": {
-    "@rollup/plugin-commonjs": "^28.0.3",
-    "@rollup/plugin-node-resolve": "^16.0.0",
+    "@rollup/plugin-commonjs": "^28.0.6",
+    "@rollup/plugin-node-resolve": "^16.0.1",
     "@rollup/plugin-replace": "^6.0.2",
-    "@types/node": "^22.13.10",
-    "cross-env": "^7.0.3",
+    "@types/node": "^24.1.0",
+    "cross-env": "^10.0.0",
     "dts-bundle-generator": "^9.5.1",
-    "rollup": "^4.35.0",
+    "rollup": "^4.46.0",
     "rollup-plugin-typescript2": "^0.36.0",
     "ts-node": "^10.9.2",
     "tslint": "^6.1.3",
-    "typescript": "^5.8.2"
+    "typescript": "^5.8.3"
   },
   "sideEffects": false
 }

package/src/common.ts

@@ -1,4 +1,5 @@
 import { curry2 } from "./curry"
+import { is_typed_arr } from "./internal"
 import { AnyArray, StrLen } from "./internal_types"
 import { to, isNull, isStr, isUndef } from "./utils"
 
@@ -17,11 +18,10 @@ export const type = (s: any): string => {
 export const typeIs = curry2((t: string, s: any) => type(s)===t)
 
 export const length = <T extends AnyArray | string>(s: T): T extends string ? StrLen<T> : T["length"] => s.length as any
-export const isNil = (s: any) => isNull(s) || isUndef(s)
 export const eq = curry2((a: any, b: any) => a===b)
 export const equals = curry2((a: any, b: any) => {
   const typea = type(a)
-  if(eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array'))) {
+  if(eq(typea, type(b)) && (eq(typea, 'Object') || eq(typea, 'Array') || is_typed_arr(typea))) {
     if(isNull(a) || isNull(b)) return eq(a, b)
     if(eq(a, b)) return true
     for(const v of [a, b])

package/src/curry.ts

@@ -65,11 +65,11 @@ export function curry2<Func extends Func2>(fn: Func) {
   type p0 = Parameters<Func>[0]
   type p1 = Parameters<Func>[1]
   type ReturnT = ReturnType<Func>
-  function curried2( a: Placeholder, b: p1 ): (a: p0) => ReturnT
-  function curried2( a: p0, b: Placeholder ): (b: p1) => ReturnT
-  function curried2( a: p0 ): (b: p1) => ReturnT
-  function curried2( a: p0, b: p1 ): ReturnT
-  function curried2( a: p0 | Placeholder, b?: p1 ) {
+  function curried2(a: Placeholder, b: p1): (a: p0) => ReturnT
+  function curried2(a: p0, b: Placeholder): (b: p1) => ReturnT
+  function curried2(a: p0 ): (b: p1) => ReturnT
+  function curried2(a: p0, b: p1): ReturnT
+  function curried2(a: p0 | Placeholder, b?: p1) {
     const withPlaceholder1 = a===__
     const aln = arguments.length
     if(aln === 1 && withPlaceholder1)

package/src/internal.ts

@@ -0,0 +1,2 @@
+const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/
+export const is_typed_arr = (t: string) => typed_arr_re.test(t)

package/src/quick.ts

@@ -1,7 +1,7 @@
 import { curry2, curry3 } from "./curry"
-import { includes, isNil, type, eq, qstartsWithWith } from "./common"
+import { includes, type, eq, qstartsWithWith } from "./common"
 import { AnyObject, Reducer, AnyFunc } from "./types"
-import { isFunc, isArray, isObj } from "./utils"
+import { isFunc, isArray, isObj, isNil } from "./utils"
 /* Then next fns seem to be excess due to their safe ver performance should be the same or better:
 * qflat, qpick
 */

package/src/safe.ts

@@ -1,9 +1,10 @@
 import { __, curry, curry2, curry3 } from './curry'
-import { isNum, undef, isArray, isFunc, isObj, inf } from './utils'
-import { qmergeDeep, qreduce, qappend, qmapKeys, qmergeDeepX, qmergeDeepAdd, qfilter, qfreeze, qfreezeShallow, qmapObj, qsort } from './quick'
+import { isNum, undef, isArray, isFunc, isObj, inf, isNil } from './utils'
+import { qmergeDeep, qreduce, qappend, qmapKeys, qmergeDeepX, qmergeDeepAdd, qfilter, qfreeze, qfreezeShallow, qmapObj } from './quick'
 import { AnyFunc, Cond, AnyObject, Reducer } from './types'
-import { symbol, type, length, equals, includes, isNil, qstartsWithWith, eq } from './common'
+import { symbol, type, length, equals, includes, qstartsWithWith, eq } from './common'
 import { Split, AnyArray, IndexesOfArray } from './internal_types'
+import { is_typed_arr } from './internal'
 // TODO: over, lensProp. propsEq is up to 20x slow due to deep equals.
 
 export const take = (argN: number) => (...args: any[]) => args[argN]
@@ -39,7 +40,11 @@ export const compose = (
     }
 )
 export const bind = curry2<AnyFunc>((fn: AnyFunc, context: any) => fn.bind(context))
-export const nth = curry2((i: number, data: any[] | string) => data[i])
+export const nth = curry2(<T extends any>(i: number, data: string | ArrayLike<T>) => data[i])
+// FIXME: these types. Somewhere in curry2.
+// const x = nth(0)([1,2,3])
+// const y = nth(0)('123')
+// const z = nth(0)(new Uint8Array([0,2,3]))
 export const slice = curry3(
   (from: number, to: number, o: any[] | string) =>
     o.slice(from, (isNum(to)?to:inf) as number)
@@ -233,7 +238,7 @@ export const allPass = curry2((preds: Cond[], x: any) => preds.every((pred) => p
 export const anyPass = curry2((preds: Cond[], x: any) => preds.some((pred) => pred(x)))
 /** @param key string @param o AnyObject @returns o[key] */
 export const prop = curry2((key: string, o: AnyObject) => o[key])
-/** @param key string @param value any @param o AnyObject @returns o[key] equals value */
+/** @param key string @param value any @param o AnyObject @returns boolean o[key] equals value */
 export const propEq = curry3(
   (key: string, value: any, o: AnyObject) => equals(o[key], value)
 )
@@ -260,7 +265,6 @@ export const pathsEq = curry3(
     equals(path(_path, o1), path(_path, o2))
 )
 export const pathExists = compose(ifElse(equals(symbol), F, T), pathOr(symbol))
-const typed_arr_re = /^(.*?)(8|16|32|64)(Clamped)?Array$/
 export const clone = (s: any, shallow = false) => {
   const t = type(s)
   switch(t) {
@@ -275,7 +279,7 @@ export const clone = (s: any, shallow = false) => {
     case 'Boolean': case 'Symbol':
       return s
     default:
-      return typed_arr_re.test(t) ? s.constructor.from(s) : s
+      return is_typed_arr(t) ? s.constructor.from(s) : s
   }
 }
 export const cloneShallow = (s: any) => clone(s, true)
@@ -418,7 +422,8 @@ export const zipWith = curry3(
 )
 
 // Reexport safe stuff that is ready to use externally. 
-export { toLower, toUpper, type, typeIs, length, isNil, eq, equals, includes } from './common'
+export { toLower, toUpper, type, typeIs, length, eq, equals, includes } from './common'
+export { isNil } from './utils'
 
 // ALIASES
 export const mirror = identity

package/src/utils.ts

@@ -1,13 +1,16 @@
-
+import { AnyFunc, AnyObject } from "./types"
 
 export const undef = undefined
 export const nul = null
 export const inf = Infinity
 export const to = (s: any) => typeof s
-export const isNull = (s: any) => s===nul
-export const isUndef = (s: any) => s===undef
-export const isNum = (s: any) => to(s)=='number'
-export const isArray = (s: any) => Array.isArray(s)
-export const isFunc = (s: any) => to(s)==='function'
-export const isStr = (s: any) => to(s)==='string'
-export const isObj = (s: any) => !isNull(s) && to(s)==='object'
+export const isNull = <T extends any>(s: T) => (s===nul) as T extends null ? true : false
+export const isUndef = <T extends any>(s: T) => (s===undef) as T extends undefined ? true : false
+export const isNum = <T extends any>(s: T) => (to(s)=='number') as T extends number ? true : false
+export const isArray = <T extends any>(s: T) => (Array.isArray(s)) as T extends any[] ? true : false
+export function isFunc<T extends AnyFunc>(value: T): true
+export function isFunc(value: any): false
+export function isFunc(s: any) { return to(s)==='function' }
+export const isStr = <T extends any>(s: T) => (to(s)==='string') as T extends string ? true : false
+export const isObj = <T extends any>(s: T) => (!isNull(s) && to(s)==='object') as T extends AnyObject ? true : false
+export const isNil = <T extends any>(s: T) => (isNull(s) || isUndef(s)) as T extends (null|undefined) ? true : false