type-plus 3.13.0 → 4.0.0

package/libm/types/Boolean.js

@@ -1,25 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-function create(value) {
-    return { type: 'boolean', value };
-}
-const any = create(undefined);
-const t = create(true);
-const f = create(false);
-export const boolean = Object.assign(any, {
-    any,
-    true: t,
-    false: f,
-    create,
-    optional: Object.assign(union.create(any, undef), {
-        /**
-         * Creates an optional boolean type.
-         */
-        create(value) {
-            return union.create(create(value), undef);
-        },
-        true: union.create(t, undef),
-        false: union.create(f, undef),
-    })
-});
-//# sourceMappingURL=Boolean.js.map

package/libm/types/Boolean.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Boolean.js","sourceRoot":"","sources":["../../src/types/Boolean.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAS,KAAK,EAAE,MAAM,SAAS,CAAA;AAUtC,SAAS,MAAM,CAAwB,KAAY;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,GAAG,GAAG,MAAM,CAAC,SAA+B,CAAC,CAAA;AACnD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;AACtB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;AAEvB,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACxC,GAAG;IACH,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;IACR,MAAM;IACN,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,CAAwB,KAAY;YACxC,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;QACD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;QAC5B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;KAC9B,CAAC;CACH,CAAC,CAAA"}

package/libm/types/Generate.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=Generate.js.map

package/libm/types/Generate.js.map

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

package/libm/types/Null.js

@@ -1,7 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-const any = { type: 'null', value: undefined };
-export const nil = Object.assign({}, any, {
-    optional: union.create(any, undef)
-});
-//# sourceMappingURL=Null.js.map

package/libm/types/Null.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Null.js","sourceRoot":"","sources":["../../src/types/Null.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAO/B,MAAM,GAAG,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;AAEpD,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE;IACxC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC;CACnC,CAAC,CAAA"}

package/libm/types/Number.js

@@ -1,30 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-/**
- * Creates a single number type.
- */
-function create(value) {
-    return { type: 'number', value };
-}
-const any = create(undefined);
-export const number = Object.assign(any, {
-    any,
-    create,
-    // @ts-ignore we know that this can be infinite
-    list(value, ...values) {
-        return union.create(create(value), ...values.map(create));
-    },
-    optional: Object.assign(union.create(any, undef), {
-        /**
-         * Creates an optional number constant type.
-         */
-        create(value) {
-            return union.create(create(value), undef);
-        },
-        // @ts-ignore we know that this can be infinite
-        list(value, ...values) {
-            return union.create(create(value), ...values.map(create), undef);
-        }
-    })
-});
-//# sourceMappingURL=Number.js.map

package/libm/types/Number.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Number.js","sourceRoot":"","sources":["../../src/types/Number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAS,KAAK,EAAE,MAAM,SAAS,CAAA;AAiBtC;;GAEG;AACH,SAAS,MAAM,CAAuB,KAAY;IAChD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAClC,CAAC;AAED,MAAM,GAAG,GAAG,MAAM,CAAC,SAA8B,CAAC,CAAA;AAElD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACvC,GAAG;IACH,MAAM;IACN,+CAA+C;IAC/C,IAAI,CAAgD,KAAY,EAAE,GAAG,MAAc;QAKjF,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAQ,CAAA;IAClE,CAAC;IACD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,CAAuB,KAAY;YACvC,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;QACD,+CAA+C;QAC/C,IAAI,CAAgD,KAAY,EAAE,GAAG,MAAc;YAIjF,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAQ,CAAA;QACzE,CAAC;KACF,CAAC;CACH,CAAC,CAAA"}

package/libm/types/Object.js

@@ -1,31 +0,0 @@
-import { reduceByKey } from '../object';
-import { number } from './Number';
-import { string as str } from './String';
-import { symbol as sym } from './Symbol';
-import { undef } from './Undefined';
-import { union } from './Union';
-/**
- * create specific object type.
- */
-function create(props) {
-    return { type: 'object', value: props };
-}
-const any = create(undefined);
-export function map(callback, subject) {
-    return reduceByKey(subject, (p, k) => (p[k] = callback(subject[k], k, p), p), {});
-}
-export const object = Object.assign(any, {
-    any,
-    create,
-    map,
-    optional: Object.assign(union.create(any, undef), {
-        /**
-         * Creates an optional object type.
-         */
-        create(props) {
-            return union.create(create(props), undef);
-        }
-    })
-});
-export const keys = union.create(str, number, sym);
-//# sourceMappingURL=Object.js.map

