ts-fortress 2.7.0 → 2.8.0

package/dist/branded/brand.d.mts

@@ -1,11 +1,12 @@
 import { type Type } from '../type.mjs';
 type ArrayToUnion<A extends readonly unknown[]> = A extends readonly [] ? never : A[number];
-export declare const brand: <const A extends Primitive, const BrandTrueKeys extends readonly string[], const BrandFalseKeys extends readonly string[] = []>({ codec, is, brandKeys, brandFalseKeys, defaultValue, }: Readonly<{
+export declare const brand: <const A extends Primitive, const BrandTrueKeys extends readonly string[], const BrandFalseKeys extends readonly string[] = []>({ codec, is, defaultValue, typeName, brandKeys, brandFalseKeys, }: Readonly<{
     codec: Type<A>;
     is: (a: A) => a is Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
+    defaultValue: Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
+    typeName?: string;
     brandKeys: BrandTrueKeys;
     brandFalseKeys?: BrandFalseKeys;
-    defaultValue: Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
 }>) => Type<Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>>;
 export {};
 //# sourceMappingURL=brand.d.mts.map

package/dist/branded/brand.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"brand.d.mts","sourceRoot":"","sources":["../../src/branded/brand.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAOxC,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS,EAAE,GACnE,KAAK,GACL,CAAC,CAAC,MAAM,CAAC,CAAC;AAEd,eAAO,MAAM,KAAK,GAChB,KAAK,CAAC,CAAC,SAAS,SAAS,EACzB,KAAK,CAAC,aAAa,SAAS,SAAS,MAAM,EAAE,EAC7C,KAAK,CAAC,cAAc,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,EACnD,yDAMC,QAAQ,CAAC;IACV,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,EAAE,EAAE,CACF,CAAC,EAAE,CAAC,KACD,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9E,SAAS,EAAE,aAAa,CAAC;IACzB,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,YAAY,EAAE,KAAK,CACjB,CAAC,EACD,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,cAAc,CAAC,CAC7B,CAAC;CACH,CAAC,KAAG,IAAI,CACP,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAyCpE,CAAC"}
+{"version":3,"file":"brand.d.mts","sourceRoot":"","sources":["../../src/branded/brand.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,SAAS,EAAE,GACnE,KAAK,GACL,CAAC,CAAC,MAAM,CAAC,CAAC;AAEd,eAAO,MAAM,KAAK,GAChB,KAAK,CAAC,CAAC,SAAS,SAAS,EACzB,KAAK,CAAC,aAAa,SAAS,SAAS,MAAM,EAAE,EAC7C,KAAK,CAAC,cAAc,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,EACnD,mEAOC,QAAQ,CAAC;IACV,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,EAAE,EAAE,CACF,CAAC,EAAE,CAAC,KACD,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9E,YAAY,EAAE,KAAK,CACjB,CAAC,EACD,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,cAAc,CAAC,CAC7B,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC;IACzB,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC,CAAC,KAAG,IAAI,CACP,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAuCpE,CAAC"}

package/dist/branded/brand.mjs

@@ -1,11 +1,12 @@
 import { pipe, Result } from 'ts-data-forge';
 import { createType } from '../utils/create-type.mjs';
 
-const brand = ({ codec, is, brandKeys, brandFalseKeys, defaultValue, }) => {
+const brand = ({ codec, is, defaultValue, typeName, brandKeys, brandFalseKeys, }) => {
     const brandKeysStr = [
-        ...brandKeys,
-        ...(brandFalseKeys?.map((s) => `not(${s})`) ?? []),
+        ...brandKeys.map((s) => `"${s}"`),
+        ...(brandFalseKeys?.map((s) => `not("${s}")`) ?? []),
     ].join(' & ');
+    const typeNameFilled = typeName ?? brandKeysStr;
     const validate = (a) => pipe(a)
         .map(codec.validate)
         .map((v) => Result.isErr(v)
@@ -16,17 +17,17 @@ const brand = ({ codec, is, brandKeys, brandFalseKeys, defaultValue, }) => {
                 {
                     path: [],
                     actualValue: v.value,
-                    expectedType: brandKeysStr,
+                    expectedType: typeNameFilled,
                     typeName: brandKeysStr,
-                    message: `The value must satisfy the constraint corresponding to the brand keys: <${brandKeysStr}>`,
+                    message: typeName === undefined
+                        ? `The value must satisfy the constraint corresponding to the brand keys: <${brandKeysStr}>`
+                        : undefined,
                 },
             ])).value;
-    const fill = (a) => Result.unwrapOkOr(validate(a), defaultValue);
     return createType({
         typeName: brandKeysStr,
         defaultValue,
         validate,
-        fill,
     });
 };
 

package/dist/branded/brand.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"brand.mjs","sources":["../../src/branded/brand.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAYO,MAAM,KAAK,GAAG,CAInB,EACA,KAAK,EACL,EAAE,EACF,SAAS,EACT,cAAc,EACd,YAAY,GAaZ,KAEE;AAGF,IAAA,MAAM,YAAY,GAAG;AACnB,QAAA,GAAG,SAAS;AACZ,QAAA,IAAI,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAA,CAAA,CAAG,CAAC,IAAI,EAAE,CAAC;AACnD,KAAA,CAAC,IAAI,CAAC,KAAK,CAAC;IAEb,MAAM,QAAQ,GAAwB,CAAC,CAAC,KACtC,IAAI,CAAC,CAAC;AACH,SAAA,GAAG,CAAC,KAAK,CAAC,QAAQ;SAClB,GAAG,CACF,CAAC,CAAC,KACA,MAAM,CAAC,KAAK,CAAC,CAAC;AACZ,UAAE;AACF,UAAE,EAAE,CAAC,CAAC,CAAC,KAAK;cACR,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK;AACnB,cAAE,MAAM,CAAC,GAAG,CAAC;AACT,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,CAAC,CAAC,KAAK;AACpB,oBAAA,YAAY,EAAE,YAAY;AAC1B,oBAAA,QAAQ,EAAE,YAAY;oBACtB,OAAO,EAAE,CAAA,wEAAA,EAA2E,YAAY,CAAA,CAAA,CAAG;AAC/D,iBAAA;aACvC,CAAC,CACX,CAAC,KAAK;AAEX,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,MAAM,CAAC,UAAU,CACf,QAAQ,CAAC,CAAC,CAA8B,EACxC,YAAwB,CACb;AAEf,IAAA,OAAO,UAAU,CAAC;AAChB,QAAA,QAAQ,EAAE,YAAY;QACtB,YAAY;QACZ,QAAQ;QACR,IAAI;AACL,KAAA,CAAC;AACJ;;;;"}
+{"version":3,"file":"brand.mjs","sources":["../../src/branded/brand.mts"],"sourcesContent":[null],"names":[],"mappings":";;;AAQO,MAAM,KAAK,GAAG,CAInB,EACA,KAAK,EACL,EAAE,EACF,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,cAAc,GAcd,KAEE;AAGF,IAAA,MAAM,YAAY,GAAG;AACnB,QAAA,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAA,CAAA,EAAI,CAAC,CAAA,CAAA,CAAG,CAAC;AACjC,QAAA,IAAI,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAA,EAAA,CAAI,CAAC,IAAI,EAAE,CAAC;AACrD,KAAA,CAAC,IAAI,CAAC,KAAK,CAAC;AAEb,IAAA,MAAM,cAAc,GAAG,QAAQ,IAAI,YAAY;IAE/C,MAAM,QAAQ,GAAwB,CAAC,CAAC,KACtC,IAAI,CAAC,CAAC;AACH,SAAA,GAAG,CAAC,KAAK,CAAC,QAAQ;SAClB,GAAG,CACF,CAAC,CAAC,KACA,MAAM,CAAC,KAAK,CAAC,CAAC;AACZ,UAAE;AACF,UAAE,EAAE,CAAC,CAAC,CAAC,KAAK;cACR,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK;AACnB,cAAE,MAAM,CAAC,GAAG,CAAC;AACT,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,CAAC,CAAC,KAAK;AACpB,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,QAAQ,EAAE,YAAY;oBACtB,OAAO,EACL,QAAQ,KAAK;0BACT,CAAA,wEAAA,EAA2E,YAAY,CAAA,CAAA;AACzF,0BAAE,SAAS;AACU,iBAAA;aAC5B,CAAC,CACX,CAAC,KAAK;AAEX,IAAA,OAAO,UAAU,CAAC;AAChB,QAAA,QAAQ,EAAE,YAAY;QACtB,YAAY;QACZ,QAAQ;AACT,KAAA,CAAC;AACJ;;;;"}

package/dist/branded/number/finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,YAAY,GACvB,eAAc,YAAgC,KAC7C,IAAI,CAAC,YAAY,CAOhB,CAAC"}
+{"version":3,"file":"finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,YAAY,GACvB,eAAc,YAAgC,KAC7C,IAAI,CAAC,YAAY,CAQhB,CAAC"}

package/dist/branded/number/finite-number.mjs

@@ -8,6 +8,7 @@ const finiteNumber = (defaultValue = asFiniteNumber(0)) => brand({
     defaultValue,
     brandKeys: ['Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'FiniteNumber',
 });
 
 export { finiteNumber };

package/dist/branded/number/finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"finite-number.mjs","sources":["../../../src/branded/number/finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,YAAY,GAAG,CAC1B,YAAA,GAA6B,cAAc,CAAC,CAAC,CAAC,KAE9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,YAAY,CAAC,EAAE;IACnB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"finite-number.mjs","sources":["../../../src/branded/number/finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,YAAY,GAAG,CAC1B,YAAA,GAA6B,cAAc,CAAC,CAAC,CAAC,KAE9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,YAAY,CAAC,EAAE;IACnB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,cAAc;AACzB,CAAA;;;;"}

package/dist/branded/number/int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,GAAG,GAAI,eAAc,GAAc,KAAG,IAAI,CAAC,GAAG,CAOvD,CAAC"}
+{"version":3,"file":"int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,GAAG,GAAI,eAAc,GAAc,KAAG,IAAI,CAAC,GAAG,CAQvD,CAAC"}

package/dist/branded/number/int.mjs

@@ -8,6 +8,7 @@ const int = (defaultValue = asInt(0)) => brand({
     defaultValue,
     brandKeys: ['Finite', 'Int'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int',
 });
 
 export { int };

package/dist/branded/number/int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int.mjs","sources":["../../../src/branded/number/int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,GAAG,GAAG,CAAC,YAAA,GAAoB,KAAK,CAAC,CAAC,CAAC,KAC9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"int.mjs","sources":["../../../src/branded/number/int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,GAAG,GAAG,CAAC,YAAA,GAAoB,KAAK,CAAC,CAAC,CAAC,KAC9C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,KAAK;AAChB,CAAA;;;;"}

package/dist/branded/number/int16.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"int16.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int16.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,KAAK,GAAI,eAAc,KAAkB,KAAG,IAAI,CAAC,KAAK,CAmB/D,CAAC"}
+{"version":3,"file":"int16.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int16.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,KAAK,GAAI,eAAc,KAAkB,KAAG,IAAI,CAAC,KAAK,CAoB/D,CAAC"}

package/dist/branded/number/int16.mjs

@@ -20,6 +20,7 @@ const int16 = (defaultValue = asInt16(0)) => brand({
         '>= -2^15',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int16',
 });
 
 export { int16 };

package/dist/branded/number/int16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int16.mjs","sources":["../../../src/branded/number/int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,UAAU;AACX,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"int16.mjs","sources":["../../../src/branded/number/int16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,UAAU;AACX,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}

package/dist/branded/number/int32.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"int32.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int32.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,KAAK,GAAI,eAAc,KAAkB,KAAG,IAAI,CAAC,KAAK,CAe/D,CAAC"}
+{"version":3,"file":"int32.d.mts","sourceRoot":"","sources":["../../../src/branded/number/int32.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,KAAK,GAAI,eAAc,KAAkB,KAAG,IAAI,CAAC,KAAK,CAgB/D,CAAC"}

package/dist/branded/number/int32.mjs

@@ -16,6 +16,7 @@ const int32 = (defaultValue = asInt32(0)) => brand({
         '< 2^31',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int32',
 });
 
 export { int32 };

package/dist/branded/number/int32.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"int32.mjs","sources":["../../../src/branded/number/int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"int32.mjs","sources":["../../../src/branded/number/int32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,KAAK,GAAG,CAAC,YAAA,GAAsB,OAAO,CAAC,CAAC,CAAC,KACpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,OAAO;IACX,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,OAAO;AAClB,CAAA;;;;"}

package/dist/branded/number/non-negative-finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-negative-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,uBAAuB,GAClC,eAAc,uBAAsD,KACnE,IAAI,CAAC,uBAAuB,CAO3B,CAAC"}
+{"version":3,"file":"non-negative-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,uBAAuB,GAClC,eAAc,uBAAsD,KACnE,IAAI,CAAC,uBAAuB,CAQ3B,CAAC"}

package/dist/branded/number/non-negative-finite-number.mjs

@@ -8,6 +8,7 @@ const nonNegativeFiniteNumber = (defaultValue = asNonNegativeFiniteNumber(0)) =>
     defaultValue,
     brandKeys: ['>=0', '> -2^16', '> -2^32', '>= -2^15', '>= -2^31', 'Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonNegativeFiniteNumber',
 });
 
 export { nonNegativeFiniteNumber };

package/dist/branded/number/non-negative-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-negative-finite-number.mjs","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAQO,MAAM,uBAAuB,GAAG,CACrC,YAAA,GAAwC,yBAAyB,CAAC,CAAC,CAAC,KAEpE,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,yBAAyB;IAC7B,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC1E,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"non-negative-finite-number.mjs","sources":["../../../src/branded/number/non-negative-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAQO,MAAM,uBAAuB,GAAG,CACrC,YAAA,GAAwC,yBAAyB,CAAC,CAAC,CAAC,KAEpE,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,yBAAyB;IAC7B,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC1E,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,yBAAyB;AACpC,CAAA;;;;"}

package/dist/branded/number/non-zero-finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,mBAAmB,GAC9B,cAAc,mBAAmB,KAChC,IAAI,CAAC,mBAAmB,CAOvB,CAAC"}
+{"version":3,"file":"non-zero-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,mBAAmB,GAC9B,cAAc,mBAAmB,KAChC,IAAI,CAAC,mBAAmB,CAQvB,CAAC"}

package/dist/branded/number/non-zero-finite-number.mjs

@@ -8,6 +8,7 @@ const nonZeroFiniteNumber = (defaultValue) => brand({
     defaultValue,
     brandKeys: ['!=0', 'Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroFiniteNumber',
 });
 
 export { nonZeroFiniteNumber };

package/dist/branded/number/non-zero-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,mBAAmB,GAAG,CACjC,YAAiC,KAEjC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,qBAAqB;IACzB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"non-zero-finite-number.mjs","sources":["../../../src/branded/number/non-zero-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,mBAAmB,GAAG,CACjC,YAAiC,KAEjC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,qBAAqB;IACzB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC5B,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,qBAAqB;AAChC,CAAA;;;;"}

package/dist/branded/number/non-zero-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,UAAU,GACrB,eAAc,UAA4B,KACzC,IAAI,CAAC,UAAU,CAOd,CAAC"}
+{"version":3,"file":"non-zero-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,UAAU,GACrB,eAAc,UAA4B,KACzC,IAAI,CAAC,UAAU,CAQd,CAAC"}

package/dist/branded/number/non-zero-int.mjs

@@ -8,6 +8,7 @@ const nonZeroInt = (defaultValue = asNonZeroInt(0)) => brand({
     defaultValue,
     brandKeys: ['Finite', 'Int', '!=0'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroInt',
 });
 
 export { nonZeroInt };

package/dist/branded/number/non-zero-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/branded/number/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,UAAU,GAAG,CACxB,YAAA,GAA2B,YAAY,CAAC,CAAC,CAAC,KAE1C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,YAAY;IAChB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC;IACnC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"non-zero-int.mjs","sources":["../../../src/branded/number/non-zero-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,UAAU,GAAG,CACxB,YAAA,GAA2B,YAAY,CAAC,CAAC,CAAC,KAE1C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,YAAY;IAChB,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC;IACnC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,YAAY;AACvB,CAAA;;;;"}

package/dist/branded/number/non-zero-safe-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,cAAc,GACzB,cAAc,cAAc,KAC3B,IAAI,CAAC,cAAc,CAOlB,CAAC"}
+{"version":3,"file":"non-zero-safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,cAAc,GACzB,cAAc,cAAc,KAC3B,IAAI,CAAC,cAAc,CAQlB,CAAC"}

package/dist/branded/number/non-zero-safe-int.mjs

@@ -8,6 +8,7 @@ const nonZeroSafeInt = (defaultValue) => brand({
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt', '!=0'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroSafeInt',
 });
 
 export { nonZeroSafeInt };

package/dist/branded/number/non-zero-safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"non-zero-safe-int.mjs","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,cAAc,GAAG,CAC5B,YAA4B,KAE5B,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,gBAAgB;IACpB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC;IAC9C,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"non-zero-safe-int.mjs","sources":["../../../src/branded/number/non-zero-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,cAAc,GAAG,CAC5B,YAA4B,KAE5B,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,gBAAgB;IACpB,YAAY;IACZ,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC;IAC9C,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,gBAAgB;AAC3B,CAAA;;;;"}

package/dist/branded/number/positive-finite-number.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"positive-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,oBAAoB,GAC/B,cAAc,oBAAoB,KACjC,IAAI,CAAC,oBAAoB,CAexB,CAAC"}
+{"version":3,"file":"positive-finite-number.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-finite-number.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,oBAAoB,GAC/B,cAAc,oBAAoB,KACjC,IAAI,CAAC,oBAAoB,CAgBxB,CAAC"}

package/dist/branded/number/positive-finite-number.mjs

@@ -16,6 +16,7 @@ const positiveFiniteNumber = (defaultValue) => brand({
         '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveFiniteNumber',
 });
 
 export { positiveFiniteNumber };

package/dist/branded/number/positive-finite-number.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-finite-number.mjs","sources":["../../../src/branded/number/positive-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,oBAAoB,GAAG,CAClC,YAAkC,KAElC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,sBAAsB;IAC1B,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,QAAQ;QACR,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"positive-finite-number.mjs","sources":["../../../src/branded/number/positive-finite-number.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,oBAAoB,GAAG,CAClC,YAAkC,KAElC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,sBAAsB;IAC1B,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,QAAQ;QACR,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,sBAAsB;AACjC,CAAA;;;;"}

package/dist/branded/number/positive-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"positive-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,WAAW,GACtB,eAAc,WAA8B,KAC3C,IAAI,CAAC,WAAW,CAgBf,CAAC"}
+{"version":3,"file":"positive-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,WAAW,GACtB,eAAc,WAA8B,KAC3C,IAAI,CAAC,WAAW,CAiBf,CAAC"}

package/dist/branded/number/positive-int.mjs

@@ -17,6 +17,7 @@ const positiveInt = (defaultValue = asPositiveInt(1)) => brand({
         '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveInt',
 });
 
 export { positiveInt };

package/dist/branded/number/positive-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-int.mjs","sources":["../../../src/branded/number/positive-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,WAAW,GAAG,CACzB,YAAA,GAA4B,aAAa,CAAC,CAAC,CAAC,KAE5C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,aAAa;IACjB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"positive-int.mjs","sources":["../../../src/branded/number/positive-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,WAAW,GAAG,CACzB,YAAA,GAA4B,aAAa,CAAC,CAAC,CAAC,KAE5C,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,aAAa;IACjB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,aAAa;AACxB,CAAA;;;;"}

package/dist/branded/number/positive-safe-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"positive-safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,eAAe,GAC1B,eAAc,eAAsC,KACnD,IAAI,CAAC,eAAe,CAiBnB,CAAC"}
+{"version":3,"file":"positive-safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/positive-safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,eAAe,GAC1B,eAAc,eAAsC,KACnD,IAAI,CAAC,eAAe,CAkBnB,CAAC"}

package/dist/branded/number/positive-safe-int.mjs

@@ -18,6 +18,7 @@ const positiveSafeInt = (defaultValue = asPositiveSafeInt(1)) => brand({
         '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveSafeInt',
 });
 
 export { positiveSafeInt };

package/dist/branded/number/positive-safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"positive-safe-int.mjs","sources":["../../../src/branded/number/positive-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,eAAe,GAAG,CAC7B,YAAA,GAAgC,iBAAiB,CAAC,CAAC,CAAC,KAEpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,iBAAiB;IACrB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"positive-safe-int.mjs","sources":["../../../src/branded/number/positive-safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,eAAe,GAAG,CAC7B,YAAA,GAAgC,iBAAiB,CAAC,CAAC,CAAC,KAEpD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,iBAAiB;IACrB,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;QACL,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,iBAAiB;AAC5B,CAAA;;;;"}

package/dist/branded/number/safe-int.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,OAAO,GAAI,eAAc,OAAsB,KAAG,IAAI,CAAC,OAAO,CAOvE,CAAC"}
+{"version":3,"file":"safe-int.d.mts","sourceRoot":"","sources":["../../../src/branded/number/safe-int.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,OAAO,GAAI,eAAc,OAAsB,KAAG,IAAI,CAAC,OAAO,CAQvE,CAAC"}

package/dist/branded/number/safe-int.mjs

@@ -8,6 +8,7 @@ const safeInt = (defaultValue = asSafeInt(0)) => brand({
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'SafeInt',
 });
 
 export { safeInt };

package/dist/branded/number/safe-int.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"safe-int.mjs","sources":["../../../src/branded/number/safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,OAAO,GAAG,CAAC,YAAA,GAAwB,SAAS,CAAC,CAAC,CAAC,KAC1D,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;IACvC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"safe-int.mjs","sources":["../../../src/branded/number/safe-int.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,OAAO,GAAG,CAAC,YAAA,GAAwB,SAAS,CAAC,CAAC,CAAC,KAC1D,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;IAC3B,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,YAAY;AACZ,IAAA,SAAS,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;IACvC,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,SAAS;AACpB,CAAA;;;;"}

package/dist/branded/number/safe-uint.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"safe-uint.d.mts","sourceRoot":"","sources":["../../../src/branded/number/safe-uint.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,QAAQ,GACnB,eAAc,QAAwB,KACrC,IAAI,CAAC,QAAQ,CAgBZ,CAAC"}
+{"version":3,"file":"safe-uint.d.mts","sourceRoot":"","sources":["../../../src/branded/number/safe-uint.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,QAAQ,GACnB,eAAc,QAAwB,KACrC,IAAI,CAAC,QAAQ,CAiBZ,CAAC"}

package/dist/branded/number/safe-uint.mjs

@@ -17,6 +17,7 @@ const safeUint = (defaultValue = asSafeUint(0)) => brand({
         '>=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'SafeUint',
 });
 
 export { safeUint };

package/dist/branded/number/safe-uint.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"safe-uint.mjs","sources":["../../../src/branded/number/safe-uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,QAAQ,GAAG,CACtB,YAAA,GAAyB,UAAU,CAAC,CAAC,CAAC,KAEtC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,UAAU;IACd,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"safe-uint.mjs","sources":["../../../src/branded/number/safe-uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,QAAQ,GAAG,CACtB,YAAA,GAAyB,UAAU,CAAC,CAAC,CAAC,KAEtC,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,UAAU;IACd,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,UAAU;AACrB,CAAA;;;;"}

package/dist/branded/number/uint.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uint.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,IAAI,GAAI,eAAc,IAAgB,KAAG,IAAI,CAAC,IAAI,CAe3D,CAAC"}
+{"version":3,"file":"uint.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,IAAI,GAAI,eAAc,IAAgB,KAAG,IAAI,CAAC,IAAI,CAgB3D,CAAC"}

package/dist/branded/number/uint.mjs

@@ -16,6 +16,7 @@ const uint = (defaultValue = asUint(0)) => brand({
         '>=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint',
 });
 
 export { uint };

package/dist/branded/number/uint.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint.mjs","sources":["../../../src/branded/number/uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,IAAI,GAAG,CAAC,YAAA,GAAqB,MAAM,CAAC,CAAC,CAAC,KACjD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,MAAM;IACV,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"uint.mjs","sources":["../../../src/branded/number/uint.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,IAAI,GAAG,CAAC,YAAA,GAAqB,MAAM,CAAC,CAAC,CAAC,KACjD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,MAAM;IACV,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,UAAU;QACV,SAAS;QACT,UAAU;QACV,KAAK;AACN,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,MAAM;AACjB,CAAA;;;;"}

package/dist/branded/number/uint16.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uint16.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint16.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,MAAM,GAAI,eAAc,MAAoB,KAAG,IAAI,CAAC,MAAM,CAmBnE,CAAC"}
+{"version":3,"file":"uint16.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint16.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,MAAM,GAAI,eAAc,MAAoB,KAAG,IAAI,CAAC,MAAM,CAoBnE,CAAC"}

package/dist/branded/number/uint16.mjs

@@ -20,6 +20,7 @@ const uint16 = (defaultValue = asUint16(0)) => brand({
         '< 2^31',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint16',
 });
 
 export { uint16 };

package/dist/branded/number/uint16.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint16.mjs","sources":["../../../src/branded/number/uint16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"uint16.mjs","sources":["../../../src/branded/number/uint16.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}

package/dist/branded/number/uint32.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"uint32.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint32.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,MAAM,GAAI,eAAc,MAAoB,KAAG,IAAI,CAAC,MAAM,CAiBnE,CAAC"}
+{"version":3,"file":"uint32.d.mts","sourceRoot":"","sources":["../../../src/branded/number/uint32.mts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAG3C,eAAO,MAAM,MAAM,GAAI,eAAc,MAAoB,KAAG,IAAI,CAAC,MAAM,CAkBnE,CAAC"}

package/dist/branded/number/uint32.mjs

@@ -18,6 +18,7 @@ const uint32 = (defaultValue = asUint32(0)) => brand({
         '< 2^32',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint32',
 });
 
 export { uint32 };

package/dist/branded/number/uint32.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"uint32.mjs","sources":["../../../src/branded/number/uint32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC7B,CAAA;;;;"}
+{"version":3,"file":"uint32.mjs","sources":["../../../src/branded/number/uint32.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKO,MAAM,MAAM,GAAG,CAAC,YAAA,GAAuB,QAAQ,CAAC,CAAC,CAAC,KACvD,KAAK,CAAC;AACJ,IAAA,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC;AAC3B,IAAA,EAAE,EAAE,QAAQ;IACZ,YAAY;AACZ,IAAA,SAAS,EAAE;QACT,QAAQ;QACR,KAAK;QACL,SAAS;QACT,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;QACV,KAAK;QACL,QAAQ;AACT,KAAA;IACD,cAAc,EAAE,CAAC,UAAU,CAAC;AAC5B,IAAA,QAAQ,EAAE,QAAQ;AACnB,CAAA;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "2.7.0",
+  "version": "2.8.0",
   "private": false,
   "keywords": [
     "typescript"

package/src/branded/brand.mts

@@ -1,10 +1,6 @@
 import { pipe, Result } from 'ts-data-forge';
 import { type Type } from '../type.mjs';
-import {
-  createType,
-  type ValidationError,
-  type ValidationErrorWithMessage,
-} from '../utils/index.mjs';
+import { createType, type ValidationError } from '../utils/index.mjs';
 
 type ArrayToUnion<A extends readonly unknown[]> = A extends readonly []
   ? never
@@ -17,31 +13,35 @@ export const brand = <
 >({
   codec,
   is,
+  defaultValue,
+  typeName,
   brandKeys,
   brandFalseKeys,
-  defaultValue,
 }: Readonly<{
   codec: Type<A>;
   is: (
     a: A,
   ) => a is Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
-  brandKeys: BrandTrueKeys;
-  brandFalseKeys?: BrandFalseKeys;
   defaultValue: Brand<
     A,
     ArrayToUnion<BrandTrueKeys>,
     ArrayToUnion<BrandFalseKeys>
   >;
+  typeName?: string;
+  brandKeys: BrandTrueKeys;
+  brandFalseKeys?: BrandFalseKeys;
 }>): Type<
   Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>
 > => {
   type T = Brand<A, ArrayToUnion<BrandTrueKeys>, ArrayToUnion<BrandFalseKeys>>;
 
   const brandKeysStr = [
-    ...brandKeys,
-    ...(brandFalseKeys?.map((s) => `not(${s})`) ?? []),
+    ...brandKeys.map((s) => `"${s}"`),
+    ...(brandFalseKeys?.map((s) => `not("${s}")`) ?? []),
   ].join(' & ');
 
+  const typeNameFilled = typeName ?? brandKeysStr;
+
   const validate: Type<T>['validate'] = (a) =>
     pipe(a)
       .map(codec.validate)
@@ -55,23 +55,19 @@ export const brand = <
                   {
                     path: [],
                     actualValue: v.value,
-                    expectedType: brandKeysStr,
+                    expectedType: typeNameFilled,
                     typeName: brandKeysStr,
-                    message: `The value must satisfy the constraint corresponding to the brand keys: <${brandKeysStr}>`,
-                  } satisfies ValidationErrorWithMessage,
+                    message:
+                      typeName === undefined
+                        ? `The value must satisfy the constraint corresponding to the brand keys: <${brandKeysStr}>`
+                        : undefined,
+                  } satisfies ValidationError,
                 ]),
       ).value;
 
-  const fill: Type<T>['fill'] = (a) =>
-    Result.unwrapOkOr(
-      validate(a) satisfies Result<T, unknown>,
-      defaultValue satisfies T,
-    ) satisfies T;
-
   return createType({
     typeName: brandKeysStr,
     defaultValue,
     validate,
-    fill,
   });
 };

package/src/branded/number/finite-number.mts

@@ -12,4 +12,5 @@ export const finiteNumber = (
     defaultValue,
     brandKeys: ['Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'FiniteNumber',
   });

package/src/branded/number/finite-number.test.mts

@@ -90,10 +90,9 @@ describe('finiteNumber', () => {
           {
             path: [],
             actualValue: Number.POSITIVE_INFINITY,
-            expectedType: 'Finite & not(NaNValue)',
-            typeName: 'Finite & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & not(NaNValue)>',
+            expectedType: 'FiniteNumber',
+            typeName: '"Finite" & not("NaNValue")',
+            message: undefined,
           },
         ]);
       }
@@ -139,7 +138,7 @@ describe('finiteNumber', () => {
         targetType.assertIs;
       expect(() => {
         assertIs(x);
-      }).toThrow('The value must satisfy the constraint');
+      }).toThrow('Expected <FiniteNumber>');
     });
   });
 

package/src/branded/number/int.mts

@@ -10,4 +10,5 @@ export const int = (defaultValue: Int = asInt(0)): Type<Int> =>
     defaultValue,
     brandKeys: ['Finite', 'Int'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int',
   });

package/src/branded/number/int.test.mts

@@ -69,15 +69,14 @@ describe('int', () => {
           {
             path: [],
             actualValue: 42.5,
-            expectedType: 'Finite & Int & not(NaNValue)',
-            typeName: 'Finite & Int & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & not(NaNValue)>',
+            expectedType: 'Int',
+            typeName: '"Finite" & "Int" & not("NaNValue")',
+            message: undefined,
           },
         ]);
 
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & not(NaNValue)>',
+          'Expected <Int>, got <number> type value `42.5`.',
         ]);
       }
     });
