type-plus 3.15.0 → 4.0.2

package/cjs/types/getPlainAnalysisReport.js

@@ -1,120 +0,0 @@
-"use strict";
-var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
-    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
-        if (ar || !(i in from)) {
-            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
-            ar[i] = from[i];
-        }
-    }
-    return to.concat(ar || Array.prototype.slice.call(from));
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.getPlainAnalysisReport = void 0;
-var tersify_1 = require("tersify");
-var object_1 = require("../object");
-function getPlainAnalysisReport(analysisResult) {
-    if (!analysisResult.analysis.fail) {
-        return "The subject".concat(analysisResult.options.strict ? ' strictly' : '', " satisfies type ").concat(formatAnalysis(analysisResult.analysis));
-    }
-    return toViolations(analysisResult.options, [], analysisResult.actual, analysisResult.analysis).join('\n');
-}
-exports.getPlainAnalysisReport = getPlainAnalysisReport;
-function formatAnalysis(a) {
-    return a.type;
-}
-function toViolations(options, path, actual, analysis) {
-    var clause = options.strict ? "expects to be strictly" : "expects to be";
-    var violations = ["".concat(formatPath(path), " ").concat(clause, " ").concat(formatType(analysis), " but is actually ").concat((0, tersify_1.tersify)(actual))];
-    switch (analysis.type) {
-        case 'tuple': {
-            if (options.strict && analysis.value.length < actual.length) {
-                var index = actual.length - analysis.value.length === 1 ? 'index' : 'indices';
-                violations.push("".concat(index, " ").concat(range(analysis.value.length, actual.length), " should not contain any value"));
-            }
-            var v2 = analysis.value.reduce(function (p, a, i) {
-                if (a.fail)
-                    p.push.apply(p, toViolations(options, __spreadArray(__spreadArray([], path, true), [i], false), actual[i], a));
-                return p;
-            }, []);
-            if (v2.length > 0)
-                violations.push.apply(violations, v2);
-            break;
-        }
-        case 'object':
-            if (analysis.value) {
-                var typeKeys_1 = Object.keys(analysis.value);
-                var actualKeys = Object.keys(actual);
-                if (options.strict) {
-                    var extraKeys = actualKeys.filter(function (k) { return typeKeys_1.indexOf(k) === -1; });
-                    var index = extraKeys.length === 1 ? 'property' : 'properties';
-                    violations.push("".concat(index, " ").concat(extraKeys.join(','), " should not contain any value"));
-                }
-                var propViolations = typeKeys_1.reduce(function (p, k) {
-                    var a = analysis.value[k];
-                    if (a.fail)
-                        p.push.apply(p, toViolations(options, __spreadArray(__spreadArray([], path, true), [k], false), actual[k], a));
-                    return p;
-                }, []);
-                if (propViolations.length > 0)
-                    violations.push.apply(violations, propViolations);
-            }
-            break;
-    }
-    return violations;
-}
-function formatPath(path) {
-    return path.length === 0 ? 'subject' : "subject".concat(path.map(function (p) { return toAccessor(p); }).join(''));
-}
-function toAccessor(p) {
-    if (typeof p === 'number')
-        return "[".concat(p, "]");
-    if (p.indexOf('-') >= 0)
-        return "['".concat(p, "']");
-    return ".".concat(p);
-}
-function toProp(p) {
-    return p.indexOf('-') >= 0 ? "'".concat(p, "'") : p;
-}
-function formatType(e) {
-    switch (e.type) {
-        case 'undefined':
-        case 'null':
-        case 'symbol':
-            // case 'never':
-            return e.type;
-        case 'boolean':
-        case 'number':
-            // case 'bigint':
-            return e.value === undefined ? e.type : String(e.value);
-        case 'string':
-            return e.value === undefined ? e.type : "'".concat(e.value, "'");
-        case 'array':
-            return e.value === undefined ? 'Array<any>' : "Array<".concat(formatType(e.value), ">");
-        case 'tuple':
-            return "[".concat(formatExpectations(e.value), "]");
-        case 'object':
-            return e.value === undefined ? e.type
-                : "{ ".concat((0, object_1.reduceByKey)(e.value, function (p, k) {
-                    p.push("".concat(toProp(k), ": ").concat(formatType(e.value[k])));
-                    return p;
-                }, []).join(', '), " }");
-        case 'record':
-            return "Record<string, ".concat(formatType(e.value), ">");
-        case 'union':
-            return "(".concat(formatExpectations(e.value, ' | '), ")");
-        // istanbul ignore next
-        default:
-            return "report not expected: ".concat(e.value);
-    }
-}
-function formatExpectations(es, sep) {
-    if (sep === void 0) { sep = ','; }
-    return es.map(formatType).join(sep);
-}
-function range(start, end) {
-    var r = [];
-    while (start < end)
-        r.push(start++);
-    return r;
-}
-//# sourceMappingURL=getPlainAnalysisReport.js.map

