ts-fortress 2.0.4 → 2.2.0

package/README.md

@@ -541,6 +541,58 @@ const UserProfileType = t.record({
         }),
     ),
 });
+
+// Strict validation (disallow excess properties)
+const StrictUserType = t.record(
+    {
+        id: t.string(''),
+        name: t.string(''),
+    },
+    {
+        allowExcessProperties: false, // Reject any properties not defined in schema
+    },
+);
+
+// Alternatively, use the strictRecord alias for cleaner syntax
+const StrictUserTypeAlias = t.strictRecord({
+    id: t.string(''),
+    name: t.string(''),
+});
+
+// Permissive validation (allow excess properties) - this is the default
+const PermissiveUserType = t.record(
+    {
+        id: t.string(''),
+        name: t.string(''),
+    },
+    {
+        allowExcessProperties: true, // Allow additional properties (default behavior)
+    },
+);
+
+// Example usage - both StrictUserType and StrictUserTypeAlias behave identically
+const strictData = { id: '123', name: 'John', extra: 'not allowed' };
+console.log(StrictUserType.is(strictData)); // false - 'extra' property causes rejection
+console.log(StrictUserTypeAlias.is(strictData)); // false - same as above
+
+const permissiveData = { id: '123', name: 'John', extra: 'allowed' };
+console.log(PermissiveUserType.is(permissiveData)); // true - 'extra' property is allowed
+
+// strictRecord provides cleaner syntax for strict validation
+const UserSchema = t.strictRecord({
+    name: t.string(''),
+    email: t.string(''),
+    age: t.number(0),
+});
+
+// Validation examples
+UserSchema.is({ name: 'John', email: 'john@example.com', age: 30 }); // ✅ true
+UserSchema.is({
+    name: 'John',
+    email: 'john@example.com',
+    age: 30,
+    role: 'admin',
+}); // ❌ false - excess property
 ```
 
 ### Branded Types
@@ -649,6 +701,31 @@ try {
 } catch (error) {
     console.error('Validation failed:', error.message);
 }
+
+// Excess property validation example
+const StrictType = t.record(
+    {
+        name: t.string(''),
+        age: t.number(0),
+    },
+    {
+        allowExcessProperties: false,
+    },
+);
+
+const dataWithExcess = { name: 'John', age: 30, extra: 'not allowed' };
+const strictResult = StrictType.validate(dataWithExcess);
+
+if (Result.isErr(strictResult)) {
+    console.log(strictResult.value);
+    // [{
+    //   path: ['extra'],
+    //   actualValue: 'not allowed',
+    //   expectedType: '{ name: string, age: number }',
+    //   message: 'Excess property "extra" is not allowed',
+    //   typeName: '{ name: string, age: number }'
+    // }]
+}
 ```
 
 ### ValidationError Structure
