ts-fortress 2.0.4 → 2.1.0

package/README.md

@@ -541,6 +541,35 @@ 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
+    },
+);
+
+// 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
+const strictData = { id: '123', name: 'John', extra: 'not allowed' };
+console.log(StrictUserType.is(strictData)); // false - 'extra' property causes rejection
+
+const permissiveData = { id: '123', name: 'John', extra: 'allowed' };
+console.log(PermissiveUserType.is(permissiveData)); // true - 'extra' property is allowed
 ```
 
 ### Branded Types
@@ -649,6 +678,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 +738,8 @@ 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.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/record/record.d.mts

@@ -1,6 +1,8 @@
 import { type Type, type TypeOf } from '../type.mjs';
 export declare const record: <const R extends Record<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>;
 declare namespace TsFortressInternal {

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,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAClE,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,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"}

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);

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;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "2.0.4",
+  "version": "2.1.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);

package/src/primitives/null.test.mts

@@ -0,0 +1,170 @@
+import { expectType, Result } from 'ts-data-forge';
+import { type TypeOf } from '../type.mjs';
+import { nullType } from './null.mjs';
+
+describe('nullType', () => {
+  type Null = TypeOf<typeof nullType>;
+
+  expectType<Null, null>('=');
+  expectType<typeof nullType.defaultValue, Null>('=');
+
+  describe('default value', () => {
+    test('is null', () => {
+      expect(nullType.defaultValue).toBeNull();
+    });
+  });
+
+  describe('is', () => {
+    test('null returns true', () => {
+      const value: unknown = null;
+
+      if (nullType.is(value)) {
+        expectType<typeof value, Null>('=');
+      } else {
+        expectType<typeof value, {} | undefined>('=');
+      }
+
+      expect(nullType.is(value)).toBe(true);
+    });
+
+    test('undefined returns false', () => {
+      const value: unknown = undefined;
+
+      if (nullType.is(value)) {
+        expectType<typeof value, Null>('=');
+      } else {
+        expectType<typeof value, {} | undefined>('=');
+      }
+
+      expect(nullType.is(value)).toBe(false);
+    });
+
+    test('other values return false', () => {
+      const values = [0, '', false, Number.NaN, {}, [], 'null', 42, true];
+
+      for (const value of values) {
+        const v: unknown = value;
+
+        if (nullType.is(v)) {
+          expectType<typeof v, Null>('=');
+        } else {
+          expectType<typeof v, {} | undefined>('=');
+        }
+
+        expect(nullType.is(v)).toBe(false);
+      }
+    });
+  });
+
+  describe('assertIs', () => {
+    test('null does not throw', () => {
+      const value: unknown = null;
+      expect(() => {
+        nullType.assertIs(value);
+      }).not.toThrow();
+    });
+
+    test('non-null throws', () => {
+      const value: unknown = undefined;
+      expect(() => {
+        nullType.assertIs(value);
+      }).toThrow('Expected null, got undefined');
+    });
+  });
+
+  describe('cast', () => {
+    test('null returns null', () => {
+      const value: unknown = null;
+      const result = nullType.cast(value);
+      expect(result).toBeNull();
+    });
+
+    test('non-null throws error', () => {
+      const value: unknown = undefined;
+      expect(() => nullType.cast(value)).toThrow(
+        'Expected null, got undefined',
+      );
+    });
+
+    test('any non-null value throws error', () => {
+      const values = [0, '', false, undefined, 42, 'hello'];
+
+      for (const value of values) {
+        expect(() => nullType.cast(value)).toThrow(
+          /Expected null, got (number|string|boolean|undefined)/u,
+        );
+      }
+    });
+  });
+
+  describe('fill', () => {
+    test('null returns null', () => {
+      const value: unknown = null;
+      const result = nullType.fill(value);
+      expect(result).toBeNull();
+    });
+
+    test('undefined returns default (null)', () => {
+      const value: unknown = undefined;
+      const result = nullType.fill(value);
+      expect(result).toBeNull();
+    });
+
+    test('other values return default (null)', () => {
+      const values = [0, '', false, 42, 'hello', {}];
+
+      for (const value of values) {
+        const result = nullType.fill(value);
+        expect(result).toBeNull();
+      }
+    });
+  });
+
+  describe('validate', () => {
+    test('null is valid', () => {
+      const value: unknown = null;
+      const result = nullType.validate(value);
+
+      expect(Result.isOk(result)).toBe(true);
+      if (Result.isOk(result)) {
+        expect(result.value).toBeNull();
+      }
+    });
+
+    test('undefined is invalid', () => {
+      const value: unknown = undefined;
+      const result = nullType.validate(value);
+
+      expect(Result.isErr(result)).toBe(true);
+      if (Result.isErr(result)) {
+        expect(result.value).toStrictEqual([
+          {
+            path: [],
+            actualValue: undefined,
+            expectedType: 'null',
+            typeName: 'null',
+            message: undefined,
+          },
+        ]);
+      }
+    });
+
+    test('other values are invalid', () => {
+      const value: unknown = 0;
+      const result = nullType.validate(value);
+
+      expect(Result.isErr(result)).toBe(true);
+      if (Result.isErr(result)) {
+        expect(result.value).toStrictEqual([
+          {
+            path: [],
+            actualValue: 0,
+            expectedType: 'null',
+            typeName: 'null',
+            message: undefined,
+          },
+        ]);
+      }
+    });
+  });
+});