type-plus 3.13.0 → 4.0.0

package/lib/types/String.d.ts

@@ -1,36 +0,0 @@
-import { Tail } from '../array';
-import { Type } from './types';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-export declare type String<Value extends string = string> = Type<'string', Value>;
-export declare namespace String {
-    type Analysis = {
-        type: 'string';
-        value?: string;
-        fail?: true;
-    };
-}
-declare type StringListDevice<Values extends string[]> = Values['length'] extends 0 ? {
-    result: [];
-} : Values['length'] extends 1 ? {
-    result: [String<Values[0]>];
-} : {
-    result: [String<Values[0]>, String<Values[1]>, ...StringListDevice<Tail<Tail<Values>>>['result']];
-};
-/**
-* Creates a constant string type.
-*/
-declare function create<Value extends string>(value: Value): String<Value>;
-export declare const string: String<string> & {
-    any: String<string>;
-    create: typeof create;
-    list<Value extends string, Values extends string[]>(value: Value, ...values: Values): Union<StringListDevice<[Value, ...Values]>["result"]>;
-    optional: Union<[String<string>, Undefined]> & {
-        /**
-         * Creates an optional constant string type.
-         */
-        create<Value_1 extends string>(value: Value_1): Union<[String<Value_1>, Undefined]>;
-        list<Value_2 extends string, Values_1 extends string[]>(value: Value_2, ...values: Values_1): Union<[...StringListDevice<[Value_2, ...Values_1]>["result"], Undefined]>;
-    };
-};
-export {};

package/lib/types/String.js

@@ -1,47 +0,0 @@
-"use strict";
-var __spreadArray = (this && this.__spreadArray) || function (to, from) {
-    for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
-        to[j] = from[i];
-    return to;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.string = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-/**
-* Creates a constant string type.
-*/
-function create(value) {
-    // Cannot name this function as `const` because it is a reserved keyword.
-    return { type: 'string', value: value };
-}
-var any = create(undefined);
-exports.string = Object.assign(any, {
-    any: any,
-    create: create,
-    // @ts-ignore we know that this can be infinite
-    list: function (value) {
-        var values = [];
-        for (var _i = 1; _i < arguments.length; _i++) {
-            values[_i - 1] = arguments[_i];
-        }
-        return Union_1.union.create.apply(Union_1.union, __spreadArray([create(value)], values.map(create)));
-    },
-    optional: Object.assign(Union_1.union.create(any, Undefined_1.undef), {
-        /**
-         * Creates an optional constant string type.
-         */
-        create: function (value) {
-            return Union_1.union.create(create(value), Undefined_1.undef);
-        },
-        // @ts-ignore we know that this can be infinite
-        list: function (value) {
-            var values = [];
-            for (var _i = 1; _i < arguments.length; _i++) {
-                values[_i - 1] = arguments[_i];
-            }
-            return Union_1.union.create.apply(Union_1.union, __spreadArray(__spreadArray([create(value)], values.map(create)), [Undefined_1.undef]));
-        }
-    })
-});
-//# sourceMappingURL=String.js.map

package/lib/types/String.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"String.js","sourceRoot":"","sources":["../../src/types/String.ts"],"names":[],"mappings":";;;;;;;;AAEA,yCAA8C;AAC9C,iCAAsC;AAiBtC;;EAEE;AACF,SAAS,MAAM,CAAuB,KAAY;IAChD,yEAAyE;IACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACzC,CAAC;AACD,IAAM,GAAG,GAAG,MAAM,CAAC,SAA8B,CAAC,CAAA;AAErC,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACvC,GAAG,KAAA;IACH,MAAM,QAAA;IACN,+CAA+C;IAC/C,IAAI,EAAJ,UAAoD,KAAY;QAAE,gBAAiB;aAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;YAAjB,+BAAiB;;QAKjF,OAAO,aAAK,CAAC,MAAM,OAAZ,aAAK,iBAAQ,MAAM,CAAC,KAAK,CAAC,GAAK,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAQ,CAAA;IAClE,CAAC;IACD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,aAAK,CAAC,MAAM,CAAC,GAAG,EAAE,iBAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,EAAN,UAA6B,KAAY;YACvC,OAAO,aAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,iBAAK,CAAC,CAAA;QAC3C,CAAC;QACD,+CAA+C;QAC/C,IAAI,EAAJ,UAAoD,KAAY;YAAE,gBAAiB;iBAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;gBAAjB,+BAAiB;;YAIjF,OAAO,aAAK,CAAC,MAAM,OAAZ,aAAK,+BAAQ,MAAM,CAAC,KAAK,CAAC,GAAK,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAE,iBAAK,GAAQ,CAAA;QACzE,CAAC;KACF,CAAC;CACH,CAAC,CAAA"}