package/libm/types/Object.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Object.js","sourceRoot":"","sources":["../../src/types/Object.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,WAAW,EAAE,MAAM,WAAW,CAAA;AAEjD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,UAAU,CAAA;AAExC,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAS,MAAM,SAAS,CAAA;AAgBtC;;GAEG;AACH,SAAS,MAAM,CAAwC,KAAY;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACzC,CAAC;AAED,MAAM,GAAG,GAAG,MAAM,CAAC,SAAgB,CAAC,CAAA;AAEpC,MAAM,UAAU,GAAG,CAEjB,QAAuE,EAAE,OAAU;IACnF,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAsB,CAAC,CAAA;AACvG,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACvC,GAAG;IACH,MAAM;IACN,GAAG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,CAAwC,KAAY;YACxD,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;KACF,CAAC;CACH,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA"}

package/libm/types/Record.js

@@ -1,14 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-function create(value) {
-    return { type: 'record', value };
-}
-export const record = {
-    create,
-    optional: {
-        create(value) {
-            return union.create(create(value), undef);
-        }
-    }
-};
-//# sourceMappingURL=Record.js.map

package/libm/types/Record.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Record.js","sourceRoot":"","sources":["../../src/types/Record.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAS,MAAM,SAAS,CAAA;AAUtC,SAAS,MAAM,CAAwB,KAAY;IACjD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAClC,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,MAAM;IACN,QAAQ,EAAE;QACR,MAAM,CAAwB,KAAY;YACxC,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAQ,CAAA;QAClD,CAAC;KACF;CACF,CAAA"}

package/libm/types/String.js

@@ -1,31 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './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 };
-}
-const any = create(undefined);
-export const string = Object.assign(any, {
-    any,
-    create,
-    // @ts-ignore we know that this can be infinite
-    list(value, ...values) {
-        return union.create(create(value), ...values.map(create));
-    },
-    optional: Object.assign(union.create(any, undef), {
-        /**
-         * Creates an optional constant string type.
-         */
-        create(value) {
-            return union.create(create(value), undef);
-        },
-        // @ts-ignore we know that this can be infinite
-        list(value, ...values) {
-            return union.create(create(value), ...values.map(create), undef);
-        }
-    })
-});
-//# sourceMappingURL=String.js.map

package/libm/types/String.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"String.js","sourceRoot":"","sources":["../../src/types/String.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAS,KAAK,EAAE,MAAM,SAAS,CAAA;AAiBtC;;EAEE;AACF,SAAS,MAAM,CAAuB,KAAY;IAChD,yEAAyE;IACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACzC,CAAC;AACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAA8B,CAAC,CAAA;AAElD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;IACvC,GAAG;IACH,MAAM;IACN,+CAA+C;IAC/C,IAAI,CAAgD,KAAY,EAAE,GAAG,MAAc;QAKjF,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAQ,CAAA;IAClE,CAAC;IACD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;QAChD;;WAEG;QACH,MAAM,CAAuB,KAAY;YACvC,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;QACD,+CAA+C;QAC/C,IAAI,CAAgD,KAAY,EAAE,GAAG,MAAc;YAIjF,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAQ,CAAA;QACzE,CAAC;KACF,CAAC;CACH,CAAC,CAAA"}

package/libm/types/Symbol.js

@@ -1,10 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-function create(value) {
-    return { type: 'symbol', value };
-}
-const any = create(undefined);
-export const symbol = Object.assign(any, {
-    optional: union.create(any, undef)
-});
-//# sourceMappingURL=Symbol.js.map

package/libm/types/Symbol.js.map

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

package/libm/types/Tuple.js