@@ -131,7 +130,7 @@ describe('int', () => {
         targetType.assertIs;
       expect(() => {
         assertIs(x);
-      }).toThrow('The value must satisfy the constraint');
+      }).toThrow('Expected <Int>');
     });
   });
 

package/src/branded/number/int16.mts

@@ -22,4 +22,5 @@ export const int16 = (defaultValue: Int16 = asInt16(0)): Type<Int16> =>
       '>= -2^15',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int16',
   });

package/src/branded/number/int16.test.mts

@@ -79,16 +79,14 @@ describe('int16', () => {
           {
             path: [],
             actualValue: 50000,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & < 2^15 & < 2^16 & > -2^16 & >= -2^15 & not(NaNValue)',
+            expectedType: 'Int16',
             typeName:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & < 2^15 & < 2^16 & > -2^16 & >= -2^15 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & < 2^15 & < 2^16 & > -2^16 & >= -2^15 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^32" & ">= -2^31" & "< 2^32" & "< 2^31" & "< 2^15" & "< 2^16" & "> -2^16" & ">= -2^15" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & < 2^15 & < 2^16 & > -2^16 & >= -2^15 & not(NaNValue)>',
+          'Expected <Int16>, got <number> type value `50000`.',
         ]);
       }
     });

package/src/branded/number/int32.mts

