type-plus 3.15.0 → 4.0.0

package/README.md

@@ -15,7 +15,6 @@ Provides additional types and type adjusted utilities for [TypeScript](https://w
 
 ## Feature Highlights
 
-- [Runtime type checker](#runtime-type-checker)
 - [Type assertion](#type-assertion)
 - [Nominal Types](#nominal-type)
 - [Type Utilities](#type-utilities)
@@ -28,59 +27,6 @@ npm install type-plus
 yarn add type-plus
 ```
 
-## Runtime type checker
-
-Bringing the power of TypeScript to JavaScript runtime.
-At the moment, this provides some basic functionalities.
-If you need more features, I would recommend other excellent type checking libraries such as [zod](https://github.com/colinhacks/zod).
-
-```ts
-const eslintConfig = T.object.create({
-  env: O.object.create({
-    es6: O.boolean
-  }),
-  parseOptions: O.object.create({
-    ecmaVersion: O.number.list(3, 5, 6, 7, 8, 9, 10, 11, 12),
-    sourceType: O.string.list('script', 'module'),
-    ecmaFeatures: O.object.create({
-      globalReturn: O.boolean,
-      impliedStrict: O.boolean,
-      jsx: O.boolean
-    })
-  }),
-  ...
-})
-
-const config: unknown = require('.eslintrc.json')
-if (T.satisfy(eslintConfig, config)) {
-  // `config` is typed here
-  config.parseOptions?.ecmaVersion // 3 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12
-}
-else {
-  console.error(T.satisfy.getReport())
-}
-
-```
-
-All type checker functionalities are exposed as `types` (alias to `T`).
-In addition, `O` and `R` are exposed to make it easier to access optional types and required types respectively.
-
-Types supported: `any`, `array`, `boolean`, `null`, `number`, `object`, `record`, `string`, `symbol`, `tuple`, `undefined`, `union`, `unknown`.
-
-i.e., most of the basic types are supported except `bigint`.
-It is left out for backward compatibility reasons.
-
-You can use one of the three functions to perform type-check:
-
-`satisfy(type, subject)`:
-A loose type check that permits extra elements in `Tuple` and properties in `Object`.
-
-`conform(type, subject)`:
-A strict type check that does not allow extra elements in `Tuple` and properties in `Object`.
-
-`check(options, type, subject)`:
-A general form of `satisfy()` and `conform()`.
-
 ## Type Assertion
 
 Besides the [runtime type checker](#runtime-type-checker),
@@ -120,7 +66,7 @@ a standard `TypeError` will be thrown and provide better error info.
 For example:
 
 ```ts
-const s: any = 1
+const s: unknown = 1
 
 // TypeError: subject fails to satisfy s => typeof s === 'boolean'
 assertType<boolean>(s, s => typeof s === 'boolean')

package/cjs/index.d.ts

@@ -1,4 +1,3 @@
-import * as types from './types';
 export { required, requiredDeep } from 'unpartial';
 export * from './array';
 export * from './assertion';
@@ -14,8 +13,5 @@ export * from './object';
 export * from './predicates';
 export * from './PrimitiveTypes';
 export * from './promise';
-export * from './types/optional';
-export * from './types/required';
 export * from './UnionKeys';
 export * from './utils';
-export { types, types as T };

package/cjs/index.js

@@ -6,26 +6,12 @@ var __createBinding = (this && this.__createBinding) || (Object.create ? (functi
     if (k2 === undefined) k2 = k;
     o[k2] = m[k];
 }));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
 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.T = exports.types = exports.requiredDeep = exports.required = void 0;
-var types = __importStar(require("./types"));
-exports.types = types;
-exports.T = types;
+exports.requiredDeep = exports.required = void 0;
+// import * as types from './types'
 var unpartial_1 = require("unpartial");
 Object.defineProperty(exports, "required", { enumerable: true, get: function () { return unpartial_1.required; } });
 Object.defineProperty(exports, "requiredDeep", { enumerable: true, get: function () { return unpartial_1.requiredDeep; } });
@@ -43,8 +29,9 @@ __exportStar(require("./object"), exports);
 __exportStar(require("./predicates"), exports);
 __exportStar(require("./PrimitiveTypes"), exports);
 __exportStar(require("./promise"), exports);
-__exportStar(require("./types/optional"), exports);
-__exportStar(require("./types/required"), exports);
+// export * from './types/optional'
+// export * from './types/required'
 __exportStar(require("./UnionKeys"), exports);
 __exportStar(require("./utils"), exports);
+// export { types, types as T }
 //# sourceMappingURL=index.js.map

package/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AAAA,6CAAgC;AAoBvB,sBAAK;AAAW,kBAAC;AAnB1B,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AACvB,oDAAiC;AACjC,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,2CAAwB;AACxB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAC5B,mDAAgC;AAChC,4CAAyB;AACzB,mDAAgC;AAChC,mDAAgC;AAChC,8CAA2B;AAC3B,0CAAuB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;AAAA,mCAAmC;AACnC,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AACvB,oDAAiC;AACjC,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,2CAAwB;AACxB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAC5B,mDAAgC;AAChC,4CAAyB;AACzB,mCAAmC;AACnC,mCAAmC;AACnC,8CAA2B;AAC3B,0CAAuB;AACvB,+BAA+B"}

package/esm/index.js

@@ -1,4 +1,4 @@
-import * as types from './types';
+// import * as types from './types'
 export { required, requiredDeep } from 'unpartial';
 export * from './array';
 export * from './assertion';
@@ -14,9 +14,9 @@ export * from './object';
 export * from './predicates';
 export * from './PrimitiveTypes';
 export * from './promise';
-export * from './types/optional';
-export * from './types/required';
+// export * from './types/optional'
+// export * from './types/required'
 export * from './UnionKeys';
 export * from './utils';
-export { types, types as T };
+// export { types, types as T }
 //# sourceMappingURL=index.js.map

package/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,SAAS,CAAA;AAChC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAClD,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,QAAQ,CAAA;AACtB,cAAc,UAAU,CAAA;AACxB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA;AACxB,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA;AAChC,cAAc,kBAAkB,CAAA;AAChC,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,OAAO,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC,EAAE,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,mCAAmC;AACnC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAClD,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,QAAQ,CAAA;AACtB,cAAc,UAAU,CAAA;AACxB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA;AACxB,cAAc,cAAc,CAAA;AAC5B,cAAc,kBAAkB,CAAA;AAChC,cAAc,WAAW,CAAA;AACzB,mCAAmC;AACnC,mCAAmC;AACnC,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,+BAA+B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "3.15.0",
+  "version": "4.0.0",
   "description": "Provides additional types for `typescript`.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {

package/ts/index.ts

@@ -1,4 +1,4 @@
-import * as types from './types'
+// import * as types from './types'
 export { required, requiredDeep } from 'unpartial'
 export * from './array'
 export * from './assertion'
@@ -14,8 +14,8 @@ export * from './object'
 export * from './predicates'
 export * from './PrimitiveTypes'
 export * from './promise'
-export * from './types/optional'
-export * from './types/required'
+// export * from './types/optional'
+// export * from './types/required'
 export * from './UnionKeys'
 export * from './utils'
-export { types, types as T }
+// export { types, types as T }

package/ts/type-checker/typeChecker.spec.ts

@@ -1,4 +1,5 @@
-import { assertType, T } from '..'
+import { assertType } from '..'
+import * as T from '../types'
 import { createTypeChecker } from './typeChecker'
 
 describe('check()', () => {

package/ts/types/check.spec.ts

@@ -1,4 +1,4 @@
-import { T } from '..'
+import * as T from '.'
 import { check } from './check'
 
 test('check without strict', () => {

package/ts/types/conform.spec.ts

@@ -1,4 +1,4 @@
-import { T } from '..'
+import * as T from '.'
 import { conform } from './conform'
 
 test('conform is strict', () => {

package/ts/types/satisfy.accept.ts

@@ -1,38 +1,39 @@
-import { baseline } from '@unional/fixture'
-import fs from 'fs'
-import path from 'path'
-import { T, O } from '..'
-
-const eslint = T.object.create({
-  env: O.object.create({
-    es6: O.boolean
-  }),
-  parseOptions: O.object.create({
-    ecmaVersion: O.number.list(3, 5, 6, 7, 8, 9, 10, 11, 12),
-    sourceType: O.string.list('script', 'module'),
-    ecmaFeatures: O.object.create({
-      globalReturn: O.boolean,
-      impliedStrict: O.boolean,
-      jsx: O.boolean
-    })
-  }),
-  plugins: O.array.create(O.string),
-  overrides: O.array.create(
-    T.object.create({
-      files: O.array.create(O.string),
-      processor: O.string,
-      rules: O.record.create(O.string.create('error'))
-    })
-  ),
-  rules: O.record.create(O.string.create('error'))
-})
-
-baseline('fixtures/eslint', ({ caseName, caseFolder }) => {
-  test(`eslint ${caseName}`, () => {
-    const config: unknown = JSON.parse(
-      fs.readFileSync(`${path.join(caseFolder, caseName)}`, 'utf-8')
-    )
-
-    if (!T.satisfy(eslint, config)) fail('should satisfy')
-  })
-})
+import { baseline } from '@unional/fixture'
+import fs from 'fs'
+import path from 'path'
+import * as T from '.'
+import { O } from './optional'
+
+const eslint = T.object.create({
+  env: O.object.create({
+    es6: O.boolean
+  }),
+  parseOptions: O.object.create({
+    ecmaVersion: O.number.list(3, 5, 6, 7, 8, 9, 10, 11, 12),
+    sourceType: O.string.list('script', 'module'),
+    ecmaFeatures: O.object.create({
+      globalReturn: O.boolean,
+      impliedStrict: O.boolean,
+      jsx: O.boolean
+    })
+  }),
+  plugins: O.array.create(O.string),
+  overrides: O.array.create(
+    T.object.create({
+      files: O.array.create(O.string),
+      processor: O.string,
+      rules: O.record.create(O.string.create('error'))
+    })
+  ),
+  rules: O.record.create(O.string.create('error'))
+})
+
+baseline('fixtures/eslint', ({ caseName, caseFolder }) => {
+  test(`eslint ${caseName}`, () => {
+    const config: unknown = JSON.parse(
+      fs.readFileSync(`${path.join(caseFolder, caseName)}`, 'utf-8')
+    )
+
+    if (!T.satisfy(eslint, config)) fail('should satisfy')
+  })
+})

package/ts/types/satisfy.spec.ts

@@ -1,5 +1,6 @@
 import { satisfies } from 'satisfier'
-import { assertType, T, Equal } from '..'
+import { assertType, Equal } from '..'
+import * as T from '.'
 
 describe('undefined', () => {
   test('satisfies only undefined', () => {

package/cjs/types/AllType.d.ts

@@ -1,18 +0,0 @@
-import { Any } from './Any';
-import { Array } from './Array';
-import { Boolean } from './Boolean';
-import { Null } from './Null';
-import { Number } from './Number';
-import { ObjectType } from './Object';
-import { Record } from './Record';
-import { String } from './String';
-import { Symbol } from './Symbol';
-import { Tuple } from './Tuple';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-import { Unknown } from './Unknown';
-export declare type AllType = Undefined | Null | Boolean | Number | String | ObjectType | Record | Array | Tuple | Union | Unknown | Any | Symbol;
-export declare namespace AllType {
-    type PrimitiveValues = boolean | number | string;
-    type Analysis = Any.Analysis | Unknown.Analysis | Undefined.Analysis | Null.Analysis | Boolean.Analysis | Number.Analysis | String.Analysis | Symbol.Analysis | ObjectType.Analysis | Record.Analysis | Array.Analysis | Tuple.Analysis | Union.Analysis;
-}

package/cjs/types/AllType.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=AllType.js.map

package/cjs/types/AllType.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"AllType.js","sourceRoot":"","sources":["../../ts/types/AllType.ts"],"names":[],"mappings":""}

package/cjs/types/Any.d.ts

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

package/cjs/types/Any.js

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

package/cjs/types/Any.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Any.js","sourceRoot":"","sources":["../../ts/types/Any.ts"],"names":[],"mappings":";;;AAMa,QAAA,GAAG,GAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA"}

package/cjs/types/Array.d.ts

@@ -1,28 +0,0 @@
-import { AllType } from './AllType';
-import { Type } from './types';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-export declare type Array<Value extends AllType = any> = Type<'array', Value>;
-export declare namespace Array {
-    type Analysis<Value extends AllType.PrimitiveValues | AllType.Analysis = any> = {
-        type: 'array';
-        value?: Value;
-        fail?: true;
-    };
-}
-/**
- * Creates an array type.
- */
-declare function create<Value extends AllType>(value: Value): Array<Value>;
-export declare const array: Array<any> & {
-    any: Array<any>;
-    create: typeof create;
-    optional: Union<[Array<any>, Undefined]> & {
-        /**
-         * Creates an optional array type.
-         */
-        create<Value extends AllType>(value: Value): Union<[Array<Value>, Undefined]>;
-    };
-    unknown: Array<import("./Unknown").Unknown>;
-};
-export {};

package/cjs/types/Array.js

@@ -1,30 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.array = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-var Unknown_1 = require("./Unknown");
-/**
- * Creates an array type.
- */
-function create(value) {
-    return {
-        type: 'array',
-        value: value
-    };
-}
-var any = create(undefined);
-exports.array = Object.assign({}, any, {
-    any: any,
-    create: create,
-    optional: Object.assign(Union_1.union.create(any, Undefined_1.undef), {
-        /**
-         * Creates an optional array type.
-         */
-        create: function (value) {
-            return Union_1.union.create(create(value), Undefined_1.undef);
-        }
-    }),
-    unknown: create(Unknown_1.unknown)
-});
-//# sourceMappingURL=Array.js.map

package/cjs/types/Array.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Array.js","sourceRoot":"","sources":["../../ts/types/Array.ts"],"names":[],"mappings":";;;AAGA,yCAA8C;AAC9C,iCAAsC;AACtC,qCAAmC;AAanC;;GAEG;AACH,SAAS,MAAM,CAAwB,KAAY;IACjD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,OAAA;KACN,CAAA;AACH,CAAC;AAED,IAAM,GAAG,GAAG,MAAM,CAAC,SAA2B,CAAC,CAAA;AAElC,QAAA,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE;IAC1C,GAAG,KAAA;IACH,MAAM,QAAA;IACN,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,aAAK,CAAC,MAAM,CAAC,GAAG,EAAE,iBAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,EAAN,UAA8B,KAAY;YACxC,OAAO,aAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,iBAAK,CAAC,CAAA;QAC3C,CAAC;KACF,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,iBAAO,CAAC;CACzB,CAAC,CAAA"}

package/cjs/types/Boolean.d.ts

@@ -1,29 +0,0 @@
-import { Type } from './types';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-export declare type Boolean<Value extends boolean = boolean> = Type<'boolean', Value>;
-export declare namespace Boolean {
-    type Analysis = {
-        type: 'boolean';
-        value?: boolean;
-        fail?: true;
-    };
-}
-export declare type True = Boolean<true>;
-export declare type False = Boolean<false>;
-declare function create<Value extends boolean>(value: Value): Boolean<Value>;
-export declare const boolean: Boolean<boolean> & {
-    any: Boolean<boolean>;
-    true: Boolean<true>;
-    false: Boolean<false>;
-    create: typeof create;
-    optional: Union<[Boolean<boolean>, Undefined]> & {
-        /**
-         * Creates an optional boolean type.
-         */
-        create<Value extends boolean>(value: Value): Union<[Boolean<Value>, Undefined]>;
-        true: Union<[Boolean<true>, Undefined]>;
-        false: Union<[Boolean<false>, Undefined]>;
-    };
-};
-export {};

package/cjs/types/Boolean.js

@@ -1,28 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.boolean = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-function create(value) {
-    return { type: 'boolean', value: value };
-}
-var any = create(undefined);
-var t = create(true);
-var f = create(false);
-exports.boolean = Object.assign(any, {
-    any: any,
-    true: t,
-    false: f,
-    create: create,
-    optional: Object.assign(Union_1.union.create(any, Undefined_1.undef), {
-        /**
-         * Creates an optional boolean type.
-         */
-        create: function (value) {
-            return Union_1.union.create(create(value), Undefined_1.undef);
-        },
-        true: Union_1.union.create(t, Undefined_1.undef),
-        false: Union_1.union.create(f, Undefined_1.undef),
-    })
-});
-//# sourceMappingURL=Boolean.js.map

package/cjs/types/Boolean.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Boolean.js","sourceRoot":"","sources":["../../ts/types/Boolean.ts"],"names":[],"mappings":";;;AACA,yCAA8C;AAC9C,iCAAsC;AAUtC,SAAS,MAAM,CAAwB,KAAY;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,OAAA,EAAE,CAAA;AACnC,CAAC;AAED,IAAM,GAAG,GAAG,MAAM,CAAC,SAA+B,CAAC,CAAA;AACnD,IAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;AACtB,IAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;AAEV,QAAA,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACxC,GAAG,KAAA;IACH,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;IACR,MAAM,QAAA;IACN,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,aAAK,CAAC,MAAM,CAAC,GAAG,EAAE,iBAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,EAAN,UAA8B,KAAY;YACxC,OAAO,aAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,iBAAK,CAAC,CAAA;QAC3C,CAAC;QACD,IAAI,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAK,CAAC;QAC5B,KAAK,EAAE,aAAK,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAK,CAAC;KAC9B,CAAC;CACH,CAAC,CAAA"}

package/cjs/types/Generate.d.ts

@@ -1,32 +0,0 @@
-import { Tail } from '../array';
-import { AllType } from './AllType';
-import { Any } from './Any';
-import { Array } from './Array';
-import { Boolean, False, True } from './Boolean';
-import { Null } from './Null';
-import { Number } from './Number';
-import { ObjectType } from './Object';
-import { Record } from './Record';
-import { String } from './String';
-import { Symbol } from './Symbol';
-import { Tuple } from './Tuple';
-import { Undefined } from './Undefined';
-import { Union } from './Union';
-import { Unknown } from './Unknown';
-export declare type Generate<T extends AllType> = T extends Undefined ? undefined : T extends Null ? null : T extends True ? true : T extends False ? false : T extends Boolean ? boolean : T extends Symbol ? symbol : T extends Any ? any : T extends Unknown ? unknown : T extends Number ? T['value'] : T extends String ? T['value'] : T extends ObjectType ? {
-    [K in keyof T['value']]: Generate<T['value'][K]>;
-} : T extends Record ? {
-    [K: string]: Generate<T['value']>;
-} : T extends Array ? Generate<T['value']>[] : T extends Tuple ? Generate._TupleDevice<T['value']>['result'] : T extends Union ? Generate._UnionDevice<T['value']>['result'] : unknown;
-export declare namespace Generate {
-    type _UnionDevice<T extends AllType[]> = T['length'] extends 0 ? {
-        result: never;
-    } : {
-        result: Generate<T[0]> | _UnionDevice<Tail<T>>['result'];
-    };
-    type _TupleDevice<T extends AllType[]> = T['length'] extends 0 ? {
-        result: [];
-    } : {
-        result: [Generate<T[0]>, ..._TupleDevice<Tail<T>>['result']];
-    };
-}

package/cjs/types/Generate.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=Generate.js.map

package/cjs/types/Generate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Generate.js","sourceRoot":"","sources":["../../ts/types/Generate.ts"],"names":[],"mappings":""}

package/cjs/types/Null.d.ts

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

package/cjs/types/Null.js

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

package/cjs/types/Null.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Null.js","sourceRoot":"","sources":["../../ts/types/Null.ts"],"names":[],"mappings":";;;AACA,yCAAmC;AACnC,iCAA+B;AAO/B,IAAM,GAAG,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;AAEvC,QAAA,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE;IACxC,QAAQ,EAAE,aAAK,CAAC,MAAM,CAAC,GAAG,EAAE,iBAAK,CAAC;CACnC,CAAC,CAAA"}

package/cjs/types/Number.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 Number<Value extends number = number> = Type<'number', Value>;
-export declare namespace Number {
-    type Analysis = {
-        type: 'number';
-        value?: number;
-        fail?: true;
-    };
-}
-declare type NumberListDevice<Values extends number[] = number[]> = Values['length'] extends 0 ? {
-    result: [];
-} : Values['length'] extends 1 ? {
-    result: [Number<Values[0]>];
-} : {
-    result: [Number<Values[0]>, Number<Values[1]>, ...NumberListDevice<Tail<Tail<Values>>>['result']];
-};
-/**
- * Creates a single number type.
- */
-declare function create<Value extends number>(value: Value): Number<Value>;
-export declare const number: Number<number> & {
-    any: Number<number>;
-    create: typeof create;
-    list<Value extends number, Values extends number[]>(value: Value, ...values: Values): Union<NumberListDevice<[Value, ...Values]>["result"]>;
-    optional: Union<[Number<number>, Undefined]> & {
-        /**
-         * Creates an optional number constant type.
-         */
-        create<Value_1 extends number>(value: Value_1): Union<[Number<Value_1>, Undefined]>;
-        list<Value_2 extends number, Values_1 extends number[]>(value: Value_2, ...values: Values_1): Union<[...NumberListDevice<[Value_2, ...Values_1]>["result"], Undefined]>;
-    };
-};
-export {};

package/cjs/types/Number.js

@@ -1,50 +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.number = void 0;
-var Undefined_1 = require("./Undefined");
-var Union_1 = require("./Union");
-/**
- * Creates a single number type.
- */
-function create(value) {
-    return { type: 'number', value: value };
-}
-var any = create(undefined);
-exports.number = 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), false));
-    },
-    optional: Object.assign(Union_1.union.create(any, Undefined_1.undef), {
-        /**
-         * Creates an optional number constant 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), false), [Undefined_1.undef], false));
-        }
-    })
-});
-//# sourceMappingURL=Number.js.map

package/cjs/types/Number.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Number.js","sourceRoot":"","sources":["../../ts/types/Number.ts"],"names":[],"mappings":";;;;;;;;;;;;AAEA,yCAA8C;AAC9C,iCAAsC;AAiBtC;;GAEG;AACH,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,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,SAAQ,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,WAAE,iBAAK,UAAQ,CAAA;QACzE,CAAC;KACF,CAAC;CACH,CAAC,CAAA"}