package/lib/types/Symbol.d.ts

@@ -1,8 +0,0 @@
-import { TypeAnalysis, Type } from './types';
-export declare type Symbol<Value extends string = string> = Type<'symbol', Value>;
-export declare namespace Symbol {
-    type Analysis = TypeAnalysis<'symbol'>;
-}
-export declare const symbol: Symbol<string> & {
-    optional: import("./Union").Union<[Symbol<string>, import("./Undefined").Undefined]>;
-};

package/lib/types/Symbol.js

@@ -1,13 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.symbol = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-function create(value) {
-    return { type: 'symbol', value: value };
-}
-var any = create(undefined);
-exports.symbol = Object.assign(any, {
-    optional: Union_1.union.create(any, Undefined_1.undef)
-});
-//# sourceMappingURL=Symbol.js.map

package/lib/types/Symbol.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Symbol.js","sourceRoot":"","sources":["../../src/types/Symbol.ts"],"names":[],"mappings":";;;AACA,yCAAmC;AACnC,iCAA+B;AAQ/B,SAAS,MAAM,CAAuB,KAAY;IAChD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,OAAA,EAAE,CAAA;AAClC,CAAC;AAED,IAAM,GAAG,GAAG,MAAM,CAAC,SAA8B,CAAC,CAAA;AAErC,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACvC,QAAQ,EAAE,aAAK,CAAC,MAAM,CAAC,GAAG,EAAE,iBAAK,CAAC;CACnC,CAAC,CAAA"}

package/lib/types/Tuple.d.ts

@@ -1,35 +0,0 @@
-import { TypeAnalysis, Type } from './types';
-import { AllType } from './AllType';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-import { Tail } from '../array';
-export declare type Tuple<Values extends AllType[] = any[]> = Type<'tuple', Values>;
-export declare namespace Tuple {
-    type Analysis<Value extends AllType.PrimitiveValues | AllType.Analysis = any> = TypeAnalysis<'tuple', Value[]>;
-    type FindByProp<Tuple extends Array<{
-        [K in Key]: any;
-    }>, Key extends string, Value> = FindByProp._<Tuple, Key, Value>['result'];
-    namespace FindByProp {
-        type _<Tuple extends Array<{
-            [K in Key]: any;
-        }>, Key extends string, Value> = Tuple['length'] extends 0 ? {
-            result: never;
-        } : {
-            result: Value extends Tuple[0][Key] ? Tuple[0] : _<Tail<Tuple>, Key, Value>['result'];
-        };
-    }
-}
-/**
- * Creates a tuple type.
- */
-declare function create<Value extends AllType, Values extends AllType[]>(value: Value, ...values: Values): Tuple<[Value, ...Values]>;
-export declare const tuple: {
-    create: typeof create;
-    optional: {
-        /**
-         * Creates an optional tuple type.
-         */
-        create<Value extends AllType, Values extends AllType[]>(value: Value, ...values: Values): Union<[Tuple<[Value, ...Values]>, Undefined]>;
-    };
-};
-export {};

package/lib/types/Tuple.js