@@ -684,7 +761,9 @@ type ValidationError = Readonly<{
 
 ### Objects
 
-- `t.record(schema)` - Object validation
+- `t.record(schema, options?)` - Object validation
+    - `options.allowExcessProperties?: boolean` - Allow properties not defined in schema (default: true)
+- `t.strictRecord(schema, options?)` - Object validation with strict mode (alias for `record` with `allowExcessProperties: false`)
 - `t.keyValueRecord(keyType, valueType)` - Corresponding to the `Record<K, V>` type
 - `t.partial(recordType)` - Make all fields optional
 - `t.optional(type)` - Optional field wrapper

package/dist/index.mjs

@@ -39,7 +39,7 @@ export { omit } from './record/omit.mjs';
 export { isOptionalProperty, optional } from './record/optional.mjs';
 export { partial } from './record/partial.mjs';
 export { pick } from './record/pick.mjs';
-export { record } from './record/record.mjs';
+export { record, strictRecord } from './record/record.mjs';
 export { unknown } from './unknown.mjs';
 export { createAssertFn } from './utils/create-assert-fn.mjs';
 export { createCastFn } from './utils/create-cast-fn.mjs';

package/dist/record/index.mjs

@@ -4,5 +4,5 @@ export { omit } from './omit.mjs';
 export { isOptionalProperty, optional } from './optional.mjs';
 export { partial } from './partial.mjs';
 export { pick } from './pick.mjs';
-export { record } from './record.mjs';
+export { record, strictRecord } from './record.mjs';
 //# sourceMappingURL=index.mjs.map

package/dist/record/key-value-record.d.mts

@@ -1,5 +1,5 @@
 import { type Type, type TypeOf } from '../type.mjs';
-type RecordResultType<K extends Type<string>, V extends Type<unknown>> = Record<TypeOf<K>, TypeOf<V>>;
+type RecordResultType<K extends Type<string>, V extends Type<unknown>> = ReadonlyRecord<TypeOf<K>, TypeOf<V>>;
 export declare const keyValueRecord: <K extends Type<string>, V extends Type<unknown>>(keyType: K, valueType: V, options?: Readonly<{
     typeName?: string;
 }>) => Type<RecordResultType<K, V>>;

package/dist/record/key-value-record.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"key-value-record.d.mts","sourceRoot":"","sources":["../../src/record/key-value-record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,KAAK,gBAAgB,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAC7E,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EAC5E,SAAS,CAAC,EACV,WAAW,CAAC,EACZ,UAAU,QAAQ,CAAC;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KACxC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAoF7B,CAAC"}
+{"version":3,"file":"key-value-record.d.mts","sourceRoot":"","sources":["../../src/record/key-value-record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,KAAK,gBAAgB,CACnB,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EACtB,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IACrB,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzC,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EAC5E,SAAS,CAAC,EACV,WAAW,CAAC,EACZ,UAAU,QAAQ,CAAC;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KACxC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAoF7B,CAAC"}

package/dist/record/record.d.mts

@@ -1,21 +1,47 @@
 import { type Type, type TypeOf } from '../type.mjs';
-export declare const record: <const R extends Record<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
+export declare const record: <const R extends ReadonlyRecord<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
     typeName: string;
+    /** @default true */
+    allowExcessProperties: boolean;
 }>>) => Type<RecordTypeValue<R>>;