@@ -18,4 +18,5 @@ export const int32 = (defaultValue: Int32 = asInt32(0)): Type<Int32> =>
       '< 2^31',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Int32',
   });

package/src/branded/number/int32.test.mts

@@ -73,16 +73,14 @@ describe('int32', () => {
           {
             path: [],
             actualValue: 3000000000,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & not(NaNValue)',
+            expectedType: 'Int32',
             typeName:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^32" & ">= -2^31" & "< 2^32" & "< 2^31" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & < 2^32 & < 2^31 & not(NaNValue)>',
+          'Expected <Int32>, got <number> type value `3000000000`.',
         ]);
       }
     });

package/src/branded/number/non-negative-finite-number.mts

@@ -15,4 +15,5 @@ export const nonNegativeFiniteNumber = (
     defaultValue,
     brandKeys: ['>=0', '> -2^16', '> -2^32', '>= -2^15', '>= -2^31', 'Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonNegativeFiniteNumber',
   });

package/src/branded/number/non-negative-finite-number.test.mts

@@ -90,16 +90,14 @@ describe('nonNegativeFiniteNumber', () => {
           {
             path: [],
             actualValue: -5.5,
-            expectedType:
-              '>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & not(NaNValue)',
+            expectedType: 'NonNegativeFiniteNumber',
             typeName:
-              '>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & not(NaNValue)>',
+              '">=0" & "> -2^16" & "> -2^32" & ">= -2^15" & ">= -2^31" & "Finite" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & not(NaNValue)>',
+          'Expected <NonNegativeFiniteNumber>, got <number> type value `-5.5`.',
         ]);
       }
     });