@@ -1,23 +0,0 @@
-import { undef } from './Undefined';
-import { union } from './Union';
-/**
- * Creates a tuple type.
- */
-function create(value, ...values) {
-    return {
-        type: 'tuple',
-        value: [value, ...values]
-    };
-}
-export const tuple = {
-    create,
-    optional: {
-        /**
-         * Creates an optional tuple type.
-         */
-        create(value, ...values) {
-            return union.create(create(value, ...values), undef);
-        }
-    }
-};
-//# sourceMappingURL=Tuple.js.map

package/libm/types/Tuple.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Tuple.js","sourceRoot":"","sources":["../../src/types/Tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAa,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAS,MAAM,SAAS,CAAA;AAqBtC;;GAEG;AACH,SAAS,MAAM,CACb,KAAY,EACZ,GAAG,MAAc;IAEjB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC;KAC1B,CAAA;AACH,CAAC;AACD,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,MAAM;IACN,QAAQ,EAAE;QACR;;WAEG;QACH,MAAM,CACJ,KAAY,EACZ,GAAG,MAAc;YAEjB,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;QACtD,CAAC;KACF;CACF,CAAA"}

package/libm/types/Undefined.js

@@ -1,2 +0,0 @@
-export const undef = { type: 'undefined', value: undefined };
-//# sourceMappingURL=Undefined.js.map

package/libm/types/Undefined.js.map

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

package/libm/types/Union.js

@@ -1,32 +0,0 @@
-import { undef } from './Undefined';
-/**
- * Create union type.
- */
-function create(value, ...values) {
-    values.unshift(value);
-    if (values.length === 1)
-        return values[0];
-    const v = values.reduce((p, v) => {
-        if (v.type === 'union') {
-            p.push(...v.value);
-        }
-        else {
-            p.push(v);
-        }
-        return p;
-    }, []);
-    return { type: 'union', value: v };
-}
-export const union = {
-    create,
-    optional: {
-        /**
-         * Creates an optional unional type.
-         */
-        create(value, ...values) {
-            values.push(undef);
-            return create(value, ...values);
-        }
-    }
-};
-//# sourceMappingURL=Union.js.map

package/libm/types/Union.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Union.js","sourceRoot":"","sources":["../../src/types/Union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAWnC;;GAEG;AACH,SAAS,MAAM,CAEb,KAAY,EAAE,GAAG,MAAc;IAE/B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACrB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAQ,CAAA;IAChD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAY,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;YACtB,CAAC,CAAC,IAAI,CAAC,GAAI,CAAS,CAAC,KAAK,CAAC,CAAA;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;AAED,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,MAAM;IACN,QAAQ,EAAE;QACR;;WAEG;QACH,MAAM,CAAkD,KAAY,EAAE,GAAG,MAAc;YACrF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,OAAO,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAA;QACjC,CAAC;KACF;CACF,CAAA"}

package/libm/types/Unknown.js

@@ -1,2 +0,0 @@
-export const unknown = { type: 'unknown', value: undefined };
-//# sourceMappingURL=Unknown.js.map

package/libm/types/Unknown.js.map

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

package/libm/types/analyze.js