-type RecordTypeValue<R extends Record<string, Type<unknown>>> = TsFortressInternal.RecordTypeValueImpl<R>;
+type RecordTypeValue<R extends ReadonlyRecord<string, Type<unknown>>> = TsFortressInternal.RecordTypeValueImpl<R>;
 declare namespace TsFortressInternal {
-    export type RecordTypeValueImpl<R extends Record<string, Type<unknown>>> = RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
-    type RecordTypeValueImplSub<A extends Record<string, Type<unknown>>, OptionalKeys extends keyof A> = Readonly<{
+    export type RecordTypeValueImpl<R extends ReadonlyRecord<string, Type<unknown>>> = RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
+    type RecordTypeValueImplSub<A extends ReadonlyRecord<string, Type<unknown>>, OptionalKeys extends keyof A> = Readonly<{
         [key in OptionalKeys]?: TypeOf<A[key]>;
     } & {
         [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
     }>;
-    type OptionalTypeKeys<A extends Record<string, Type<unknown>>> = {
+    type OptionalTypeKeys<A extends ReadonlyRecord<string, Type<unknown>>> = {
         [K in keyof A]: A[K] extends {
             optional: true;
         } ? K : never;
     }[keyof A];
     export {};
 }
+/**
+ * Creates a strict record type that does not allow excess properties.
+ * This is an alias for `record(source, { allowExcessProperties: false })`.
+ *
+ * @param source - The record schema definition
+ * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @returns A Type that validates records without allowing excess properties
+ *
+ * @example
+ * ```typescript
+ * import { strictRecord, string, number } from 'ts-fortress';
+ *
+ * const User = strictRecord({
+ *   name: string(),
+ *   age: number()
+ * });
+ *
+ * User.is({ name: "John", age: 30 }); // true
+ * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
+ * ```
+ */
+export declare const strictRecord: <const R extends ReadonlyRecord<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
+    typeName: string;
+}>>) => Type<RecordTypeValue<R>>;
 export {};
 //# sourceMappingURL=record.d.mts.map

package/dist/record/record.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"record.d.mts","sourceRoot":"","sources":["../../src/record/record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAClE,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAgFzB,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAC1D,kBAAkB,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE5C,kBAAU,kBAAkB,CAAC;IAC3B,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IACrE,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjD,KAAK,sBAAsB,CACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,YAAY,SAAS,MAAM,CAAC,IAC1B,QAAQ,CACV;SACG,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,GAAG;SACD,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CACF,CAAC;IAEF,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;SAC9D,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;YAAE,QAAQ,EAAE,IAAI,CAAA;SAAE,GAAG,CAAC,GAAG,KAAK;KAC5D,CAAC,MAAM,CAAC,CAAC,CAAC;;CACZ"}
+{"version":3,"file":"record.d.mts","sourceRoot":"","sources":["../../src/record/record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC1E,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAwGzB,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAClE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE5C,kBAAU,kBAAkB,CAAC;IAC3B,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAC7C,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnD,KAAK,sBAAsB,CACzB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,YAAY,SAAS,MAAM,CAAC,IAC1B,QAAQ,CACV;SACG,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,GAAG;SACD,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CACF,CAAC;IAEF,KAAK,gBAAgB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;SACtE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;YAAE,QAAQ,EAAE,IAAI,CAAA;SAAE,GAAG,CAAC,GAAG,KAAK;KAC5D,CAAC,MAAM,CAAC,CAAC,CAAC;;CACZ;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAErD,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CACoC,CAAC"}

package/dist/record/record.mjs

@@ -5,10 +5,12 @@ import { createIsFn } from '../utils/create-is-fn.mjs';
 import { createPrimitiveValidationError, prependPathToValidationErrors } from '../validation-error.mjs';
 
 const record = (source, options) => {
+    const sourceKeys = new Set(Object.keys(source));
     const typeNameFilled = options?.typeName ??
         `{ ${Object.entries(source)
             .map(([k, v]) => `${k}: ${v.typeName}`)
             .join(', ')} }`;
+    const allowExcessProperties = options?.allowExcessProperties ?? true;
     const defaultValue = 
     // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
     Object.fromEntries(Object.entries(source).map(([key, value]) => tp(key, value.defaultValue)));
@@ -22,7 +24,7 @@ const record = (source, options) => {
                 }),
             ]);
         }