package/src/branded/number/non-zero-finite-number.mts

@@ -12,4 +12,5 @@ export const nonZeroFiniteNumber = (
     defaultValue,
     brandKeys: ['!=0', 'Finite'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroFiniteNumber',
   });

package/src/branded/number/non-zero-finite-number.test.mts

@@ -86,14 +86,13 @@ describe('nonZeroFiniteNumber', () => {
           {
             path: [],
             actualValue: 0,
-            expectedType: '!=0 & Finite & not(NaNValue)',
-            typeName: '!=0 & Finite & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <!=0 & Finite & not(NaNValue)>',
+            expectedType: 'NonZeroFiniteNumber',
+            typeName: '"!=0" & "Finite" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <!=0 & Finite & not(NaNValue)>',
+          'Expected <NonZeroFiniteNumber>, got <number> type value `0`.',
         ]);
       }
     });

package/src/branded/number/non-zero-int.mts

@@ -12,4 +12,5 @@ export const nonZeroInt = (
     defaultValue,
     brandKeys: ['Finite', 'Int', '!=0'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroInt',
   });

package/src/branded/number/non-zero-int.test.mts

@@ -79,14 +79,13 @@ describe('nonZeroInt', () => {
           {
             path: [],
             actualValue: 0,
-            expectedType: 'Finite & Int & !=0 & not(NaNValue)',
-            typeName: 'Finite & Int & !=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & !=0 & not(NaNValue)>',
+            expectedType: 'NonZeroInt',
+            typeName: '"Finite" & "Int" & "!=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & !=0 & not(NaNValue)>',
+          'Expected <NonZeroInt>, got <number> type value `0`.',
         ]);
       }
     });