package/cjs/types/getPlainAnalysisReport.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"getPlainAnalysisReport.js","sourceRoot":"","sources":["../../ts/types/getPlainAnalysisReport.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,mCAAiC;AACjC,oCAAuC;AAIvC,SAAgB,sBAAsB,CAAC,cAA8B;IACnE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE;QACjC,OAAO,qBAAc,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,6BAAmB,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAE,CAAA;KAClI;IAED,OAAO,YAAY,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC5G,CAAC;AAND,wDAMC;AAED,SAAS,cAAc,CAAC,CAAmB;IACzC,OAAO,CAAC,CAAC,IAAI,CAAA;AACf,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAA4B,EAAE,MAAW,EAAE,QAA0B;IACnH,IAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe,CAAA;IAC1E,IAAM,UAAU,GAAG,CAAC,UAAG,UAAU,CAAC,IAAI,CAAC,cAAI,MAAM,cAAI,UAAU,CAAC,QAAQ,CAAC,8BAAoB,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAE,CAAC,CAAA;IAE/G,QAAQ,QAAQ,CAAC,IAAI,EAAE;QACrB,KAAK,OAAO,CAAC,CAAC;YACZ,IAAI,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;gBAC5D,IAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;gBAChF,UAAU,CAAC,IAAI,CAAC,UAAG,KAAK,cAAI,KAAK,CAAC,QAAQ,CAAC,KAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,kCAA+B,CAAC,CAAA;aACzG;YACD,IAAM,EAAE,GAAG,QAAQ,CAAC,KAAM,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,CAAC,IAAI;oBAAE,CAAC,CAAC,IAAI,OAAN,CAAC,EAAS,YAAY,CAAC,OAAO,kCAAM,IAAI,UAAE,CAAC,WAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAC;gBACxE,OAAO,CAAC,CAAA;YACV,CAAC,EAAE,EAAc,CAAC,CAAA;YAClB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,IAAI,OAAf,UAAU,EAAS,EAAE,EAAC;YACzC,MAAK;SACN;QACD,KAAK,QAAQ;YACX,IAAI,QAAQ,CAAC,KAAK,EAAE;gBAClB,IAAM,UAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC5C,IAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE;oBAClB,IAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,UAAA,CAAC,IAAI,OAAA,UAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAA1B,CAA0B,CAAC,CAAA;oBACpE,IAAM,KAAK,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAA;oBAChE,UAAU,CAAC,IAAI,CAAC,UAAG,KAAK,cAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,kCAA+B,CAAC,CAAA;iBAChF;gBACD,IAAM,cAAc,GAAG,UAAQ,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;oBAC1C,IAAM,CAAC,GAAG,QAAQ,CAAC,KAAM,CAAC,CAAC,CAAC,CAAA;oBAC5B,IAAI,CAAC,CAAC,IAAI;wBAAE,CAAC,CAAC,IAAI,OAAN,CAAC,EAAS,YAAY,CAAC,OAAO,kCAAM,IAAI,UAAE,CAAC,WAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAC;oBACxE,OAAO,CAAC,CAAA;gBACV,CAAC,EAAE,EAAc,CAAC,CAAA;gBAClB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;oBAAE,UAAU,CAAC,IAAI,OAAf,UAAU,EAAS,cAAc,EAAC;aAClE;YACD,MAAK;KACR;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,IAA4B;IAC9C,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAU,IAAI,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,UAAU,CAAC,CAAC,CAAC,EAAb,CAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAE,CAAA;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,CAAkB;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,WAAI,CAAC,MAAG,CAAA;IAC1C,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,YAAK,CAAC,OAAI,CAAA;IAC1C,OAAO,WAAI,CAAC,CAAE,CAAA;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAI,CAAC,MAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,CAAmB;IACrC,QAAQ,CAAC,CAAC,IAAI,EAAE;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,gBAAgB;YAChB,OAAO,CAAC,CAAC,IAAI,CAAA;QACf,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,iBAAiB;YACjB,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACzD,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAI,CAAC,CAAC,KAAK,MAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAS,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,MAAG,CAAA;QACtF,KAAK,OAAO;YACV,OAAO,WAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,CAAC,MAAG,CAAA;QACjE,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;gBACnC,CAAC,CAAC,YAAK,IAAA,oBAAW,EAChB,CAAC,CAAC,KAA4B,EAC9B,UAAC,CAAC,EAAE,CAAC;oBACH,CAAC,CAAC,IAAI,CAAC,UAAG,MAAM,CAAC,CAAC,CAAC,eAAK,UAAU,CAAE,CAAC,CAAC,KAAa,CAAC,CAAC,CAAQ,CAAC,CAAE,CAAC,CAAA;oBACjE,OAAO,CAAC,CAAA;gBACV,CAAC,EACD,EAAc,CACf,CAAC,IAAI,CAAC,IAAI,CAAC,OAAI,CAAA;QACpB,KAAK,QAAQ;YACX,OAAO,yBAAkB,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,MAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,WAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,EAAE,KAAK,CAAC,MAAG,CAAA;QACxE,uBAAuB;QACvB;YACE,OAAO,+BAAwB,CAAC,CAAC,KAAK,CAAE,CAAA;KAC3C;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAsB,EAAE,GAAS;IAAT,oBAAA,EAAA,SAAS;IAC3D,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,KAAa,EAAE,GAAW;IACvC,IAAM,CAAC,GAAa,EAAE,CAAA;IACtB,OAAO,KAAK,GAAG,GAAG;QAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IACnC,OAAO,CAAC,CAAA;AACV,CAAC"}