-        const errors = Object.entries(source).flatMap(([k, valueType]) => {
+        const defaultErrors = Object.entries(source).flatMap(([k, valueType]) => {
             if (!Object.hasOwn(a, k)) {
                 if (source[k]?.optional === true)
                     return [];
@@ -43,8 +45,22 @@ const record = (source, options) => {
             }
             return [];
         });
-        if (errors.length > 0) {
-            return Result.err(errors);
+        // Check for excess properties if allowExcessProperties is false
+        if (!allowExcessProperties) {
+            const excessKeys = Object.keys(a).filter((key) => !sourceKeys.has(key));
+            if (excessKeys.length > 0) {
+                const excessErrors = excessKeys.map((key) => ({
+                    path: [key],
+                    actualValue: a[key],
+                    typeName: typeNameFilled,
+                    expectedType: typeNameFilled,
+                    message: `Excess property "${key}" is not allowed`,
+                }));
+                return Result.err([...defaultErrors, ...excessErrors]);
+            }
+        }
+        if (defaultErrors.length > 0) {
+            return Result.err(defaultErrors);
         }
         // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
         return Result.ok(a);
@@ -63,6 +79,28 @@ const record = (source, options) => {
         cast: createCastFn(validate),
     };
 };
+/**
+ * Creates a strict record type that does not allow excess properties.
+ * This is an alias for `record(source, { allowExcessProperties: false })`.
+ *
+ * @param source - The record schema definition
+ * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @returns A Type that validates records without allowing excess properties
+ *
+ * @example
+ * ```typescript
+ * import { strictRecord, string, number } from 'ts-fortress';
+ *
+ * const User = strictRecord({
+ *   name: string(),
+ *   age: number()
+ * });
+ *
+ * User.is({ name: "John", age: 30 }); // true
+ * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
+ * ```
+ */
+const strictRecord = (source, options) => record(source, { ...options, allowExcessProperties: false });
 
-export { record };
+export { record, strictRecord };
 //# sourceMappingURL=record.mjs.map

package/dist/record/record.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"record.mjs","sources":["../../src/record/record.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAUa,MAAM,GAAG,CACpB,MAAS,EACT,OAIC,KAC2B;AAG5B,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,MAAM;AACvB,aAAA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA,EAAA,EAAK,CAAC,CAAC,QAAQ,EAAE;AACrC,aAAA,IAAI,CAAC,IAAI,CAAC,CAAA,EAAA,CAAI;AAEnB,IAAA,MAAM,YAAY;;AAEhB,IAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACrE;AAER,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;AAC1C,QAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YAChB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;AACtB,oBAAA,QAAQ,EAAE,cAAc;iBACzB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CACvE,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAI;YACjB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;AACxB,gBAAA,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI;AAAE,oBAAA,OAAO,EAAE;gBAE3C,OAAO;AACL,oBAAA;wBACE,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,wBAAA,WAAW,EAAE,CAAC;AACd,wBAAA,QAAQ,EAAE,cAAc;AACxB,wBAAA,YAAY,EAAE,cAAc;wBAC5B,OAAO,EAAE,CAAA,sBAAA,EAAyB,CAAC,CAAA,CAAA,CAAG;AACF,qBAAA;iBACvC;YACH;AAEA,YAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpD;AAEA,YAAA,OAAO,EAAE;AACX,QAAA,CAAC,CACF;AAED,QAAA,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE;AACrB,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;IAED,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,QAAQ,CAAC,CAAC;AACR;YACG,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAChC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAC3D;UAEH,YAAY;IAElB,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC7B;AACH;;;;"}
+{"version":3,"file":"record.mjs","sources":["../../src/record/record.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAUa,MAAM,GAAG,CACpB,MAAS,EACT,OAOC,KAC2B;AAG5B,IAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAE/C,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,MAAM;AACvB,aAAA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA,EAAA,EAAK,CAAC,CAAC,QAAQ,EAAE;AACrC,aAAA,IAAI,CAAC,IAAI,CAAC,CAAA,EAAA,CAAI;AAEnB,IAAA,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,IAAI,IAAI;AAEpE,IAAA,MAAM,YAAY;;AAEhB,IAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACrE;AAER,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;AAC1C,QAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YAChB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;AACtB,oBAAA,QAAQ,EAAE,cAAc;iBACzB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,aAAa,GAA+B,MAAM,CAAC,OAAO,CAC9D,MAAM,CACP,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAI;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;AACxB,gBAAA,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI;AAAE,oBAAA,OAAO,EAAE;gBAE3C,OAAO;AACL,oBAAA;wBACE,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,wBAAA,WAAW,EAAE,CAAC;AACd,wBAAA,QAAQ,EAAE,cAAc;AACxB,wBAAA,YAAY,EAAE,cAAc;wBAC5B,OAAO,EAAE,CAAA,sBAAA,EAAyB,CAAC,CAAA,CAAA,CAAG;AACF,qBAAA;iBACvC;YACH;AAEA,YAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpD;AAEA,YAAA,OAAO,EAAE;AACX,QAAA,CAAC,CAAC;;QAGF,IAAI,CAAC,qBAAqB,EAAE;YAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEvE,YAAA,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;gBACzB,MAAM,YAAY,GAA+B,UAAU,CAAC,GAAG,CAC7D,CAAC,GAAG,MACD;oBACC,IAAI,EAAE,CAAC,GAAG,CAAC;AACX,oBAAA,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC;AACnB,oBAAA,QAAQ,EAAE,cAAc;AACxB,oBAAA,YAAY,EAAE,cAAc;oBAC5B,OAAO,EAAE,CAAA,iBAAA,EAAoB,GAAG,CAAA,gBAAA,CAAkB;AACnD,iBAAA,CAAsC,CAC1C;AAED,gBAAA,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,YAAY,CAAC,CAAC;YACxD;QACF;AAEA,QAAA,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE;AAC5B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QAClC;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;IAED,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,QAAQ,CAAC,CAAC;AACR;YACG,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAChC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAC3D;UAEH,YAAY;IAElB,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC7B;AACH;AA0BA;;;;;;;;;;;;;;;;;;;;AAoBG;AACI,MAAM,YAAY,GAAG,CAG1B,MAAS,EACT,OAIC,KAED,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE;;;;"}

package/package.json

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

package/src/array/array-of-length.test.mts

@@ -1,7 +1,10 @@
 import { expectType, Result } from 'ts-data-forge';
 import { number } from '../primitives/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { arrayOfLength } from './array-of-length.mjs';
 
 describe('arrayOfLength', () => {
@@ -74,6 +77,18 @@ describe('arrayOfLength', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const ys: unknown = [5, 6, 7, 8];
+
+      const result = xs.validate(ys);
+      expectType<typeof result, Result<Xs, readonly ValidationError[]>>('=');
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toStrictEqual([5, 6, 7, 8]);
+      }
+    });
+
     test('falsy case 1', () => {
       const ys: unknown = [];
 

package/src/array/array.test.mts

@@ -1,7 +1,10 @@
 import { expectType, Result } from 'ts-data-forge';
 import { number } from '../primitives/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { array } from './array.mjs';
 
 describe('array', () => {
@@ -58,6 +61,18 @@ describe('array', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const ys: unknown = [1, 2, 3];
+
+      const result = xs.validate(ys);
+      expectType<typeof result, Result<Xs, readonly ValidationError[]>>('=');
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toStrictEqual([1, 2, 3]);
+      }
+    });
+
     test('falsy case', () => {
       const ys: unknown = ['1', '', 3];
 

package/src/array/non-empty-array.test.mts

@@ -1,7 +1,10 @@
 import { expectType, Result } from 'ts-data-forge';
 import { number } from '../primitives/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { nonEmptyArray } from './non-empty-array.mjs';
 
 describe('nonEmptyArray', () => {
@@ -74,6 +77,18 @@ describe('nonEmptyArray', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const ys: unknown = [1, 2, 3];
+
+      const result = xs.validate(ys);
+      expectType<typeof result, Result<Xs, readonly ValidationError[]>>('=');
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toStrictEqual([1, 2, 3]);
+      }
+    });
+
     test('falsy case 1', () => {
       const ys: unknown = [];
 

package/src/array/tuple.test.mts

@@ -2,7 +2,10 @@ import { expectType, Result } from 'ts-data-forge';
 import { number, numberLiteral, stringLiteral } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { tuple } from './tuple.mjs';
 
 describe('tuple', () => {
@@ -72,6 +75,20 @@ describe('tuple', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const x: unknown = [{ x: 1, y: 2 }, 3, '2'];
+
+      const result = targetType.validate(x);
+      expectType<typeof result, Result<TargetType, readonly ValidationError[]>>(
+        '=',
+      );
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toStrictEqual([{ x: 1, y: 2 }, 3, '2']);
+      }
+    });
+
     test('falsy case - not array', () => {
       const x: unknown = 'not an array';
 

package/src/compose/intersection.test.mts

@@ -3,7 +3,10 @@ import { uintRange } from '../enum/index.mjs';
 import { number } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { intersection } from './intersection.mjs';
 
 describe('intersection', () => {
@@ -74,6 +77,19 @@ describe('intersection', () => {
     });
 
     describe('validate', () => {
+      test('truthy case', () => {
+        const result = targetType.validate({ x: 0, y: 1, z: 2, w: 3 });
+        expectType<
+          typeof result,
+          Result<TargetType, readonly ValidationError[]>
+        >('=');
+        expect(Result.isOk(result)).toBe(true);
+
+        if (Result.isOk(result)) {
+          expect(result.value).toStrictEqual({ x: 0, y: 1, z: 2, w: 3 });
+        }
+      });
+
       test('falsy case', () => {
         const result = targetType.validate({ x: 0, y: 1 });
         expect(Result.isErr(result)).toBe(true);
@@ -165,6 +181,19 @@ describe('intersection', () => {
     });
 
     describe('validate', () => {
+      test('truthy case', () => {
+        const result = targetType.validate(0);
+        expectType<
+          typeof result,
+          Result<TargetType, readonly ValidationError[]>
+        >('=');
+        expect(Result.isOk(result)).toBe(true);
+
+        if (Result.isOk(result)) {
+          expect(result.value).toBe(0);
+        }
+      });
+
       test('falsy case', () => {
         const result = targetType.validate('aaa');
         expect(Result.isErr(result)).toBe(true);
@@ -278,6 +307,19 @@ describe('intersection', () => {
     });
 
     describe('validate', () => {
+      test('truthy case', () => {
+        const result = targetType.validate(3);
+        expectType<
+          typeof result,
+          Result<TargetType, readonly ValidationError[]>
+        >('=');
+        expect(Result.isOk(result)).toBe(true);
+
+        if (Result.isOk(result)) {
+          expect(result.value).toBe(3);
+        }
+      });
+
       test('falsy case', () => {
         const result = targetType.validate(7);
         expect(Result.isErr(result)).toBe(true);

package/src/compose/merge-records.test.mts

@@ -2,7 +2,10 @@ import { expectType, Result } from 'ts-data-forge';
 import { number } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { mergeRecords } from './merge-records.mjs';
 
 describe('mergeRecords', () => {
@@ -67,6 +70,18 @@ describe('mergeRecords', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const result = targetType.validate({ x: 0, y: 1, z: 2, w: 3 });
+      expectType<typeof result, Result<TargetType, readonly ValidationError[]>>(
+        '=',
+      );
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toStrictEqual({ x: 0, y: 1, z: 2, w: 3 });
+      }
+    });
+
     test('falsy case', () => {
       const result = targetType.validate({ x: 0, y: 1 });
       expect(Result.isErr(result)).toBe(true);

package/src/compose/union.test.mts

@@ -2,7 +2,10 @@ import { expectType, Result } from 'ts-data-forge';
 import { number, numberLiteral, stringLiteral } from '../primitives/index.mjs';
 import { record } from '../record/index.mjs';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { union } from './union.mjs';
 
 describe('union', () => {
@@ -70,6 +73,18 @@ describe('union', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const result = targetType.validate(3);
+      expectType<typeof result, Result<TargetType, readonly ValidationError[]>>(
+        '=',
+      );
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toBe(3);
+      }
+    });
+
     test('falsy case', () => {
       const result = targetType.validate(5);
       expect(Result.isErr(result)).toBe(true);

package/src/enum/enum.test.mts

@@ -1,6 +1,9 @@
 import { expectType, Result } from 'ts-data-forge';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { enumType } from './enum.mjs';
 
 describe('enumType', () => {
@@ -41,6 +44,18 @@ describe('enumType', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const result = targetType.validate(3);
+      expectType<typeof result, Result<TargetType, readonly ValidationError[]>>(
+        '=',
+      );
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toBe(3);
+      }
+    });
+
     test('falsy case', () => {
       const result = targetType.validate(5);
       expect(Result.isErr(result)).toBe(true);

package/src/enum/uint-range.test.mts

@@ -1,6 +1,9 @@
 import { expectType, Result } from 'ts-data-forge';
 import { type TypeOf } from '../type.mjs';
-import { validationErrorsToMessages } from '../validation-error.mjs';
+import {
+  type ValidationError,
+  validationErrorsToMessages,
+} from '../validation-error.mjs';
 import { uintRange } from './uint-range.mjs';
 
 describe('uintRange', () => {
@@ -44,6 +47,16 @@ describe('uintRange', () => {
   });
 
   describe('validate', () => {
+    test('truthy case', () => {
+      const result = month.validate(5);
+      expectType<typeof result, Result<Month, readonly ValidationError[]>>('=');
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expect(result.value).toBe(5);
+      }
+    });
+
     test('falsy case', () => {
       const result = month.validate(13);
       expect(Result.isErr(result)).toBe(true);