package/src/branded/number/non-zero-safe-int.mts

@@ -12,4 +12,5 @@ export const nonZeroSafeInt = (
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt', '!=0'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'NonZeroSafeInt',
   });

package/src/branded/number/non-zero-safe-int.test.mts

@@ -86,14 +86,13 @@ describe('nonZeroSafeInt', () => {
           {
             path: [],
             actualValue: 0,
-            expectedType: 'Finite & Int & SafeInt & !=0 & not(NaNValue)',
-            typeName: 'Finite & Int & SafeInt & !=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & !=0 & not(NaNValue)>',
+            expectedType: 'NonZeroSafeInt',
+            typeName: '"Finite" & "Int" & "SafeInt" & "!=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & !=0 & not(NaNValue)>',
+          'Expected <NonZeroSafeInt>, got <number> type value `0`.',
         ]);
       }
     });

package/src/branded/number/positive-finite-number.mts

@@ -20,4 +20,5 @@ export const positiveFiniteNumber = (
       '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveFiniteNumber',
   });

package/src/branded/number/positive-finite-number.test.mts

@@ -86,16 +86,14 @@ describe('positiveFiniteNumber', () => {
           {
             path: [],
             actualValue: 0,
-            expectedType:
-              '>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & !=0 & not(NaNValue)',
+            expectedType: 'PositiveFiniteNumber',
             typeName:
-              '>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & !=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & !=0 & not(NaNValue)>',
+              '">=0" & "> -2^16" & "> -2^32" & ">= -2^15" & ">= -2^31" & "Finite" & "!=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <>=0 & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & Finite & !=0 & not(NaNValue)>',
+          'Expected <PositiveFiniteNumber>, got <number> type value `0`.',
         ]);
       }
     });

