pema 0.6.1 → 0.7.0

package/lib/private/spec/int.js

@@ -1,32 +1,33 @@
 import test from "#test";
 export default (t, min, max) => {
+    const { strict, loose } = t;
     test.case("fail", assert => {
-        assert(t).invalid_type(["1", 0n, 1n, 1.1, -1.1]);
+        assert(strict).invalid_type(["1", 0n, 1n, 1.1, -1.1]);
     });
     test.case("pass", assert => {
-        assert(t).type();
-        assert(t.parse(0)).equals(0).type();
-        assert(t.parse(1)).equals(1).type();
+        assert(strict).type();
+        assert(strict.parse(0)).equals(0).type();
+        assert(strict.parse(1)).equals(1).type();
     });
     test.case("range", assert => {
-        assert(t.parse(min)).equals(min).type();
-        assert(t.parse(max)).equals(max).type();
-        assert(t).out_of_range([min - 1, max + 1]);
-    });
-    test.case("coerced", assert => {
-        assert(t.coerce(0)).equals(0).type();
-        assert(t.coerce(1)).equals(1).type();
-        assert(t.coerce("1")).equals(1).type();
-        assert(t.coerce("1.0")).equals(1).type();
-        assert(t.coerce("1.")).equals(1).type();
-        assert(t).invalid_type(["0.1", ".1"]);
-        assert(t.coerce("-1")).equals(-1).type();
-        assert(t.coerce("-1.0")).equals(-1).type();
-        assert(t.coerce("-1.")).equals(-1).type();
-        assert(t).invalid_type(["-0.1", "-.1"]);
+        assert(strict.parse(min)).equals(min).type();
+        assert(strict.parse(max)).equals(max).type();
+        assert(strict).out_of_range([min - 1, max + 1]);
+    });
+    test.case("loose", assert => {
+        assert(loose.parse(0)).equals(0).type();
+        assert(loose.parse(1)).equals(1).type();
+        assert(loose.parse("1")).equals(1).type();
+        assert(loose.parse("1.0")).equals(1).type();
+        assert(loose.parse("1.")).equals(1).type();
+        assert(strict).invalid_type(["0.1", ".1"]);
+        assert(loose.parse("-1")).equals(-1).type();
+        assert(loose.parse("-1.0")).equals(-1).type();
+        assert(loose.parse("-1.")).equals(-1).type();
+        assert(strict).invalid_type(["-0.1", "-.1"]);
     });
     test.case("default", assert => {
-        [t.default(1), t.default(() => 1)].forEach(d => {
+        [strict.default(1), strict.default(() => 1)].forEach(d => {
             assert(d).type();
             assert(d.parse(undefined)).equals(1).type();
             assert(d.parse(1)).equals(1).type();
@@ -35,21 +36,21 @@ export default (t, min, max) => {
         });
     });
     test.case("validator - range", assert => {
-        const r = t.range(-10, 10);
+        const r = strict.range(-10, 10);
         assert(r.parse(-10)).equals(-10).type();
         assert(r.parse(0)).equals(0).type();
         assert(r.parse(10)).equals(10).type();
         assert(r).out_of_range([-11, 11]);
     });
     test.case("validator - min", assert => {
-        const r = t.min(-10);
+        const r = strict.min(-10);
         assert(r.parse(-10)).equals(-10).type();
         assert(r.parse(0)).equals(0).type();
         assert(r.parse(10)).equals(10).type();
         assert(r).too_small([-11]);
     });
     test.case("validator - max", assert => {
-        const r = t.max(10);
+        const r = strict.max(10);
         assert(r.parse(-10)).equals(-10).type();
         assert(r.parse(0)).equals(0).type();
         assert(r.parse(10)).equals(10).type();

package/lib/private/spec/uint.d.ts

@@ -1,5 +1,8 @@
 import type UintDataType from "#UintDataType";
 import type UintType from "#UintType";
-declare const _default: <T extends UintDataType>(t: UintType<T>, min: number, max: number) => void;
+declare const _default: <T extends UintDataType>(t: {
+    loose: UintType<T>;
+    strict: UintType<T>;
+}, min: number, max: number) => void;
 export default _default;
 //# sourceMappingURL=uint.d.ts.map

package/lib/private/spec/uint.js

@@ -1,36 +1,37 @@
 import test from "#test";
 export default (t, min, max) => {
+    const { strict, loose } = t;
     test.case("fail", assert => {
-        assert(t).invalid_type(["1", 1n, 1.1, -1.1]);
+        assert(strict).invalid_type(["1", 1n, 1.1, -1.1]);
     });
     test.case("pass", assert => {
-        assert(t).type();
-        assert(t.parse(1)).equals(1).type();
+        assert(strict).type();
+        assert(strict.parse(1)).equals(1).type();
     });
     test.case("range", assert => {
-        assert(t.parse(0)).equals(0).type();
-        assert(t.parse(min)).equals(min).type();
-        assert(t.parse(max)).equals(max).type();
-        assert(t).out_of_range([-1, min - 1, max + 1]);
-    });
-    test.case("coerce", assert => {
-        assert(t.coerce(0)).equals(0).type();
-        assert(t.coerce(1)).equals(1).type();
-        assert(t.coerce("1")).equals(1).type();
-        assert(t.coerce("1.0")).equals(1).type();
-        assert(t.coerce("1.")).equals(1).type();
-        assert(t).coerce_invalid_type(["0.1", ".1"]);
-        assert(t).coerce_out_of_range(["-1", "-1.0", "-1."]);
+        assert(strict.parse(0)).equals(0).type();
+        assert(strict.parse(min)).equals(min).type();
+        assert(strict.parse(max)).equals(max).type();
+        assert(strict).out_of_range([-1, min - 1, max + 1]);
+    });
+    test.case("loose", assert => {
+        assert(loose.parse(0)).equals(0).type();
+        assert(loose.parse(1)).equals(1).type();
+        assert(loose.parse("1")).equals(1).type();
+        assert(loose.parse("1.0")).equals(1).type();
+        assert(loose.parse("1.")).equals(1).type();
+        assert(loose).invalid_type(["0.1", ".1"]);
+        assert(loose).out_of_range(["-1", "-1.0", "-1."]);
     });
     test.case("default", assert => {
-        [t.default(1), t.default(() => 1)].forEach(d => {
+        [strict.default(1), strict.default(() => 1)].forEach(d => {
             assert(d).type();
             assert(d.parse(undefined)).equals(1).type();
             assert(d.parse(1)).equals(1).type();
             assert(d.parse(0)).equals(0).type();
             assert(d).invalid_type(["1.2", "-1.2"]);
         });
-        [t.default(-1), t.default(() => -1)].forEach(d => {
+        [strict.default(-1), strict.default(() => -1)].forEach(d => {
             assert(d).type();
             assert(d).out_of_range([undefined]);
             assert(d.parse(1)).equals(1).type();
@@ -38,20 +39,20 @@ export default (t, min, max) => {
         });
     });
     test.case("validator - range", assert => {
-        const r = t.range(0, 10);
+        const r = strict.range(0, 10);
         assert(r.parse(0)).equals(0).type();
         assert(r.parse(10)).equals(10).type();
         assert(r).out_of_range([-1, -11, 11]);
     });
     test.case("validator - min", assert => {
-        const r = t.min(10);
+        const r = strict.min(10);
         assert(r.parse(20)).equals(20).type();
         assert(r.parse(10)).equals(10).type();
         assert(r).out_of_range([-1]);
         assert(r).too_small([0]);
     });
     test.case("validator - max", assert => {
-        const r = t.max(10);
+        const r = strict.max(10);
         assert(r.parse(0)).equals(0).type();
         assert(r.parse(10)).equals(10).type();
         assert(r).out_of_range([-1]);

package/lib/private/string.d.ts

@@ -1,7 +1,8 @@
 import StringType from "#StringType";
-/**
-* Value is a string.
-*/
-declare const _default: StringType;
-export default _default;
+declare const string: {
+    vanilla: StringType;
+    loose: StringType;
+    strict: StringType;
+};
+export default string;
 //# sourceMappingURL=string.d.ts.map

package/lib/private/string.js

@@ -1,6 +1,10 @@
+import Loose from "#Loose";
 import StringType from "#StringType";
-/**
-* Value is a string.
-*/
-export default new StringType();
+const vanilla = new StringType();
+const loose = new StringType();
+loose[Loose] = true;
+const strict = new StringType();
+strict[Loose] = false;
+const string = { vanilla, loose, strict };
+export default string;
 //# sourceMappingURL=string.js.map

package/lib/private/symbol.d.ts

@@ -1,4 +1,8 @@
 import SymbolType from "#SymbolType";
-declare const _default: SymbolType;
-export default _default;
+declare const symbol: {
+    vanilla: SymbolType;
+    loose: SymbolType;
+    strict: SymbolType;
+};
+export default symbol;
 //# sourceMappingURL=symbol.d.ts.map

package/lib/private/symbol.js

@@ -1,3 +1,10 @@
+import Loose from "#Loose";
 import SymbolType from "#SymbolType";
-export default new SymbolType();
+const vanilla = new SymbolType();
+const loose = new SymbolType();
+loose[Loose] = true;
+const strict = new SymbolType();
+strict[Loose] = false;
+const symbol = { vanilla, loose, strict };
+export default symbol;
 //# sourceMappingURL=symbol.js.map

package/lib/private/test.d.ts

@@ -6,29 +6,12 @@ type IssueMatcher = {
     path?: string;
     message?: string;
 };
+type Shortcuts = {
+    [K in IssueType]: (inputs: unknown[], path?: JSONPointer) => void;
+};
 declare const _default: import("@rcompat/test/index").ExtendedTest<{
     parse_issue: (type: IssueType, inputs: Input[]) => void;
-    coerce_issue: (type: IssueType, inputs: Input[]) => void;
     parse_issues(input: unknown, matchers: IssueMatcher[]): void;
-    coerce_issues(input: unknown, matchers: IssueMatcher[]): void;
-} & {
-    invalid_type: (inputs: unknown[], path?: JSONPointer) => void;
-    invalid_format: (inputs: unknown[], path?: JSONPointer) => void;
-    too_small: (inputs: unknown[], path?: JSONPointer) => void;
-    too_large: (inputs: unknown[], path?: JSONPointer) => void;
-    out_of_range: (inputs: unknown[], path?: JSONPointer) => void;
-    not_in_set: (inputs: unknown[], path?: JSONPointer) => void;
-    duplicate: (inputs: unknown[], path?: JSONPointer) => void;
-    network_error: (inputs: unknown[], path?: JSONPointer) => void;
-} & {
-    coerce_invalid_type: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_invalid_format: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_too_small: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_too_large: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_out_of_range: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_not_in_set: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_duplicate: (inputs: unknown[], path?: JSONPointer) => void;
-    coerce_network_error: (inputs: unknown[], path?: JSONPointer) => void;
-}>;
+} & Shortcuts>;
 export default _default;
 //# sourceMappingURL=test.d.ts.map

package/lib/private/test.js

@@ -29,32 +29,11 @@ export default test.extend((assert, subject) => {
             }
         }
     };
-    const coerce_issue = (type, inputs) => {
-        for (const [input, path] of inputs) {
-            try {
-                subject.coerce(input);
-                assert("[did not throw]").equals("[threw]");
-            }
-            catch (e) {
-                if (ParseError.is(e)) {
-                    const issue = e.issues[0];
-                    assert(issue.type).equals(type);
-                    if (path !== undefined)
-                        assert(issue.path).equals(path);
-                }
-                else {
-                    throw e;
-                }
-            }
-        }
-    };
     const shortcuts = Object.fromEntries(issue_types.flatMap(type => [
         [type, (inputs, path = "") => parse_issue(type, inputs.map(input => [input, path]))],
-        [`coerce_${type}`, (inputs, path = "") => coerce_issue(type, inputs.map(input => [input, path]))],
     ]));
     return {
         parse_issue,
-        coerce_issue,
         parse_issues(input, matchers) {
             try {
                 subject.parse(input);
@@ -78,29 +57,6 @@ export default test.extend((assert, subject) => {
                 }
             }
         },
-        coerce_issues(input, matchers) {
-            try {
-                subject.coerce(input);
-                assert("[did not throw]").equals("[threw]");
-            }
-            catch (e) {
-                if (ParseError.is(e)) {
-                    assert(e.issues.length).equals(matchers.length);
-                    for (let i = 0; i < matchers.length; i++) {
-                        assert(e.issues[i].type).equals(matchers[i].type);
-                        if (matchers[i].path !== undefined) {
-                            assert(e.issues[i].path).equals(matchers[i].path);
-                        }
-                        if (matchers[i].message !== undefined) {
-                            assert(e.issues[i].message).equals(matchers[i].message);
-                        }
-                    }
-                }
-                else {
-                    throw e;
-                }
-            }
-        },
         ...shortcuts,
     };
 });

package/lib/private/tuple.d.ts

@@ -4,6 +4,13 @@ import TupleType from "#TupleType";
 type NormalizeSchemaArray<T extends Schema[]> = {
     [K in keyof T]: NormalizeSchema<T[K]>;
 };
-export default function tuple<const T extends Schema[]>(...items: T): TupleType<NormalizeSchemaArray<T>>;
-export {};
+declare function vanilla<const T extends Schema[]>(...items: T): TupleType<NormalizeSchemaArray<T>>;
+declare function loose<const T extends Schema[]>(...items: T): TupleType<NormalizeSchemaArray<T>>;
+declare function strict<const T extends Schema[]>(...items: T): TupleType<NormalizeSchemaArray<T>>;
+declare const tuple: {
+    vanilla: typeof vanilla;
+    loose: typeof loose;
+    strict: typeof strict;
+};
+export default tuple;
 //# sourceMappingURL=tuple.d.ts.map

package/lib/private/tuple.js

@@ -1,8 +1,23 @@
+import Loose from "#Loose";
 import TupleType from "#TupleType";
 import normalize from "#normalize";
-export default function tuple(...items) {
+function vanilla(...items) {
     // normalize each item so the class only sees Parsed
     const parsed = items.map(normalize);
     return new TupleType(parsed);
 }
+function loose(...items) {
+    const parsed = items.map(normalize);
+    const i = new TupleType(parsed);
+    i[Loose] = true;
+    return i;
+}
+function strict(...items) {
+    const parsed = items.map(normalize);
+    const i = new TupleType(parsed);
+    i[Loose] = false;
+    return i;
+}
+const tuple = { vanilla, loose, strict };
+export default tuple;
 //# sourceMappingURL=tuple.js.map

package/lib/private/u128.d.ts

@@ -1,4 +1,8 @@
 import BigUintType from "#BigUintType";
-declare const _default: BigUintType<"u128">;
-export default _default;
+declare const u128: {
+    vanilla: BigUintType<"u128">;
+    loose: BigUintType<"u128">;
+    strict: BigUintType<"u128">;
+};
+export default u128;
 //# sourceMappingURL=u128.d.ts.map

package/lib/private/u128.js

@@ -1,6 +1,13 @@
 import BigUintType from "#BigUintType";
+import Loose from "#Loose";
 import range from "#validator/range";
 const from = 0n;
 const to = 2n ** 128n - 1n;
-export default new BigUintType("u128", [range(from, to)]);
+const vanilla = new BigUintType("u128", [range(from, to)]);
+const loose = new BigUintType("u128", [range(from, to)]);
+loose[Loose] = true;
+const strict = new BigUintType("u128", [range(from, to)]);
+strict[Loose] = false;
+const u128 = { vanilla, loose, strict };
+export default u128;
 //# sourceMappingURL=u128.js.map

package/lib/private/u16.d.ts

@@ -1,4 +1,8 @@
 import UintType from "#UintType";
-declare const _default: UintType<"u16">;
-export default _default;
+declare const u16: {
+    vanilla: UintType<"u16">;
+    loose: UintType<"u16">;
+    strict: UintType<"u16">;
+};
+export default u16;
 //# sourceMappingURL=u16.d.ts.map

package/lib/private/u16.js

@@ -1,6 +1,13 @@
+import Loose from "#Loose";
 import UintType from "#UintType";
 import range from "#validator/range";
 const from = 0;
 const to = 2 ** 16 - 1;
-export default new UintType("u16", [range(from, to)]);
+const vanilla = new UintType("u16", [range(from, to)]);
+const loose = new UintType("u16", [range(from, to)]);
+loose[Loose] = true;
+const strict = new UintType("u16", [range(from, to)]);
+strict[Loose] = false;
+const u16 = { vanilla, loose, strict };
+export default u16;
 //# sourceMappingURL=u16.js.map

package/lib/private/u32.d.ts

@@ -1,7 +1,8 @@
 import UintType from "#UintType";
-/**
-* Value is an unsigned integer.
-*/
-declare const _default: UintType<"u32">;
-export default _default;
+declare const u32: {
+    vanilla: UintType<"u32">;
+    loose: UintType<"u32">;
+    strict: UintType<"u32">;
+};
+export default u32;
 //# sourceMappingURL=u32.d.ts.map

package/lib/private/u32.js

@@ -1,3 +1,4 @@
+import Loose from "#Loose";
 import UintType from "#UintType";
 import range from "#validator/range";
 const from = 0;
@@ -5,5 +6,11 @@ const to = 2 ** 32 - 1;
 /**
 * Value is an unsigned integer.
 */
-export default new UintType("u32", [range(from, to)]);
+const vanilla = new UintType("u32", [range(from, to)]);
+const loose = new UintType("u32", [range(from, to)]);
+loose[Loose] = true;
+const strict = new UintType("u32", [range(from, to)]);
+strict[Loose] = false;
+const u32 = { vanilla, loose, strict };
+export default u32;
 //# sourceMappingURL=u32.js.map

package/lib/private/u64.d.ts

@@ -1,4 +1,8 @@
 import BigUintType from "#BigUintType";
-declare const _default: BigUintType<"u64">;
-export default _default;
+declare const u64: {
+    vanilla: BigUintType<"u64">;
+    loose: BigUintType<"u64">;
+    strict: BigUintType<"u64">;
+};
+export default u64;
 //# sourceMappingURL=u64.d.ts.map

package/lib/private/u64.js

@@ -1,6 +1,13 @@
 import BigUintType from "#BigUintType";
+import Loose from "#Loose";
 import range from "#validator/range";
 const from = 0n;
 const to = 2n ** 64n - 1n;
-export default new BigUintType("u64", [range(from, to)]);
+const vanilla = new BigUintType("u64", [range(from, to)]);
+const loose = new BigUintType("u64", [range(from, to)]);
+loose[Loose] = true;
+const strict = new BigUintType("u64", [range(from, to)]);
+strict[Loose] = false;
+const u64 = { vanilla, loose, strict };
+export default u64;
 //# sourceMappingURL=u64.js.map

package/lib/private/u8.d.ts

@@ -1,4 +1,8 @@
 import UintType from "#UintType";
-declare const _default: UintType<"u8">;
-export default _default;
+declare const u8: {
+    vanilla: UintType<"u8">;
+    loose: UintType<"u8">;
+    strict: UintType<"u8">;
+};
+export default u8;
 //# sourceMappingURL=u8.d.ts.map

package/lib/private/u8.js

@@ -1,6 +1,13 @@
+import Loose from "#Loose";
 import UintType from "#UintType";
 import range from "#validator/range";
 const from = 0;
 const to = 2 ** 8 - 1;
-export default new UintType("u8", [range(from, to)]);
+const vanilla = new UintType("u8", [range(from, to)]);
+const loose = new UintType("u8", [range(from, to)]);
+loose[Loose] = true;
+const strict = new UintType("u8", [range(from, to)]);
+strict[Loose] = false;
+const u8 = { vanilla, loose, strict };
+export default u8;
 //# sourceMappingURL=u8.js.map

package/lib/private/undefined.d.ts

@@ -1,4 +1,8 @@
 import UndefinedType from "#UndefinedType";
-declare const _default: UndefinedType;
-export default _default;
+declare const undefined_: {
+    vanilla: UndefinedType;
+    loose: UndefinedType;
+    strict: UndefinedType;
+};
+export default undefined_;
 //# sourceMappingURL=undefined.d.ts.map

package/lib/private/undefined.js

@@ -1,3 +1,10 @@
+import Loose from "#Loose";
 import UndefinedType from "#UndefinedType";
-export default new UndefinedType();
+const vanilla = new UndefinedType();
+const loose = new UndefinedType();
+loose[Loose] = true;
+const strict = new UndefinedType();
+strict[Loose] = false;
+const undefined_ = { vanilla, loose, strict };
+export default undefined_;
 //# sourceMappingURL=undefined.js.map

package/lib/private/union.d.ts

@@ -4,7 +4,16 @@ import UnionType from "#UnionType";
 type NormalizeArray<T extends Schema[]> = {
     [K in keyof T]: NormalizeSchema<T[K]>;
 };
-export default function union(): UnionType<[]>;
-export default function union<const T extends Schema[]>(...types: T): UnionType<NormalizeArray<T>>;
-export {};
+declare function vanilla(): UnionType<[]>;
+declare function vanilla<const T extends Schema[]>(...types: T): UnionType<NormalizeArray<T>>;
+declare function loose(): UnionType<[]>;
+declare function loose<const T extends Schema[]>(...types: T): UnionType<NormalizeArray<T>>;
+declare function strict(): UnionType<[]>;
+declare function strict<const T extends Schema[]>(...types: T): UnionType<NormalizeArray<T>>;
+declare const union: {
+    vanilla: typeof vanilla;
+    loose: typeof loose;
+    strict: typeof strict;
+};
+export default union;
 //# sourceMappingURL=union.d.ts.map

package/lib/private/union.js

@@ -1,6 +1,19 @@
+import Loose from "#Loose";
 import UnionType from "#UnionType";
 import normalize from "#normalize";
-export default function union(...types) {
+function vanilla(...types) {
     return new UnionType(types.map(normalize));
 }
+function loose(...types) {
+    const i = new UnionType(types.map(normalize));
+    i[Loose] = true;
+    return i;
+}
+function strict(...types) {
+    const i = new UnionType(types.map(normalize));
+    i[Loose] = false;
+    return i;
+}
+const union = { vanilla, loose, strict };
+export default union;
 //# sourceMappingURL=union.js.map

package/lib/private/unknown.d.ts

@@ -1,7 +1,8 @@
 import UnknownType from "#UnknownType";
-/**
-* Value is an unknown type.
-*/
-declare const _default: UnknownType;
-export default _default;
+declare const unknown: {
+    vanilla: UnknownType;
+    loose: UnknownType;
+    strict: UnknownType;
+};
+export default unknown;
 //# sourceMappingURL=unknown.d.ts.map

package/lib/private/unknown.js

@@ -1,6 +1,13 @@
+import Loose from "#Loose";
 import UnknownType from "#UnknownType";
 /**
 * Value is an unknown type.
 */
-export default new UnknownType();
+const vanilla = new UnknownType();
+const loose = new UnknownType();
+loose[Loose] = true;
+const strict = new UnknownType();
+strict[Loose] = false;
+const unknown = { vanilla, loose, strict };
+export default unknown;
 //# sourceMappingURL=unknown.js.map

package/lib/private/url.d.ts

@@ -1,4 +1,8 @@
 import URLType from "#URLType";
-declare const _default: URLType;
-export default _default;
+declare const url: {
+    vanilla: URLType;
+    loose: URLType;
+    strict: URLType;
+};
+export default url;
 //# sourceMappingURL=url.d.ts.map

package/lib/private/url.js

@@ -1,3 +1,10 @@
+import Loose from "#Loose";
 import URLType from "#URLType";
-export default new URLType();
+const vanilla = new URLType();
+const loose = new URLType();
+loose[Loose] = true;
+const strict = new URLType();
+strict[Loose] = false;
+const url = { vanilla, loose, strict };
+export default url;
 //# sourceMappingURL=url.js.map

package/lib/private/uuid.d.ts

@@ -1,4 +1,8 @@
 import UUIDType from "#UUIDType";
-declare const _default: UUIDType;
-export default _default;
+declare const uuid: {
+    vanilla: UUIDType;
+    loose: UUIDType;
+    strict: UUIDType;
+};
+export default uuid;
 //# sourceMappingURL=uuid.d.ts.map