@fncts/typelevel 0.0.14 → 0.0.15

package/Check.d.ts

@@ -76,5 +76,6 @@ export declare namespace Check {
      * @tsplus type fncts.Check.Or
      */
     type Or<A, B> = A extends never ? B : A;
+    type IsTuple<A> = A extends ReadonlyArray<any> ? (number extends A["length"] ? never : unknown) : never;
 }
 export {};

package/_cjs/HKT.cjs

@@ -8,12 +8,10 @@ exports.unifyFK1 = unifyFK1;
 // eslint-disable-next-line @typescript-eslint/no-namespace
 var HKT;
 exports.HKT = HKT;
-
 (function (HKT) {
   /*
    * Instance util
    */
-
   /**
    * @tsplus macro identity
    */
@@ -21,14 +19,11 @@ exports.HKT = HKT;
     // @ts-expect-error: typelevel utility
     return _;
   }
-
   HKT.instance = instance;
 })(HKT || (exports.HKT = HKT = {}));
 /**
  * @tsplus unify fncts.HKT.FK1
  */
-
-
 function unifyFK1(_) {
   return _;
 }

package/_cjs/HKT.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"HKT.cjs","names":["HKT","instance","_","unifyFK1"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n/**\n * @tsplus unify fncts.HKT.FK1\n */\nexport function unifyFK1(_) {\n    return _;\n}\n"],"mappings":";;;;;;;AAAA;AACO,IAAIA,GAAJ;;;AACP,CAAC,UAAUA,GAAV,EAAe;EACZ;AACJ;AACA;;EACI;AACJ;AACA;EACI,SAASC,QAAT,CAAkBC,CAAlB,EAAqB;IACjB;IACA,OAAOA,CAAP;EACH;;EACDF,GAAG,CAACC,QAAJ,GAAeA,QAAf;AACH,CAZD,EAYGD,GAAG,mBAAKA,GAAG,GAAG,EAAX,CAZN;AAaA;AACA;AACA;;;AACO,SAASG,QAAT,CAAkBD,CAAlB,EAAqB;EACxB,OAAOA,CAAP;AACH"}
+{"version":3,"file":"HKT.cjs","names":["HKT","instance","_","unifyFK1"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n/**\n * @tsplus unify fncts.HKT.FK1\n */\nexport function unifyFK1(_) {\n    return _;\n}\n"],"mappings":";;;;;;;AAAA;AACO,IAAIA,GAAG;AAAC;AACf,CAAC,UAAUA,GAAG,EAAE;EACZ;AACJ;AACA;EACI;AACJ;AACA;EACI,SAASC,QAAQ,CAACC,CAAC,EAAE;IACjB;IACA,OAAOA,CAAC;EACZ;EACAF,GAAG,CAACC,QAAQ,GAAGA,QAAQ;AAC3B,CAAC,EAAED,GAAG,mBAAKA,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AACrB;AACA;AACA;AACO,SAASG,QAAQ,CAACD,CAAC,EAAE;EACxB,OAAOA,CAAC;AACZ"}

package/_cjs/index.cjs

@@ -4,48 +4,26 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.Union = exports.String = exports.Object = exports.Number = exports.List = exports.Iteration = exports.Intersection = exports.Function = exports.Boolean = exports.Any = void 0;
-
 var _Any = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Any.cjs"));
-
 exports.Any = _Any;
-
 var _Boolean = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Boolean.cjs"));
-
 exports.Boolean = _Boolean;
-
 var _Function = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Function.cjs"));
-
 exports.Function = _Function;
-
 var _Intersection = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Intersection.cjs"));
-
 exports.Intersection = _Intersection;
-
 var _Iteration = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Iteration.cjs"));
-
 exports.Iteration = _Iteration;
-
 var _List = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./List.cjs"));
-
 exports.List = _List;
-
 var _Number = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Number.cjs"));
-
 exports.Number = _Number;
-
 var _Object = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Object.cjs"));
-
 exports.Object = _Object;
-
 var _String = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./String.cjs"));
-
 exports.String = _String;
-
 var _Union = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Union.cjs"));
-
 exports.Union = _Union;
-
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
-
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
 //# sourceMappingURL=index.cjs.map

package/_mjs/HKT.mjs

@@ -1,11 +1,9 @@
 // eslint-disable-next-line @typescript-eslint/no-namespace
 export var HKT;
-
 (function (HKT) {
   /*
    * Instance util
    */
-
   /**
    * @tsplus macro identity
    */
@@ -13,14 +11,11 @@ export var HKT;
     // @ts-expect-error: typelevel utility
     return _;
   }
-
   HKT.instance = instance;
 })(HKT || (HKT = {}));
 /**
  * @tsplus unify fncts.HKT.FK1
  */
-
-
 export function unifyFK1(_) {
   return _;
 }

package/_mjs/HKT.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"HKT.mjs","names":["HKT","instance","_","unifyFK1"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n/**\n * @tsplus unify fncts.HKT.FK1\n */\nexport function unifyFK1(_) {\n    return _;\n}\n"],"mappings":"AAAA;AACA,OAAO,IAAIA,GAAJ;;AACP,CAAC,UAAUA,GAAV,EAAe;EACZ;AACJ;AACA;;EACI;AACJ;AACA;EACI,SAASC,QAAT,CAAkBC,CAAlB,EAAqB;IACjB;IACA,OAAOA,CAAP;EACH;;EACDF,GAAG,CAACC,QAAJ,GAAeA,QAAf;AACH,CAZD,EAYGD,GAAG,KAAKA,GAAG,GAAG,EAAX,CAZN;AAaA;AACA;AACA;;;AACA,OAAO,SAASG,QAAT,CAAkBD,CAAlB,EAAqB;EACxB,OAAOA,CAAP;AACH"}
+{"version":3,"file":"HKT.mjs","names":["HKT","instance","_","unifyFK1"],"sources":["../esm/HKT.js"],"sourcesContent":["// eslint-disable-next-line @typescript-eslint/no-namespace\nexport var HKT;\n(function (HKT) {\n    /*\n     * Instance util\n     */\n    /**\n     * @tsplus macro identity\n     */\n    function instance(_) {\n        // @ts-expect-error: typelevel utility\n        return _;\n    }\n    HKT.instance = instance;\n})(HKT || (HKT = {}));\n/**\n * @tsplus unify fncts.HKT.FK1\n */\nexport function unifyFK1(_) {\n    return _;\n}\n"],"mappings":"AAAA;AACA,OAAO,IAAIA,GAAG;AACd,CAAC,UAAUA,GAAG,EAAE;EACZ;AACJ;AACA;EACI;AACJ;AACA;EACI,SAASC,QAAQ,CAACC,CAAC,EAAE;IACjB;IACA,OAAOA,CAAC;EACZ;EACAF,GAAG,CAACC,QAAQ,GAAGA,QAAQ;AAC3B,CAAC,EAAED,GAAG,KAAKA,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AACrB;AACA;AACA;AACA,OAAO,SAASG,QAAQ,CAACD,CAAC,EAAE;EACxB,OAAOA,CAAC;AACZ"}

package/_mjs/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["Any","Boolean","Function","Intersection","Iteration","List","Number","Object","String","Union"],"sources":["../esm/index.js"],"sourcesContent":["export * as Any from \"./Any.js\";\nexport * as Boolean from \"./Boolean.js\";\nexport * as Function from \"./Function.js\";\nexport * as Intersection from \"./Intersection.js\";\nexport * as Iteration from \"./Iteration.js\";\nexport * as List from \"./List.js\";\nexport * as Number from \"./Number.js\";\nexport * as Object from \"./Object.js\";\nexport * as String from \"./String.js\";\nexport * as Union from \"./Union.js\";\n"],"mappings":"AAAA,OAAO,KAAKA,GAAZ,MAAqB,WAArB;AACA,OAAO,KAAKC,OAAZ,MAAyB,eAAzB;AACA,OAAO,KAAKC,QAAZ,MAA0B,gBAA1B;AACA,OAAO,KAAKC,YAAZ,MAA8B,oBAA9B;AACA,OAAO,KAAKC,SAAZ,MAA2B,iBAA3B;AACA,OAAO,KAAKC,IAAZ,MAAsB,YAAtB;AACA,OAAO,KAAKC,MAAZ,MAAwB,cAAxB;AACA,OAAO,KAAKC,MAAZ,MAAwB,cAAxB;AACA,OAAO,KAAKC,MAAZ,MAAwB,cAAxB;AACA,OAAO,KAAKC,KAAZ,MAAuB,aAAvB"}
+{"version":3,"file":"index.mjs","names":["Any","Boolean","Function","Intersection","Iteration","List","Number","Object","String","Union"],"sources":["../esm/index.js"],"sourcesContent":["export * as Any from \"./Any.js\";\nexport * as Boolean from \"./Boolean.js\";\nexport * as Function from \"./Function.js\";\nexport * as Intersection from \"./Intersection.js\";\nexport * as Iteration from \"./Iteration.js\";\nexport * as List from \"./List.js\";\nexport * as Number from \"./Number.js\";\nexport * as Object from \"./Object.js\";\nexport * as String from \"./String.js\";\nexport * as Union from \"./Union.js\";\n"],"mappings":"AAAA,OAAO,KAAKA,GAAG,MAAM,WAAU;AAC/B,OAAO,KAAKC,OAAO,MAAM,eAAc;AACvC,OAAO,KAAKC,QAAQ,MAAM,gBAAe;AACzC,OAAO,KAAKC,YAAY,MAAM,oBAAmB;AACjD,OAAO,KAAKC,SAAS,MAAM,iBAAgB;AAC3C,OAAO,KAAKC,IAAI,MAAM,YAAW;AACjC,OAAO,KAAKC,MAAM,MAAM,cAAa;AACrC,OAAO,KAAKC,MAAM,MAAM,cAAa;AACrC,OAAO,KAAKC,MAAM,MAAM,cAAa;AACrC,OAAO,KAAKC,KAAK,MAAM,aAAY"}

package/_src/Check.ts

@@ -93,4 +93,6 @@ export declare namespace Check {
    * @tsplus type fncts.Check.Or
    */
   type Or<A, B> = A extends never ? B : A;
+
+  type IsTuple<A> = A extends ReadonlyArray<any> ? (number extends A["length"] ? never : unknown) : never;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fncts/typelevel",
-  "version": "0.0.14",
+  "version": "0.0.15",
   "exports": {
     "./*": {
       "import": "./_mjs/*.mjs",