package/src/branded/number/positive-int.mts

@@ -21,4 +21,5 @@ export const positiveInt = (
       '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveInt',
   });

package/src/branded/number/positive-int.test.mts

@@ -96,16 +96,14 @@ describe('positiveInt', () => {
           {
             path: [],
             actualValue: -5,
-            expectedType:
-              'Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)',
+            expectedType: 'PositiveInt',
             typeName:
-              'Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)>',
+              '"Finite" & "Int" & "> -2^32" & ">= -2^31" & "> -2^16" & ">= -2^15" & ">=0" & "!=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)>',
+          'Expected <PositiveInt>, got <number> type value `-5`.',
         ]);
       }
     });
@@ -149,7 +147,7 @@ describe('positiveInt', () => {
         targetType.assertIs;
       expect(() => {
         assertIs(x);
-      }).toThrow('The value must satisfy the constraint');
+      }).toThrow('Expected <PositiveInt>');
     });
   });
 

package/src/branded/number/positive-safe-int.mts

@@ -22,4 +22,5 @@ export const positiveSafeInt = (
       '!=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'PositiveSafeInt',
   });

package/src/branded/number/positive-safe-int.test.mts

@@ -90,16 +90,14 @@ describe('positiveSafeInt', () => {
           {
             path: [],
             actualValue: 0,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)',
+            expectedType: 'PositiveSafeInt',
             typeName:
-              'Finite & Int & SafeInt & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^32" & ">= -2^31" & "> -2^16" & ">= -2^15" & ">=0" & "!=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & !=0 & not(NaNValue)>',
+          'Expected <PositiveSafeInt>, got <number> type value `0`.',
         ]);
       }
     });