package/cjs/types/index.d.ts

@@ -1,26 +0,0 @@
-/**
- * A turing complete solution inspired by many.
- * The types is in Pascal Cases
- * because lower case type names (e.g. true) is a reserved keyword.
- * https://github.com/microsoft/TypeScript/issues/14833
- * https://github.com/tycho01/typical
- */
-export * from './AllType';
-export * from './Any';
-export * from './Array';
-export * from './Boolean';
-export * from './check';
-export * from './conform';
-export * from './Generate';
-export { nil as null, Null } from './Null';
-export * from './Number';
-export { keys, object, ObjectType as Object } from './Object';
-export * from './Record';
-export * from './satisfy';
-export * from './String';
-export * from './Symbol';
-export * from './Tuple';
-export * from './types';
-export { undef as undefined, Undefined } from './Undefined';
-export * from './Union';
-export * from './Unknown';

package/cjs/types/index.js

@@ -1,45 +0,0 @@
-"use strict";
-/**
- * A turing complete solution inspired by many.
- * The types is in Pascal Cases
- * because lower case type names (e.g. true) is a reserved keyword.
- * https://github.com/microsoft/TypeScript/issues/14833
- * https://github.com/tycho01/typical
- */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.undefined = exports.object = exports.keys = exports.null = void 0;
-// export * from './BigInt'
-__exportStar(require("./AllType"), exports);
-__exportStar(require("./Any"), exports);
-__exportStar(require("./Array"), exports);
-__exportStar(require("./Boolean"), exports);
-__exportStar(require("./check"), exports);
-__exportStar(require("./conform"), exports);
-__exportStar(require("./Generate"), exports);
-var Null_1 = require("./Null");
-Object.defineProperty(exports, "null", { enumerable: true, get: function () { return Null_1.nil; } });
-__exportStar(require("./Number"), exports);
-var Object_1 = require("./Object");
-Object.defineProperty(exports, "keys", { enumerable: true, get: function () { return Object_1.keys; } });
-Object.defineProperty(exports, "object", { enumerable: true, get: function () { return Object_1.object; } });
-__exportStar(require("./Record"), exports);
-__exportStar(require("./satisfy"), exports);
-__exportStar(require("./String"), exports);
-__exportStar(require("./Symbol"), exports);
-__exportStar(require("./Tuple"), exports);
-__exportStar(require("./types"), exports);
-var Undefined_1 = require("./Undefined");
-Object.defineProperty(exports, "undefined", { enumerable: true, get: function () { return Undefined_1.undef; } });
-__exportStar(require("./Union"), exports);
-__exportStar(require("./Unknown"), exports);
-//# sourceMappingURL=index.js.map

package/cjs/types/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/types/index.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;AAEH,2BAA2B;AAC3B,4CAAyB;AACzB,wCAAqB;AACrB,0CAAuB;AACvB,4CAAyB;AACzB,0CAAuB;AACvB,4CAAyB;AACzB,6CAA0B;AAC1B,+BAA0C;AAAjC,4FAAA,GAAG,OAAQ;AACpB,2CAAwB;AACxB,mCAA6D;AAApD,8FAAA,IAAI,OAAA;AAAE,gGAAA,MAAM,OAAA;AACrB,2CAAwB;AACxB,4CAAyB;AACzB,2CAAwB;AACxB,2CAAwB;AACxB,0CAAuB;AACvB,0CAAuB;AACvB,yCAA2D;AAAlD,sGAAA,KAAK,OAAa;AAC3B,0CAAuB;AACvB,4CAAyB"}