@@ -1,142 +0,0 @@
-import { reduceByKey } from '../object';
-import { number } from './Number';
-import { object } from './Object';
-import { string } from './String';
-export function analyze(options, type, actual) {
-    return {
-        options,
-        analysis: analyzeInternal(options, type, actual),
-        actual
-    };
-}
-export function analyzeInternal(options, type, actual) {
-    const 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, type, actual);
-        case 'string': return analyzeType(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);
-    }
-}
-function analyzeBoolean(type, actual) {
-    const 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) {
-    const value = type['value'];
-    return typeof actual === baseType['type'] && (type === baseType || actual === value)
-        ? ok(type)
-        : fail(type['type'], type['value']);
-}
-function analyzeUnion(options, type, actual) {
-    const subTypes = type['value'];
-    const r = subTypes.map(t => analyzeInternal(options, t, actual));
-    return r.some(r => !r.fail) ? ok(type) : fail('union', r);
-}
-function analyzeArray(options, type, actual) {
-    const subType = type['value'];
-    if (!Array.isArray(actual))
-        return fail('array', subType ? ok(subType) : undefined);
-    if (subType === undefined)
-        return ok(type);
-    const r = actual.reduce((p, a, i) => {
-        const 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', { ...fail(subType['type'], r.value) });
-}
-function analyzeTuple(options, type, actual) {
-    const value = type['value'];
-    if (!Array.isArray(actual))
-        return fail('tuple', value.map(ok));
-    const results = value.map((v, i) => analyzeInternal(options, v, actual[i]));
-    if (options.strict && results.length < actual.length) {
-        return fail('tuple', results);
-    }
-    return results.every(r => !r.fail) ? ok(type) : fail('tuple', results);
-}
-function analyzeObject(options, type, actual) {
-    const typeMap = type['value'];
-    if (!isOnlyObject(actual))
-        return fail('object', typeMap ? object.map(v => ok(v), typeMap) : undefined);
-    if (type === object)
-        return ok(type);
-    const typeKeys = Object.keys(typeMap);
-    const s = { ...actual };
-    const results = typeKeys.reduce((p, k) => {
-        const r = p.value[k] = analyzeInternal(options, typeMap[k], actual[k]);
-        p.fail || (p.fail = !!r.fail);
-        s[k] = undefined;
-        return p;
-    }, { fail: false, value: {} });
-    const 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) {
-    const subType = type['value'];
-    if (!isOnlyObject(actual))
-        return fail('record', ok(subType));
-    const r = reduceByKey(actual, (p, k) => {
-        const 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', { ...fail(subType['type'], r.value) });
-}
-function ok(t) {
-    const type = t['type'];
-    const value = t['value'];
-    if (value === undefined)
-        return { type, value };
-    if (typeof value !== 'object' || value === null)
-        return { type, value };
-    if (Array.isArray(value))
-        return { type, value: value.map(ok) };
-    if (value['type'])
-        return { type, value: ok(value) };
-    return {
-        type, value: reduceByKey(value, (p, k) => (p[k] = ok(value[k]), p), {})
-    };
-}
-function fail(type, value) {
-    return value === undefined ? { type, fail: true } : { type, value, fail: true };
-}
-function isOnlyObject(actual) {
-    return typeof actual === 'object' && actual !== null && !Array.isArray(actual);
-}
-//# sourceMappingURL=analyze.js.map

package/libm/types/analyze.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/types/analyze.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAIvC,OAAO,EAAE,MAAM,EAAU,MAAM,UAAU,CAAA;AACzC,OAAO,EAAE,MAAM,EAAc,MAAM,UAAU,CAAA;AAE7C,OAAO,EAAE,MAAM,EAAU,MAAM,UAAU,CAAA;AAazC,MAAM,UAAU,OAAO,CAAC,OAAwB,EAAE,IAAa,EAAE,MAAe;IAC9E,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC;QAChD,MAAM;KACP,CAAA;AACH,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,OAAwB,EAAE,IAAa,EAAE,MAAe;IACtF,MAAM,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,MAAM,EAAE,IAAc,EAAE,MAAM,CAAC,CAAA;QACjE,KAAK,QAAQ,CAAC,CAAC,OAAO,WAAW,CAAC,MAAM,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;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,MAAe;IACpD,MAAM,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,MAAM,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,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;IAChE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,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,MAAM,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,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,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,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAAW,EAAE,MAAe;IAC1E,MAAM,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,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,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,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,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,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACvG,IAAI,IAAI,KAAK,MAAoB;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAA;IAElD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,CAAA;IACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACP,MAAM,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,MAAM,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,MAAM,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,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,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,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACzD,CAAC;AAED,SAAS,EAAE,CAAC,CAA4E;IACtF,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAA;IACtB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;IACvE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAS,CAAA;IACtE,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAS,CAAA;IAC3D,OAAO;QACL,IAAI,EAAE,KAAK,EAAE,WAAW,CACtB,KAA4B,EAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAClC,EAAyB,CAAC;KACtB,CAAA;AACV,CAAC;AAED,SAAS,IAAI,CAAC,IAA8B,EAAE,KAAiC;IAC7E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,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/libm/types/check.js

@@ -1,21 +0,0 @@
-import { analyze } from './analyze';
-import { getPlainAnalysisReport } from './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()`
- */
-export function check(options, type, subject) {
-    const result = check.result = analyze(options, type, subject);
-    return !result.analysis.fail;
-}
-/**
- * Analysis report.
- */
-check.result = { analysis: {}, actual: undefined };
-/**
- * Gets a simple report of the analysis.
- */
-check.getReport = () => getPlainAnalysisReport(check.result);
-//# sourceMappingURL=check.js.map

package/libm/types/check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/types/check.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAoB,OAAwB,EAAE,IAAO,EAAE,OAAgB;IAC1F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAC7D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAED;;GAEG;AACH,KAAK,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAoB,CAAA;AAEpE;;GAEG;AACH,KAAK,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA"}

package/libm/types/conform.js

@@ -1,22 +0,0 @@
-import { analyze } from './analyze';
-import { getPlainAnalysisReport } from './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()`
- */
-export function conform(type, subject) {
-    const result = conform.result = analyze({ strict: true }, type, subject);
-    return !result.analysis.fail;
-}
-/**
- * Analysis report.
- */
-conform.result = { analysis: {}, actual: undefined };
-/**
- * Gets a simple report of the analysis.
- */
-conform.getReport = () => getPlainAnalysisReport(conform.result);
-//# sourceMappingURL=conform.js.map

package/libm/types/conform.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"conform.js","sourceRoot":"","sources":["../../src/types/conform.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAoB,IAAO,EAAE,OAAgB;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACxE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAED;;GAEG;AACH,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAoB,CAAA;AAEtE;;GAEG;AACH,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA"}

package/libm/types/getPlainAnalysisReport.js

@@ -1,106 +0,0 @@
-import { tersify } from 'tersify';
-import { reduceByKey } from '../object';
-export function getPlainAnalysisReport(analysisResult) {
-    if (!analysisResult.analysis.fail) {
-        return `The subject${analysisResult.options.strict ? ' strictly' : ''} satisfies type ${formatAnalysis(analysisResult.analysis)}`;
-    }
-    return toViolations(analysisResult.options, [], analysisResult.actual, analysisResult.analysis).join('\n');
-}
-function formatAnalysis(a) {
-    return a.type;
-}
-function toViolations(options, path, actual, analysis) {
-    const clause = options.strict ? `expects to be strictly` : `expects to be`;
-    const violations = [`${formatPath(path)} ${clause} ${formatType(analysis)} but is actually ${tersify(actual)}`];
-    switch (analysis.type) {
-        case 'tuple': {
-            if (options.strict && analysis.value.length < actual.length) {
-                const index = actual.length - analysis.value.length === 1 ? 'index' : 'indices';
-                violations.push(`${index} ${range(analysis.value.length, actual.length)} should not contain any value`);
-            }
-            const v2 = analysis.value.reduce((p, a, i) => {
-                if (a.fail)
-                    p.push(...toViolations(options, [...path, i], actual[i], a));
-                return p;
-            }, []);
-            if (v2.length > 0)
-                violations.push(...v2);
-            break;
-        }
-        case 'object':
-            if (analysis.value) {
-                const typeKeys = Object.keys(analysis.value);
-                const actualKeys = Object.keys(actual);
-                if (options.strict) {
-                    const extraKeys = actualKeys.filter(k => typeKeys.indexOf(k) === -1);
-                    const index = extraKeys.length === 1 ? 'property' : 'properties';
-                    violations.push(`${index} ${extraKeys.join(',')} should not contain any value`);
-                }
-                const propViolations = typeKeys.reduce((p, k) => {
-                    const a = analysis.value[k];
-                    if (a.fail)
-                        p.push(...toViolations(options, [...path, k], actual[k], a));
-                    return p;
-                }, []);
-                if (propViolations.length > 0)
-                    violations.push(...propViolations);
-            }
-            break;
-    }
-    return violations;
-}
-function formatPath(path) {
-    return path.length === 0 ? 'subject' : `subject${path.map(p => toAccessor(p)).join('')}`;
-}
-function toAccessor(p) {
-    if (typeof p === 'number')
-        return `[${p}]`;
-    if (p.indexOf('-') >= 0)
-        return `['${p}']`;
-    return `.${p}`;
-}
-function toProp(p) {
-    return p.indexOf('-') >= 0 ? `'${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 : `'${e.value}'`;
-        case 'array':
-            return e.value === undefined ? 'Array<any>' : `Array<${formatType(e.value)}>`;
-        case 'tuple':
-            return `[${formatExpectations(e.value)}]`;
-        case 'object':
-            return e.value === undefined ? e.type
-                : `{ ${reduceByKey(e.value, (p, k) => {
-                    p.push(`${toProp(k)}: ${formatType(e.value[k])}`);
-                    return p;
-                }, []).join(', ')} }`;
-        case 'record':
-            return `Record<string, ${formatType(e.value)}>`;
-        case 'union':
-            return `(${formatExpectations(e.value, ' | ')})`;
-        // istanbul ignore next
-        default:
-            return `report not expected: ${e.value}`;
-    }
-}
-function formatExpectations(es, sep = ',') {
-    return es.map(formatType).join(sep);
-}
-function range(start, end) {
-    const r = [];
-    while (start < end)
-        r.push(start++);
-    return r;
-}
-//# sourceMappingURL=getPlainAnalysisReport.js.map

package/libm/types/getPlainAnalysisReport.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"getPlainAnalysisReport.js","sourceRoot":"","sources":["../../src/types/getPlainAnalysisReport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAIvC,MAAM,UAAU,sBAAsB,CAAC,cAA8B;IACnE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE;QACjC,OAAO,cAAc,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,mBAAmB,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,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;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,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe,CAAA;IAC1E,MAAM,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,OAAO,CAAC,MAAM,CAAC,EAAE,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,MAAM,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,GAAG,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAAA;aACzG;YACD,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,CAAC,IAAI;oBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBACxE,OAAO,CAAC,CAAA;YACV,CAAC,EAAE,EAAc,CAAC,CAAA;YAClB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;YACzC,MAAK;SACN;QACD,KAAK,QAAQ;YACX,IAAI,QAAQ,CAAC,KAAK,EAAE;gBAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE;oBAClB,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;oBACpE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAA;oBAChE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAA;iBAChF;gBACD,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAM,CAAC,CAAC,CAAC,CAAA;oBAC5B,IAAI,CAAC,CAAC,IAAI;wBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;oBACxE,OAAO,CAAC,CAAA;gBACV,CAAC,EAAE,EAAc,CAAC,CAAA;gBAClB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAA;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,UAAU,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,CAAkB;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAA;IAC1C,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC1C,OAAO,IAAI,CAAC,EAAE,CAAA;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,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,IAAI,CAAC,CAAC,KAAK,GAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,GAAG,CAAA;QACtF,KAAK,OAAO;YACV,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,CAAC,GAAG,CAAA;QACjE,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;gBACnC,CAAC,CAAC,KAAK,WAAW,CAChB,CAAC,CAAC,KAA4B,EAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACP,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,CAAE,CAAC,CAAC,KAAa,CAAC,CAAC,CAAQ,CAAC,EAAE,CAAC,CAAA;oBACjE,OAAO,CAAC,CAAA;gBACV,CAAC,EACD,EAAc,CACf,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QACpB,KAAK,QAAQ;YACX,OAAO,kBAAkB,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,GAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,EAAE,KAAK,CAAC,GAAG,CAAA;QACxE,uBAAuB;QACvB;YACE,OAAO,wBAAwB,CAAC,CAAC,KAAK,EAAE,CAAA;KAC3C;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAsB,EAAE,GAAG,GAAG,GAAG;IAC3D,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,KAAa,EAAE,GAAW;IACvC,MAAM,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/libm/types/index.js

@@ -1,28 +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 './BigInt'
-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 } from './Null';
-export * from './Number';
-export { keys, 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 } from './Undefined';
-export * from './Union';
-export * from './Unknown';
-//# sourceMappingURL=index.js.map

package/libm/types/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,2BAA2B;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,OAAO,CAAA;AACrB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,OAAO,EAAE,GAAG,IAAI,IAAI,EAAQ,MAAM,QAAQ,CAAA;AAC1C,cAAc,UAAU,CAAA;AACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAwB,MAAM,UAAU,CAAA;AAC7D,cAAc,UAAU,CAAA;AACxB,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,OAAO,EAAE,KAAK,IAAI,SAAS,EAAa,MAAM,aAAa,CAAA;AAC3D,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA"}