package/src/branded/number/safe-int.mts

@@ -10,4 +10,5 @@ export const safeInt = (defaultValue: SafeInt = asSafeInt(0)): Type<SafeInt> =>
     defaultValue,
     brandKeys: ['Finite', 'Int', 'SafeInt'],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'SafeInt',
   });

package/src/branded/number/safe-int.test.mts

@@ -78,15 +78,14 @@ describe('safeInt', () => {
           {
             path: [],
             actualValue: Number.MAX_SAFE_INTEGER + 1,
-            expectedType: 'Finite & Int & SafeInt & not(NaNValue)',
-            typeName: 'Finite & Int & SafeInt & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & not(NaNValue)>',
+            expectedType: 'SafeInt',
+            typeName: '"Finite" & "Int" & "SafeInt" & not("NaNValue")',
+            message: undefined,
           },
         ]);
 
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & not(NaNValue)>',
+          'Expected <SafeInt>, got <number> type value `9007199254740992`.',
         ]);
       }
     });

package/src/branded/number/safe-uint.mts

@@ -21,4 +21,5 @@ export const safeUint = (
       '>=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'SafeUint',
   });

package/src/branded/number/safe-uint.test.mts

@@ -85,16 +85,14 @@ describe('safeUint', () => {
           {
             path: [],
             actualValue: -5,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & not(NaNValue)',
+            expectedType: 'SafeUint',
             typeName:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^16" & "> -2^32" & ">= -2^15" & ">= -2^31" & ">=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & not(NaNValue)>',
+          'Expected <SafeUint>, got <number> type value `-5`.',
         ]);
       }
     });

