pema 0.7.0 → 0.8.0

package/lib/private/UnionType.js

@@ -7,6 +7,7 @@ import ParseError from "#ParseError";
 import resolve from "#resolve";
 import S from "#schema-errors";
 import assert from "@rcompat/assert";
+import Loose from "#Loose";
 const print = (type) => {
     const parsed = is_parsed(type);
     if (parsed) {
@@ -29,10 +30,12 @@ const print = (type) => {
 const union_error = (types) => `\`${types.map(t => is_parsed(t) ? t.name : print(t)).join(" | ")}\``;
 export default class UnionType extends GenericType {
     #of;
-    constructor(of) {
+    [Loose];
+    constructor(of, mode) {
         assert.true(of.length > 1, S.union_at_least_two_members());
         super();
         this.#of = of;
+        this[Loose] = mode;
     }
     get name() {
         return "union";

package/lib/private/array.d.ts

@@ -2,8 +2,8 @@ import ArrayType from "#ArrayType";
 import type NormalizeSchema from "#NormalizeSchema";
 import type Schema from "#Schema";
 declare const array: {
-    strict: <const S extends Schema>(of: S) => ArrayType<NormalizeSchema<S>>;
-    loose: <const S extends Schema>(of: S) => ArrayType<NormalizeSchema<S>>;
+    strict: <const S extends Schema>(of: S) => ArrayType<NormalizeSchema<S>, false>;
+    loose: <const S extends Schema>(of: S) => ArrayType<NormalizeSchema<S>, true>;
     vanilla: <const S extends Schema>(of: S) => ArrayType<NormalizeSchema<S>>;
 };
 export default array;

package/lib/private/array.js

@@ -1,5 +1,4 @@
 import ArrayType from "#ArrayType";
-import Loose from "#Loose";
 import normalize from "#normalize";
 /**
 * Value is an array of the given type.
@@ -8,14 +7,10 @@ const vanilla = function array(of) {
     return new ArrayType(normalize(of));
 };
 const loose = function array(of) {
-    const i = new ArrayType(normalize(of));
-    i[Loose] = true;
-    return i;
+    return new ArrayType(normalize(of), true);
 };
 const strict = function array(of) {
-    const i = new ArrayType(normalize(of));
-    i[Loose] = false;
-    return i;
+    return new ArrayType(normalize(of), false);
 };
 const array = { strict, loose, vanilla };
 export default array;

package/lib/private/blob.js

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

package/lib/private/boolean.d.ts

@@ -1,8 +1,8 @@
 import BooleanType from "#BooleanType";
-declare const boolean: {
-    vanilla: BooleanType;
-    loose: BooleanType;
-    strict: BooleanType;
+declare const _default: {
+    strict: BooleanType<false>;
+    loose: BooleanType<true>;
+    vanilla: BooleanType<undefined>;
 };
-export default boolean;
+export default _default;
 //# sourceMappingURL=boolean.d.ts.map

package/lib/private/boolean.js

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

package/lib/private/constructor.js

@@ -1,5 +1,4 @@
 import ConstructorType from "#ConstructorType";
-import Loose from "#Loose";
 /**
  * Value is a constructed instance of the given class.
  */
@@ -7,14 +6,10 @@ const vanilla = function constructor(c) {
     return new ConstructorType(c);
 };
 const loose = function constructor(c) {
-    const i = new ConstructorType(c);
-    i[Loose] = true;
-    return i;
+    return new ConstructorType(c);
 };
 const strict = function constructor(c) {
-    const i = new ConstructorType(c);
-    i[Loose] = false;
-    return i;
+    return new ConstructorType(c);
 };
 const constructor = { vanilla, loose, strict };
 export default constructor;

package/lib/private/date.d.ts

@@ -1,8 +1,8 @@
 import DateType from "#DateType";
 declare const date: {
-    vanilla: DateType;
-    loose: DateType;
-    strict: DateType;
+    vanilla: DateType<undefined>;
+    loose: DateType<true>;
+    strict: DateType<false>;
 };
 export default date;
 //# sourceMappingURL=date.d.ts.map

package/lib/private/date.js

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

package/lib/private/dict.d.ts

@@ -8,10 +8,10 @@ import type StringType from "#StringType";
  */
 declare function vanilla(): RecordType<StringType, StringType>;
 declare function vanilla<const Value extends Parsed<unknown>>(of: Value): RecordType<StringType, Value>;
-declare function loose(): RecordType<StringType, StringType>;
-declare function loose<const Value extends Parsed<unknown>>(of: Value): RecordType<StringType, Value>;
-declare function strict(): RecordType<StringType, StringType>;
-declare function strict<const Value extends Parsed<unknown>>(of: Value): RecordType<StringType, Value>;
+declare function loose(): RecordType<StringType, StringType, true>;
+declare function loose<const Value extends Parsed<unknown>>(of: Value): RecordType<StringType, Value, true>;
+declare function strict(): RecordType<StringType, StringType, false>;
+declare function strict<const Value extends Parsed<unknown>>(of: Value): RecordType<StringType, Value, false>;
 declare const dict: {
     vanilla: typeof vanilla;
     loose: typeof loose;

package/lib/private/enum.d.ts

@@ -2,10 +2,10 @@ import EnumType from "#EnumType";
 declare function vanilla<T extends readonly string[]>(values: T): EnumType<T>;
 declare function loose<T extends readonly string[]>(values: T): EnumType<T>;
 declare function strict<T extends readonly string[]>(values: T): EnumType<T>;
-declare const _enum: {
-    vanilla: typeof vanilla;
+declare const _default: {
     loose: typeof loose;
     strict: typeof strict;
+    vanilla: typeof vanilla;
 };
-export default _enum;
+export default _default;
 //# sourceMappingURL=enum.d.ts.map

package/lib/private/enum.js

@@ -1,18 +1,12 @@
 import EnumType from "#EnumType";
-import Loose from "#Loose";
 function vanilla(values) {
     return new EnumType(values);
 }
 function loose(values) {
-    const i = new EnumType(values);
-    i[Loose] = true;
-    return i;
+    return new EnumType(values);
 }
 function strict(values) {
-    const i = new EnumType(values);
-    i[Loose] = false;
-    return i;
+    return new EnumType(values);
 }
-const _enum = { vanilla, loose, strict };
-export default _enum;
+export default { loose, strict, vanilla };
 //# sourceMappingURL=enum.js.map

package/lib/private/f32.d.ts

@@ -1,8 +1,8 @@
 import NumberType from "#NumberType";
 declare const f32$: {
-    vanilla: NumberType<"f32">;
-    loose: NumberType<"f32">;
-    strict: NumberType<"f32">;
+    vanilla: NumberType<"f32", undefined>;
+    loose: NumberType<"f32", true>;
+    strict: NumberType<"f32", false>;
 };
 export default f32$;
 //# sourceMappingURL=f32.d.ts.map

package/lib/private/f32.js

@@ -1,11 +1,8 @@
-import Loose from "#Loose";
 import NumberType from "#NumberType";
 import f32 from "#validator/f32";
-const vanilla = new NumberType("f32", [f32]);
-const loose = new NumberType("f32", [f32]);
-loose[Loose] = true;
-const strict = new NumberType("f32", [f32]);
-strict[Loose] = false;
+const vanilla = new NumberType("f32", undefined, [f32]);
+const strict = new NumberType("f32", false, [f32]);
+const loose = new NumberType("f32", true, [f32]);
 const f32$ = { vanilla, loose, strict };
 export default f32$;
 //# sourceMappingURL=f32.js.map

package/lib/private/f64.d.ts

@@ -1,8 +1,8 @@
 import NumberType from "#NumberType";
 declare const f64: {
-    strict: NumberType<"f64">;
-    loose: NumberType<"f64">;
-    vanilla: NumberType<"f64">;
+    strict: NumberType<"f64", false>;
+    loose: NumberType<"f64", true>;
+    vanilla: NumberType<"f64", undefined>;
 };
 export default f64;
 //# sourceMappingURL=f64.d.ts.map

package/lib/private/f64.js

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

package/lib/private/file.js

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

package/lib/private/function.js

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

package/lib/private/i128.d.ts

@@ -1,8 +1,8 @@
 import BigIntType from "#BigIntType";
 declare const i128: {
-    vanilla: BigIntType<"i128">;
-    loose: BigIntType<"i128">;
-    strict: BigIntType<"i128">;
+    vanilla: BigIntType<"i128", undefined>;
+    loose: BigIntType<"i128", true>;
+    strict: BigIntType<"i128", false>;
 };
 export default i128;
 //# sourceMappingURL=i128.d.ts.map

package/lib/private/i128.js

@@ -1,13 +1,10 @@
 import BigIntType from "#BigIntType";
-import Loose from "#Loose";
 import range from "#validator/range";
 const from = -(2n ** 127n);
 const to = 2n ** 127n - 1n;
-const vanilla = new BigIntType("i128", [range(from, to)]);
-const loose = new BigIntType("i128", [range(from, to)]);
-loose[Loose] = true;
-const strict = new BigIntType("i128", [range(from, to)]);
-strict[Loose] = false;
+const vanilla = new BigIntType("i128", undefined, [range(from, to)]);
+const loose = new BigIntType("i128", true, [range(from, to)]);
+const strict = new BigIntType("i128", false, [range(from, to)]);
 const i128 = { vanilla, loose, strict };
 export default i128;
 //# sourceMappingURL=i128.js.map

package/lib/private/i16.d.ts

@@ -1,8 +1,8 @@
 import IntType from "#IntType";
 declare const i16: {
-    vanilla: IntType<"i16">;
-    loose: IntType<"i16">;
-    strict: IntType<"i16">;
+    vanilla: IntType<"i16", undefined>;
+    loose: IntType<"i16", true>;
+    strict: IntType<"i16", false>;
 };
 export default i16;
 //# sourceMappingURL=i16.d.ts.map

package/lib/private/i16.js

@@ -1,13 +1,10 @@
 import IntType from "#IntType";
-import Loose from "#Loose";
 import range from "#validator/range";
 const from = -(2 ** 15);
 const to = 2 ** 15 - 1;
-const vanilla = new IntType("i16", [range(from, to)]);
-const loose = new IntType("i16", [range(from, to)]);
-loose[Loose] = true;
-const strict = new IntType("i16", [range(from, to)]);
-strict[Loose] = false;
+const vanilla = new IntType("i16", undefined, [range(from, to)]);
+const loose = new IntType("i16", true, [range(from, to)]);
+const strict = new IntType("i16", false, [range(from, to)]);
 const i16 = { vanilla, loose, strict };
 export default i16;
 //# sourceMappingURL=i16.js.map

package/lib/private/i32.d.ts

@@ -1,8 +1,8 @@
 import IntType from "#IntType";
 declare const i32: {
-    vanilla: IntType<"i32">;
-    loose: IntType<"i32">;
-    strict: IntType<"i32">;
+    vanilla: IntType<"i32", undefined>;
+    loose: IntType<"i32", true>;
+    strict: IntType<"i32", false>;
 };
 export default i32;
 //# sourceMappingURL=i32.d.ts.map

package/lib/private/i32.js

@@ -1,13 +1,10 @@
 import IntType from "#IntType";
-import Loose from "#Loose";
 import range from "#validator/range";
 const from = -(2 ** 31);
 const to = 2 ** 31 - 1;
-const vanilla = new IntType("i32", [range(from, to)]);
-const loose = new IntType("i32", [range(from, to)]);
-loose[Loose] = true;
-const strict = new IntType("i32", [range(from, to)]);
-strict[Loose] = false;
+const vanilla = new IntType("i32", undefined, [range(from, to)]);
+const loose = new IntType("i32", true, [range(from, to)]);
+const strict = new IntType("i32", false, [range(from, to)]);
 const i32 = { vanilla, loose, strict };
 export default i32;
 //# sourceMappingURL=i32.js.map

package/lib/private/i64.d.ts

@@ -1,8 +1,8 @@
 import BigIntType from "#BigIntType";
 declare const i64: {
-    vanilla: BigIntType<"i64">;
-    loose: BigIntType<"i64">;
-    strict: BigIntType<"i64">;
+    vanilla: BigIntType<"i64", undefined>;
+    loose: BigIntType<"i64", true>;
+    strict: BigIntType<"i64", false>;
 };
 export default i64;
 //# sourceMappingURL=i64.d.ts.map

package/lib/private/i64.js

@@ -1,13 +1,10 @@
 import BigIntType from "#BigIntType";
-import Loose from "#Loose";
 import range from "#validator/range";
 const from = -(2n ** 63n);
 const to = (2n ** 63n) - 1n;
-const vanilla = new BigIntType("i64", [range(from, to)]);
-const loose = new BigIntType("i64", [range(from, to)]);
-loose[Loose] = true;
-const strict = new BigIntType("i64", [range(from, to)]);
-strict[Loose] = false;
+const vanilla = new BigIntType("i64", undefined, [range(from, to)]);
+const loose = new BigIntType("i64", true, [range(from, to)]);
+const strict = new BigIntType("i64", false, [range(from, to)]);
 const i64 = { vanilla, loose, strict };
 export default i64;
 //# sourceMappingURL=i64.js.map

package/lib/private/i8.d.ts

@@ -1,8 +1,8 @@
 import IntType from "#IntType";
 declare const i8: {
-    vanilla: IntType<"i8">;
-    loose: IntType<"i8">;
-    strict: IntType<"i8">;
+    vanilla: IntType<"i8", undefined>;
+    loose: IntType<"i8", true>;
+    strict: IntType<"i8", false>;
 };
 export default i8;
 //# sourceMappingURL=i8.d.ts.map

package/lib/private/i8.js

@@ -1,13 +1,10 @@
 import IntType from "#IntType";
-import Loose from "#Loose";
 import range from "#validator/range";
 const from = -(2 ** 7);
 const to = 2 ** 7 - 1;
-const vanilla = new IntType("i8", [range(from, to)]);
-const loose = new IntType("i8", [range(from, to)]);
-loose[Loose] = true;
-const strict = new IntType("i8", [range(from, to)]);
-strict[Loose] = false;
+const vanilla = new IntType("i8", undefined, [range(from, to)]);
+const loose = new IntType("i8", true, [range(from, to)]);
+const strict = new IntType("i8", false, [range(from, to)]);
 const i8 = { vanilla, loose, strict };
 export default i8;
 //# sourceMappingURL=i8.js.map