@@ -1,39 +0,0 @@
-"use strict";
-var __spreadArray = (this && this.__spreadArray) || function (to, from) {
-    for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
-        to[j] = from[i];
-    return to;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.tuple = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-/**
- * Creates a tuple type.
- */
-function create(value) {
-    var values = [];
-    for (var _i = 1; _i < arguments.length; _i++) {
-        values[_i - 1] = arguments[_i];
-    }
-    return {
-        type: 'tuple',
-        value: __spreadArray([value], values)
-    };
-}
-exports.tuple = {
-    create: create,
-    optional: {
-        /**
-         * Creates an optional tuple type.
-         */
-        create: function (value) {
-            var values = [];
-            for (var _i = 1; _i < arguments.length; _i++) {
-                values[_i - 1] = arguments[_i];
-            }
-            return Union_1.union.create(create.apply(void 0, __spreadArray([value], values)), Undefined_1.undef);
-        }
-    }
-};
-//# sourceMappingURL=Tuple.js.map

package/lib/types/Tuple.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Tuple.js","sourceRoot":"","sources":["../../src/types/Tuple.ts"],"names":[],"mappings":";;;;;;;;AAEA,yCAA8C;AAC9C,iCAAsC;AAqBtC;;GAEG;AACH,SAAS,MAAM,CACb,KAAY;IACZ,gBAAiB;SAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;QAAjB,+BAAiB;;IAEjB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,iBAAG,KAAK,GAAK,MAAM,CAAC;KAC1B,CAAA;AACH,CAAC;AACY,QAAA,KAAK,GAAG;IACnB,MAAM,QAAA;IACN,QAAQ,EAAE;QACR;;WAEG;QACH,MAAM,EAAN,UACE,KAAY;YACZ,gBAAiB;iBAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;gBAAjB,+BAAiB;;YAEjB,OAAO,aAAK,CAAC,MAAM,CAAC,MAAM,8BAAC,KAAK,GAAK,MAAM,IAAG,iBAAK,CAAC,CAAA;QACtD,CAAC;KACF;CACF,CAAA"}

package/lib/types/Undefined.d.ts

@@ -1,6 +0,0 @@
-import { TypeAnalysis, Type } from './types';
-export declare type Undefined = Type<'undefined', undefined>;
-export declare namespace Undefined {
-    type Analysis = TypeAnalysis<'undefined'>;
-}
-export declare const undef: Undefined;

package/lib/types/Undefined.js

@@ -1,5 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.undef = void 0;
-exports.undef = { type: 'undefined', value: undefined };
-//# sourceMappingURL=Undefined.js.map

package/lib/types/Undefined.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Undefined.js","sourceRoot":"","sources":["../../src/types/Undefined.ts"],"names":[],"mappings":";;;AAOa,QAAA,KAAK,GAAc,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA"}

package/lib/types/Union.d.ts

@@ -1,20 +0,0 @@
-import { AllType } from './AllType';
-import { TypeAnalysis, Type } from './types';
-export declare type Union<Values extends AllType[] = any[]> = Type<'union', Values>;
-export declare namespace Union {
-    type Analysis<Value extends AllType.PrimitiveValues | AllType.Analysis = any> = TypeAnalysis<'union', Value[]>;
-}
-/**
- * Create union type.
- */
-declare function create<Value extends AllType, Values extends AllType[]>(value: Value, ...values: Values): Values['length'] extends 0 ? Value : Union<[Value, ...Values]>;
-export declare const union: {
-    create: typeof create;
-    optional: {
-        /**
-         * Creates an optional unional type.
-         */
-        create<Value extends AllType, Values extends AllType[]>(value: Value, ...values: Values): Values["length"] extends 0 ? Value : Union<[Value, ...Values]>;
-    };
-};
-export {};

package/lib/types/Union.js

@@ -1,48 +0,0 @@
-"use strict";
-var __spreadArray = (this && this.__spreadArray) || function (to, from) {
-    for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
-        to[j] = from[i];
-    return to;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.union = void 0;
-var Undefined_1 = require("./Undefined");
-/**
- * Create union type.
- */
-function create(value) {
-    var values = [];
-    for (var _i = 1; _i < arguments.length; _i++) {
-        values[_i - 1] = arguments[_i];
-    }
-    values.unshift(value);
-    if (values.length === 1)
-        return values[0];
-    var v = values.reduce(function (p, v) {
-        if (v.type === 'union') {
-            p.push.apply(p, v.value);
-        }
-        else {
-            p.push(v);
-        }
-        return p;
-    }, []);
-    return { type: 'union', value: v };
-}
-exports.union = {
-    create: create,
-    optional: {
-        /**
-         * Creates an optional unional type.
-         */
-        create: function (value) {
-            var values = [];
-            for (var _i = 1; _i < arguments.length; _i++) {
-                values[_i - 1] = arguments[_i];
-            }
-            values.push(Undefined_1.undef);
-            return create.apply(void 0, __spreadArray([value], values));
-        }
-    }
-};
-//# sourceMappingURL=Union.js.map

package/lib/types/Union.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Union.js","sourceRoot":"","sources":["../../src/types/Union.ts"],"names":[],"mappings":";;;;;;;;AAEA,yCAAmC;AAWnC;;GAEG;AACH,SAAS,MAAM,CAEb,KAAY;IAAE,gBAAiB;SAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;QAAjB,+BAAiB;;IAE/B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACrB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAQ,CAAA;IAChD,IAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAY,UAAC,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;YACtB,CAAC,CAAC,IAAI,OAAN,CAAC,EAAU,CAAS,CAAC,KAAK,EAAC;SAC5B;aACI;YACH,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;SACV;QACD,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAE,CAAC,CAAA;IACN,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAS,CAAA;AAC3C,CAAC;AAEY,QAAA,KAAK,GAAG;IACnB,MAAM,QAAA;IACN,QAAQ,EAAE;QACR;;WAEG;QACH,MAAM,EAAN,UAAwD,KAAY;YAAE,gBAAiB;iBAAjB,UAAiB,EAAjB,qBAAiB,EAAjB,IAAiB;gBAAjB,+BAAiB;;YACrF,MAAM,CAAC,IAAI,CAAC,iBAAK,CAAC,CAAA;YAClB,OAAO,MAAM,8BAAC,KAAK,GAAK,MAAM,GAAC;QACjC,CAAC;KACF;CACF,CAAA"}

package/lib/types/Unknown.d.ts

@@ -1,6 +0,0 @@
-import { TypeAnalysis, Type } from './types';
-export declare type Unknown = Type<'unknown', undefined>;
-export declare namespace Unknown {
-    type Analysis = TypeAnalysis<'unknown'>;
-}
-export declare const unknown: Unknown;

package/lib/types/Unknown.js

@@ -1,5 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.unknown = void 0;
-exports.unknown = { type: 'unknown', value: undefined };
-//# sourceMappingURL=Unknown.js.map

package/lib/types/Unknown.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Unknown.js","sourceRoot":"","sources":["../../src/types/Unknown.ts"],"names":[],"mappings":";;;AAQa,QAAA,OAAO,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA"}

package/lib/types/analyze.d.ts

@@ -1,13 +0,0 @@
-import { AllType } from './AllType';
-export declare namespace analyze {
-    type Options = {
-        strict: boolean;
-    };
-    type Result = {
-        options: Options;
-        analysis: AllType.Analysis;
-        actual: any;
-    };
-}
-export declare function analyze(options: analyze.Options, type: AllType, actual: unknown): analyze.Result;
-export declare function analyzeInternal(options: analyze.Options, type: AllType, actual: unknown): AllType.Analysis;

package/lib/types/analyze.js

@@ -1,158 +0,0 @@
-"use strict";
-var __assign = (this && this.__assign) || function () {
-    __assign = Object.assign || function(t) {
-        for (var s, i = 1, n = arguments.length; i < n; i++) {
-            s = arguments[i];
-            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
-                t[p] = s[p];
-        }
-        return t;
-    };
-    return __assign.apply(this, arguments);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.analyzeInternal = exports.analyze = void 0;
-var object_1 = require("../object");
-var Number_1 = require("./Number");
-var Object_1 = require("./Object");
-var String_1 = require("./String");
-function analyze(options, type, actual) {
-    return {
-        options: options,
-        analysis: analyzeInternal(options, type, actual),
-        actual: actual
-    };
-}
-exports.analyze = analyze;
-function analyzeInternal(options, type, actual) {
-    var t = type['type'];
-    switch (t) {
-        case 'unknown':
-        case 'any':
-            return ok(type);
-        case 'undefined':
-        case 'symbol':
-            return typeof actual === t ? ok(type) : fail(t);
-        case 'null':
-            return actual === null ? ok(type) : fail(t);
-        case 'boolean': return analyzeBoolean(type, actual);
-        case 'number': return analyzeType(Number_1.number, type, actual);
-        case 'string': return analyzeType(String_1.string, type, actual);
-        // case 'bigint': return analyzeType(bigint, type as BigInt, actual)
-        case 'object': return analyzeObject(options, type, actual);
-        case 'record': return analyzeRecord(options, type, actual);
-        case 'array': return analyzeArray(options, type, actual);
-        case 'tuple': return analyzeTuple(options, type, actual);
-        case 'union': return analyzeUnion(options, type, actual);
-    }
-}
-exports.analyzeInternal = analyzeInternal;
-function analyzeBoolean(type, actual) {
-    var value = type['value'];
-    if (value === undefined) {
-        return typeof actual === 'boolean' ? ok(type) : fail('boolean', value);
-    }
-    else {
-        return value === actual ? ok(type) : fail('boolean', value);
-    }
-}
-function analyzeType(baseType, // | BigInt,
-type, actual) {
-    var value = type['value'];
-    return typeof actual === baseType['type'] && (type === baseType || actual === value)
-        ? ok(type)
-        : fail(type['type'], type['value']);
-}
-function analyzeUnion(options, type, actual) {
-    var subTypes = type['value'];
-    var r = subTypes.map(function (t) { return analyzeInternal(options, t, actual); });
-    return r.some(function (r) { return !r.fail; }) ? ok(type) : fail('union', r);
-}
-function analyzeArray(options, type, actual) {
-    var subType = type['value'];
-    if (!Array.isArray(actual))
-        return fail('array', subType ? ok(subType) : undefined);
-    if (subType === undefined)
-        return ok(type);
-    var r = actual.reduce(function (p, a, i) {
-        var r = analyzeInternal(options, subType, a);
-        if (r.fail) {
-            p.value = r.value;
-            p.keys.push(i);
-            p.actual.push(a);
-        }
-        return p;
-    }, { keys: [], actual: [] });
-    return r.keys.length === 0 ?
-        ok(type) :
-        fail('array', __assign({}, fail(subType['type'], r.value)));
-}
-function analyzeTuple(options, type, actual) {
-    var value = type['value'];
-    if (!Array.isArray(actual))
-        return fail('tuple', value.map(ok));
-    var results = value.map(function (v, i) { return analyzeInternal(options, v, actual[i]); });
-    if (options.strict && results.length < actual.length) {
-        return fail('tuple', results);
-    }
-    return results.every(function (r) { return !r.fail; }) ? ok(type) : fail('tuple', results);
-}
-function analyzeObject(options, type, actual) {
-    var typeMap = type['value'];
-    if (!isOnlyObject(actual))
-        return fail('object', typeMap ? Object_1.object.map(function (v) { return ok(v); }, typeMap) : undefined);
-    if (type === Object_1.object)
-        return ok(type);
-    var typeKeys = Object.keys(typeMap);
-    var s = __assign({}, actual);
-    var results = typeKeys.reduce(function (p, k) {
-        var r = p.value[k] = analyzeInternal(options, typeMap[k], actual[k]);
-        p.fail || (p.fail = !!r.fail);
-        s[k] = undefined;
-        return p;
-    }, { fail: false, value: {} });
-    var skeys = Object.keys(s);
-    if (options.strict && skeys.length > typeKeys.length) {
-        return fail('object', results.value);
-    }
-    return !results.fail ? ok(type) : fail('object', results.value);
-}
-function analyzeRecord(options, type, actual) {
-    var subType = type['value'];
-    if (!isOnlyObject(actual))
-        return fail('record', ok(subType));
-    var r = object_1.reduceByKey(actual, function (p, k) {
-        var r = analyzeInternal(options, subType, actual[k]);
-        if (r.fail) {
-            p.value = r.value;
-            p.keys.push(k);
-            p.actual.push(actual[k]);
-        }
-        return p;
-    }, { keys: [], actual: [], value: undefined });
-    return r.keys.length === 0 ?
-        ok(type) :
-        fail('record', __assign({}, fail(subType['type'], r.value)));
-}
-function ok(t) {
-    var type = t['type'];
-    var value = t['value'];
-    if (value === undefined)
-        return { type: type, value: value };
-    if (typeof value !== 'object' || value === null)
-        return { type: type, value: value };
-    if (Array.isArray(value))
-        return { type: type, value: value.map(ok) };
-    if (value['type'])
-        return { type: type, value: ok(value) };
-    return {
-        type: type, value: object_1.reduceByKey(value, function (p, k) { return (p[k] = ok(value[k]), p); }, {})
-    };
-}
-function fail(type, value) {
-    return value === undefined ? { type: type, fail: true } : { type: type, value: value, fail: true };
-}
-function isOnlyObject(actual) {
-    return typeof actual === 'object' && actual !== null && !Array.isArray(actual);
-}
-//# sourceMappingURL=analyze.js.map

package/lib/types/analyze.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/types/analyze.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAAA,oCAAuC;AAIvC,mCAAyC;AACzC,mCAA6C;AAE7C,mCAAyC;AAazC,SAAgB,OAAO,CAAC,OAAwB,EAAE,IAAa,EAAE,MAAe;IAC9E,OAAO;QACL,OAAO,SAAA;QACP,QAAQ,EAAE,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC;QAChD,MAAM,QAAA;KACP,CAAA;AACH,CAAC;AAND,0BAMC;AACD,SAAgB,eAAe,CAAC,OAAwB,EAAE,IAAa,EAAE,MAAe;IACtF,IAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAA;IACtB,QAAQ,CAAC,EAAE;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACR,OAAO,EAAE,CAAC,IAAI,CAAC,CAAA;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACjD,KAAK,MAAM;YACT,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC7C,KAAK,SAAS,CAAC,CAAC,OAAO,cAAc,CAAC,IAAe,EAAE,MAAM,CAAC,CAAA;QAC9D,KAAK,QAAQ,CAAC,CAAC,OAAO,WAAW,CAAC,eAAM,EAAE,IAAc,EAAE,MAAM,CAAC,CAAA;QACjE,KAAK,QAAQ,CAAC,CAAC,OAAO,WAAW,CAAC,eAAM,EAAE,IAAc,EAAE,MAAM,CAAC,CAAA;QACjE,oEAAoE;QACpE,KAAK,QAAQ,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,EAAE,IAAkB,EAAE,MAAM,CAAC,CAAA;QACxE,KAAK,QAAQ,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,EAAE,IAAkB,EAAE,MAAM,CAAC,CAAA;QACxE,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,EAAE,IAAiB,EAAE,MAAM,CAAC,CAAA;QACrE,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,EAAE,IAAa,EAAE,MAAM,CAAC,CAAA;QACjE,KAAK,OAAO,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,EAAE,IAAa,EAAE,MAAM,CAAC,CAAA;KAClE;AACH,CAAC;AArBD,0CAqBC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,MAAe;IACpD,IAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3B,IAAI,KAAK,KAAK,SAAS,EAAE;QACvB,OAAO,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;KACvE;SACI;QACH,OAAO,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;KAC5D;AACH,CAAC;AAED,SAAS,WAAW,CAClB,QAAyB,EAAE,YAAY;AACvC,IAAoB,EACpB,MAAe;IAEf,IAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3B,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,KAAK,KAAK,CAAC;QAClF,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;QACV,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAAW,EAAE,MAAe;IAC1E,IAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC9B,IAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,EAAnC,CAAmC,CAAC,CAAA;IAChE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAA,CAAC,IAAI,OAAA,CAAC,CAAC,CAAC,IAAI,EAAP,CAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAAwB,EAAE,MAAe;IACvF,IAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACnF,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAA;IAE1C,IAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9B,IAAM,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,CAAC,IAAI,EAAE;YACV,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;YACjB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACd,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;SACjB;QACD,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;IAC5B,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QAC1B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACV,IAAI,CAAC,OAAO,eAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAG,CAAA;AACxD,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAAW,EAAE,MAAe;IAC1E,IAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/D,IAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAtC,CAAsC,CAAC,CAAA;IAC3E,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;QACpD,OAAO,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;KAC9B;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,UAAA,CAAC,IAAI,OAAA,CAAC,CAAC,CAAC,IAAI,EAAP,CAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;AACxE,CAAC;AAED,SAAS,aAAa,CAAC,OAAwB,EAAE,IAAgB,EAAE,MAAW;IAC5E,IAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,EAAE,CAAC,CAAC,CAAC,EAAL,CAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACvG,IAAI,IAAI,KAAK,eAAoB;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAA;IAElD,IAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACrC,IAAM,CAAC,gBAAQ,MAAM,CAAE,CAAA;IACvB,IAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,UAAC,CAAC,EAAE,CAAC;QACH,IAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACtE,CAAC,CAAC,IAAI,KAAN,CAAC,CAAC,IAAI,GAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAA;QACnB,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;QAChB,OAAO,CAAC,CAAA;IACV,CAAC,EACD,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAgE,CACzF,CAAA;IACD,IAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE;QACpD,OAAO,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;KACrC;IAED,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;AACjE,CAAC;AAED,SAAS,aAAa,CAAC,OAAwB,EAAE,IAAgB,EAAE,MAAe;IAChF,IAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;IAE7D,IAAM,CAAC,GAAG,oBAAW,CAAC,MAAM,EAAE,UAAC,CAAC,EAAE,CAAC;QACjC,IAAM,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACtD,IAAI,CAAC,CAAC,IAAI,EAAE;YACV,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;YACjB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACd,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;SACzB;QACD,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAE,IAAI,EAAE,EAAc,EAAE,MAAM,EAAE,EAAW,EAAE,KAAK,EAAE,SAAgB,EAAE,CAAC,CAAA;IAC1E,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QAC1B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACV,IAAI,CAAC,QAAQ,eAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAG,CAAA;AACzD,CAAC;AAED,SAAS,EAAE,CAAC,CAA4E;IACtF,IAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAA;IACtB,IAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,MAAA,EAAE,KAAK,OAAA,EAAE,CAAA;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,MAAA,EAAE,KAAK,OAAA,EAAE,CAAA;IACvE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,MAAA,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAS,CAAA;IACtE,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,IAAI,MAAA,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAS,CAAA;IAC3D,OAAO;QACL,IAAI,MAAA,EAAE,KAAK,EAAE,oBAAW,CACtB,KAA4B,EAC5B,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAxB,CAAwB,EAClC,EAAyB,CAAC;KACtB,CAAA;AACV,CAAC;AAED,SAAS,IAAI,CAAC,IAA8B,EAAE,KAAiC;IAC7E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,MAAA,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,MAAA,EAAE,KAAK,OAAA,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,MAAe;IACnC,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;AAChF,CAAC"}

package/lib/types/check.d.ts

@@ -1,14 +0,0 @@
-import { AllType } from './AllType';
-import { analyze } from './analyze';
-import { Generate } from './Generate';
-/**
- * Checks if the specified `subject` against the `type`.
- * @return type guard (boolean). If the subject does not check to the type,
- * the detail report is available in `check.result`,
- * and you can get a string report using `check.getReport()`
- */
-export declare function check<T extends AllType>(options: analyze.Options, type: T, subject: unknown): subject is Generate<T>;
-export declare namespace check {
-    var result: analyze.Result;
-    var getReport: () => string;
-}

package/lib/types/check.js

@@ -1,25 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.check = void 0;
-var analyze_1 = require("./analyze");
-var getPlainAnalysisReport_1 = require("./getPlainAnalysisReport");
-/**
- * Checks if the specified `subject` against the `type`.
- * @return type guard (boolean). If the subject does not check to the type,
- * the detail report is available in `check.result`,
- * and you can get a string report using `check.getReport()`
- */
-function check(options, type, subject) {
-    var result = check.result = analyze_1.analyze(options, type, subject);
-    return !result.analysis.fail;
-}
-exports.check = check;
-/**
- * Analysis report.
- */
-check.result = { analysis: {}, actual: undefined };
-/**
- * Gets a simple report of the analysis.
- */
-check.getReport = function () { return getPlainAnalysisReport_1.getPlainAnalysisReport(check.result); };
-//# sourceMappingURL=check.js.map

package/lib/types/check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/types/check.ts"],"names":[],"mappings":";;;AACA,qCAAmC;AAEnC,mEAAiE;AAEjE;;;;;GAKG;AACH,SAAgB,KAAK,CAAoB,OAAwB,EAAE,IAAO,EAAE,OAAgB;IAC1F,IAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,iBAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAC7D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAHD,sBAGC;AAED;;GAEG;AACH,KAAK,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAoB,CAAA;AAEpE;;GAEG;AACH,KAAK,CAAC,SAAS,GAAG,cAAM,OAAA,+CAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,EAApC,CAAoC,CAAA"}

package/lib/types/conform.d.ts

@@ -1,15 +0,0 @@
-import { AllType } from './AllType';
-import { analyze } from './analyze';
-import { Generate } from './Generate';
-/**
- * Checks if the specified `subject` conforms to the `type`.
- * `conform()` is the shortcut of `check({ strict: true }, ...)`.
- * @return type guard (boolean). If the subject does not conform to the type,
- * the detail report is available in `conform.result`,
- * and you can get a string report using `conform.getReport()`
- */
-export declare function conform<T extends AllType>(type: T, subject: unknown): subject is Generate<T>;
-export declare namespace conform {
-    var result: analyze.Result;
-    var getReport: () => string;
-}

package/lib/types/conform.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.conform = void 0;
-var analyze_1 = require("./analyze");
-var getPlainAnalysisReport_1 = require("./getPlainAnalysisReport");
-/**
- * Checks if the specified `subject` conforms to the `type`.
- * `conform()` is the shortcut of `check({ strict: true }, ...)`.
- * @return type guard (boolean). If the subject does not conform to the type,
- * the detail report is available in `conform.result`,
- * and you can get a string report using `conform.getReport()`
- */
-function conform(type, subject) {
-    var result = conform.result = analyze_1.analyze({ strict: true }, type, subject);
-    return !result.analysis.fail;
-}
-exports.conform = conform;
-/**
- * Analysis report.
- */
-conform.result = { analysis: {}, actual: undefined };
-/**
- * Gets a simple report of the analysis.
- */
-conform.getReport = function () { return getPlainAnalysisReport_1.getPlainAnalysisReport(conform.result); };
-//# sourceMappingURL=conform.js.map

package/lib/types/conform.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"conform.js","sourceRoot":"","sources":["../../src/types/conform.ts"],"names":[],"mappings":";;;AACA,qCAAmC;AAEnC,mEAAiE;AAEjE;;;;;;GAMG;AACH,SAAgB,OAAO,CAAoB,IAAO,EAAE,OAAgB;IAClE,IAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,iBAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACxE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAHD,0BAGC;AAED;;GAEG;AACH,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAoB,CAAA;AAEtE;;GAEG;AACH,OAAO,CAAC,SAAS,GAAG,cAAM,OAAA,+CAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAtC,CAAsC,CAAA"}

package/lib/types/getPlainAnalysisReport.d.ts

@@ -1,2 +0,0 @@
-import { analyze } from './analyze';
-export declare function getPlainAnalysisReport(analysisResult: analyze.Result): string;