package/src/branded/number/uint.mts

@@ -18,4 +18,5 @@ export const uint = (defaultValue: Uint = asUint(0)): Type<Uint> =>
       '>=0',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint',
   });

package/src/branded/number/uint.test.mts

@@ -91,16 +91,14 @@ describe('uint', () => {
           {
             path: [],
             actualValue: -5,
-            expectedType:
-              'Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & not(NaNValue)',
+            expectedType: 'Uint',
             typeName:
-              'Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & not(NaNValue)>',
+              '"Finite" & "Int" & "> -2^32" & ">= -2^31" & "> -2^16" & ">= -2^15" & ">=0" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & > -2^32 & >= -2^31 & > -2^16 & >= -2^15 & >=0 & not(NaNValue)>',
+          'Expected <Uint>, got <number> type value `-5`.',
         ]);
       }
     });
@@ -144,7 +142,7 @@ describe('uint', () => {
         targetType.assertIs;
       expect(() => {
         assertIs(x);
-      }).toThrow('The value must satisfy the constraint');
+      }).toThrow('Expected <Uint>');
     });
   });
 

package/src/branded/number/uint16.mts

@@ -22,4 +22,5 @@ export const uint16 = (defaultValue: Uint16 = asUint16(0)): Type<Uint16> =>
       '< 2^31',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint16',
   });

package/src/branded/number/uint16.test.mts

@@ -85,16 +85,14 @@ describe('uint16', () => {
           {
             path: [],
             actualValue: -5,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & < 2^16 & < 2^31 & not(NaNValue)',
+            expectedType: 'Uint16',
             typeName:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & < 2^16 & < 2^31 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & < 2^16 & < 2^31 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^16" & "> -2^32" & ">= -2^15" & ">= -2^31" & ">=0" & "< 2^32" & "< 2^16" & "< 2^31" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & < 2^16 & < 2^31 & not(NaNValue)>',
+          'Expected <Uint16>, got <number> type value `-5`.',
         ]);
       }
     });

package/src/branded/number/uint32.mts

@@ -20,4 +20,5 @@ export const uint32 = (defaultValue: Uint32 = asUint32(0)): Type<Uint32> =>
       '< 2^32',
     ],
     brandFalseKeys: ['NaNValue'],
+    typeName: 'Uint32',
   });

package/src/branded/number/uint32.test.mts

@@ -85,16 +85,14 @@ describe('uint32', () => {
           {
             path: [],
             actualValue: -5,
-            expectedType:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & not(NaNValue)',
+            expectedType: 'Uint32',
             typeName:
-              'Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & not(NaNValue)',
-            message:
-              'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & not(NaNValue)>',
+              '"Finite" & "Int" & "SafeInt" & "> -2^16" & "> -2^32" & ">= -2^15" & ">= -2^31" & ">=0" & "< 2^32" & not("NaNValue")',
+            message: undefined,
           },
         ]);
         expect(validationErrorsToMessages(result.value)).toStrictEqual([
-          'The value must satisfy the constraint corresponding to the brand keys: <Finite & Int & SafeInt & > -2^16 & > -2^32 & >= -2^15 & >= -2^31 & >=0 & < 2^32 & not(NaNValue)>',
+          'Expected <Uint32>, got <number> type value `-5`.',
         ]);
       }
     });

package/src/branded/simple-branded-number.test.mts

@@ -15,7 +15,7 @@ describe('simpleBrandedNumber', () => {
 
     test('creates branded number type with default value 0', () => {
       expect(userIdType.defaultValue).toBe(0);
-      expect(userIdType.typeName).toBe('UserId');
+      expect(userIdType.typeName).toBe('"UserId"');
     });
 
     describe('is', () => {
@@ -105,7 +105,7 @@ describe('simpleBrandedNumber', () => {
 
     test('creates branded number type with custom default value', () => {
       expect(scoreType.defaultValue).toBe(100);
-      expect(scoreType.typeName).toBe('Score');
+      expect(scoreType.typeName).toBe('"Score"');
     });
 
     describe('validate', () => {

package/src/branded/simple-branded-string.test.mts

@@ -15,7 +15,7 @@ describe('simpleBrandedString', () => {
 
     test('creates branded string type with default value empty string', () => {
       expect(userNameType.defaultValue).toBe('');
-      expect(userNameType.typeName).toBe('UserName');
+      expect(userNameType.typeName).toBe('"UserName"');
     });
 
     describe('is', () => {
@@ -106,7 +106,7 @@ describe('simpleBrandedString', () => {
 
     test('creates branded string type with custom default value', () => {
       expect(categoryType.defaultValue).toBe('general');
-      expect(categoryType.typeName).toBe('Category');
+      expect(categoryType.typeName).toBe('"Category"');
     });
 
     describe('validate', () => {
@@ -189,8 +189,8 @@ describe('simpleBrandedString', () => {
       expectType<FirstName, Brand<string, 'FirstName'>>('=');
       expectType<LastName, Brand<string, 'LastName'>>('=');
 
-      expect(firstNameType.typeName).toBe('FirstName');
-      expect(lastNameType.typeName).toBe('LastName');
+      expect(firstNameType.typeName).toBe('"FirstName"');
+      expect(lastNameType.typeName).toBe('"LastName"');
     });
   });
 });