ts-fortress 1.0.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,324 @@
+# ts-fortress
+
+TypeScript-first schema validation library with static type inference.
+
+ts-fortress is a runtime validation library similar to [io-ts](https://github.com/gcanti/io-ts) and [zod](https://github.com/colinhacks/zod), designed to provide type-safe schema validation with excellent TypeScript integration and static type inference.
+
+## Features
+
+- 🔒 **Type-safe validation** - Full TypeScript support with static type inference
+- 🏗️ **Composable schemas** - Build complex validation schemas from simple building blocks
+- 🎯 **Zero-runtime overhead** - Type information is inferred at compile time
+- 🔄 **Result-based error handling** - Structured error reporting with `Result<T, Error[]>`
+- 🏷️ **Branded types** - Rich collection of branded number types (Int, SafeInt, PositiveInt, etc.)
+- ⚡ **Performance focused** - Minimal runtime overhead and optimized validation
+- 🧩 **Functional composition** - Union, intersection, and merge operations for schema composition
+
+## Installation
+
+```bash
+npm install ts-fortress
+```
+
+```bash
+yarn add ts-fortress
+```
+
+```bash
+pnpm add ts-fortress
+```
+
+## Quick Start
+
+```typescript
+import * as t from 'ts-fortress';
+
+// Define a schema
+const User = t.record({
+    id: t.string(''),
+    name: t.string(''),
+    age: t.number(0),
+    email: t.string(''),
+    isActive: t.boolean(true),
+});
+
+// Infer TypeScript type
+type User = t.TypeOf<typeof User>;
+// ↑ { id: string; name: string; age: number; email: string; isActive: boolean }
+
+// Validate data
+const userData = {
+    id: '123',
+    name: 'John Doe',
+    age: 30,
+    email: 'john@example.com',
+    isActive: true,
+};
+
+if (User.is(userData)) {
+    // userData is now typed as User
+    console.log(`User: ${userData.name}, Age: ${userData.age}`);
+}
+
+// Get validation result with error details
+const result = User.validate(userData);
+if (result.isOk()) {
+    const user = result.value; // typed as User
+} else {
+    console.error('Validation errors:', result.value); // string[] of error messages
+}
+```
+
+## Core Concepts
+
+### Type Interface
+
+Every validator in ts-fortress implements the `Type<A>` interface:
+
+```typescript
+interface Type<A> {
+    typeName: string; // Human-readable type name
+    defaultValue: A; // Default value for this type
+    is: (a: unknown) => a is A; // Type guard function
+    assertIs: (a: unknown) => asserts a is A; // Type assertion
+    cast: (a: unknown) => A; // Cast with fallback to default
+    fill: (a: unknown) => A; // Fill missing values with defaults
+    validate: (a: unknown) => Result<A, string[]>; // Detailed validation
+}
+```
+
+### Primitive Types
+
+```typescript
+import * as t from 'ts-fortress';
+
+// Basic primitives
+const stringType = t.string('default');
+const numberType = t.number(0);
+const booleanType = t.boolean(false);
+const nullType = t.nullType;
+const undefinedType = t.undefinedType;
+
+// Literal types
+const statusType = t.stringLiteral('active');
+const versionType = t.number(1);
+
+// Arrays
+const stringArrayType = t.array(t.string(''));
+const nonEmptyArrayType = t.nonEmptyArray(t.number(0));
+
+// Tuples
+const coordinateType = t.tuple([t.number(0), t.number(0)]);
+```
+
+### Record Types
+
+```typescript
+// Define object schemas
+const PersonType = t.record({
+    firstName: t.string(''),
+    lastName: t.string(''),
+    age: t.number(0),
+    address: t.record({
+        street: t.string(''),
+        city: t.string(''),
+        zipCode: t.string(''),
+    }),
+});
+
+type Person = t.TypeOf<typeof PersonType>;
+
+// Optional fields
+const UserProfileType = t.record({
+    username: t.string(''),
+    bio: t.optional(t.string('')), // Optional field
+    settings: t.partial(
+        t.record({
+            // Partial record (all fields optional)
+            theme: t.string('light'),
+            notifications: t.boolean(true),
+        }),
+    ),
+});
+```
+
+### Branded Types
+
+ts-fortress provides extensive support for branded types to create domain-specific validation:
+
+```typescript
+// Simple branded types
+const UserId = t.simpleBrandedString('UserId', '');
+const Weight = t.simpleBrandedNumber('Weight', 0);
+
+type UserId = t.TypeOf<typeof UserId>; // Brand<string, 'UserId'>
+type Weight = t.TypeOf<typeof Weight>; // Brand<number, 'Weight'>
+
+// Rich number validation types
+const PositiveInt = t.positiveInt(1);
+const SafeInt = t.safeInt(0);
+const UInt16 = t.uint16(0);
+
+// Usage
+const userIdResult = UserId.validate('user_123');
+if (userIdResult.isOk()) {
+    const id: UserId = userIdResult.value;
+}
+```
+
+### Union and Intersection Types
+
+```typescript
+// Union types
+const StatusType = t.union([
+    t.stringLiteral('pending'),
+    t.stringLiteral('completed'),
+    t.stringLiteral('failed'),
+]);
+
+// Complex unions
+const IdType = t.union([t.string(''), t.number(0)]);
+
+// Intersection types
+const TimestampedType = t.intersection([
+    t.record({ data: t.string('') }),
+    t.record({
+        createdAt: t.number(Date.now()),
+        updatedAt: t.number(Date.now()),
+    }),
+]);
+
+// Merge records (similar to intersection but more specific)
+const ExtendedUserType = t.mergeRecords([
+    PersonType,
+    t.record({
+        id: t.string(''),
+        email: t.string(''),
+    }),
+]);
+```
+
+### Enums
+
+```typescript
+// String enums
+const ColorEnum = t.enum(['red', 'green', 'blue'] as const);
+type Color = t.TypeOf<typeof ColorEnum>; // 'red' | 'green' | 'blue'
+
+// Numeric ranges
+const DiceRoll = t.uintRange(1, 6, 1); // integers from 1 to 6
+type DiceRoll = t.TypeOf<typeof DiceRoll>; // 1 | 2 | 3 | 4 | 5 | 6
+```
+
+## Error Handling
+
+ts-fortress uses `Result<T, string[]>` for structured error handling:
+
+```typescript
+const UserType = t.record({
+    name: t.string(''),
+    age: t.number(0),
+});
+
+const invalidData = { name: 123, age: 'not a number' };
+
+const result = UserType.validate(invalidData);
+if (result.isErr()) {
+    console.log(result.value);
+    // Array of error messages:
+    // ['Expected string at name, got number', 'Expected number at age, got string']
+}
+
+// Using assertions (throws on invalid data)
+try {
+    UserType.assertIs(invalidData);
+} catch (error) {
+    console.error('Validation failed:', error.message);
+}
+```
+
+## Migration from io-ts
+
+If you're coming from io-ts, here's how common patterns translate:
+
+```typescript
+// io-ts style
+import * as t from 'io-ts';
+
+const UserCodec = t.type({
+    id: t.string,
+    name: t.string,
+    age: t.number,
+});
+
+type User = t.TypeOf<typeof UserCodec>;
+
+// ts-fortress style
+import * as t from 'ts-fortress';
+
+const UserType = t.record({
+    id: t.string(''),
+    name: t.string(''),
+    age: t.number(0),
+});
+
+type User = t.TypeOf<typeof UserType>;
+```
+
+Key differences:
+
+- **Default values**: ts-fortress requires explicit default values for better type safety
+- **Naming**: `record` instead of `type`, more explicit function names
+- **Error handling**: Built-in `Result` type instead of `Either`
+- **Branded types**: Rich collection of pre-built branded number types
+
+## API Reference
+
+### Primitives
+
+- `t.string(defaultValue)` - String validation
+- `t.number(defaultValue)` - Number validation
+- `t.boolean(defaultValue)` - Boolean validation
+- `t.nullType` / `t.undefinedType` - Null/undefined validation
+- `t.stringLiteral(value)` - Literal string types
+
+### Collections
+
+- `t.array(elementType, options?)` - Array validation
+- `t.nonEmptyArray(elementType, options?)` - Non-empty array validation
+- `t.tuple([...types])` - Fixed-length tuple validation
+- `t.arrayOfLength(elementType, length, options?)` - Fixed-length array validation
+
+### Objects
+
+- `t.record(schema, options?)` - Object validation
+- `t.partial(recordType)` - Make all fields optional
+- `t.optional(type)` - Optional field wrapper
+- `t.pick(recordType, keys)` - Pick specific fields
+- `t.omit(recordType, keys)` - Omit specific fields
+
+### Composition
+
+- `t.union(types, options?)` - Union type validation
+- `t.intersection(types)` - Intersection type validation
+- `t.mergeRecords(recordTypes)` - Merge multiple record types
+
+### Branded Types
+
+- `t.simpleBrandedString(brandName, defaultValue)` - Simple string branding
+- `t.simpleBrandedNumber(brandName, defaultValue)` - Simple number branding
+- Number types: `t.int()`, `t.safeInt()`, `t.positiveInt()`, `t.uint16()`, etc.
+
+### Utilities
+
+- `t.TypeOf<T>` - Extract TypeScript type from validator
+- `t.enum(values)` - Enum validation
+- `t.uintRange(min, max, defaultValue)` - Integer range validation
+
+## Contributing
+
+We welcome contributions! Please see our [contributing guidelines](CONTRIBUTING.md) for details.
+
+## License
+
+This project is licensed under the Apache-2.0 License - see the [LICENSE](LICENSE) file for details.

package/dist/array/array-of-length.d.mts

@@ -0,0 +1,6 @@
+import { type Type } from '../type.mjs';
+export declare const arrayOfLength: <A, N extends SmallUint>(size: N, elementType: Type<A>, options?: Readonly<{
+    typeName?: string;
+    defaultValue?: ArrayOfLength<N, A>;
+}>) => Type<ArrayOfLength<N, A>>;
+//# sourceMappingURL=array-of-length.d.mts.map

package/dist/array/array-of-length.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-of-length.d.mts","sourceRoot":"","sources":["../../src/array/array-of-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAQxC,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,SAAS,SAAS,EAClD,MAAM,CAAC,EACP,aAAa,IAAI,CAAC,CAAC,CAAC,EACpB,UAAU,QAAQ,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,CAAC,KACD,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CA2D1B,CAAC"}

package/dist/array/array-of-length.mjs

@@ -0,0 +1,50 @@
+import { Arr, Result } from 'ts-data-forge';
+import { createAssertFn } from '../utils/create-assert-fn.mjs';
+import { createCastFn } from '../utils/create-cast-fn.mjs';
+import { createIsFn } from '../utils/create-is-fn.mjs';
+import { validationErrorMessage } from '../utils/validation-error-message.mjs';
+
+const arrayOfLength = (size, elementType, options) => {
+    const { typeName, 
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+    defaultValue = Arr.create(size, elementType.defaultValue), } = options ?? {};
+    const typeNameFilled = typeName ?? `[${Arr.create(size, elementType.typeName).join(', ')}]`;
+    const validate = (a) => {
+        if (!Arr.isArray(a)) {
+            return Result.err([
+                validationErrorMessage(a, 'The value is expected to be an array'),
+            ]);
+        }
+        if (a.length !== size) {
+            return Result.err([
+                `The value is expected to be an array of length ${size}, but it is ${a.length}.`,
+            ]);
+        }
+        for (const [index, el] of a.entries()) {
+            const res = elementType.validate(el);
+            if (Result.isErr(res)) {
+                const message = validationErrorMessage(el, `The array element is expected to be <${elementType.typeName}>`, (str) => `but the actual value at index ${index} is '${str}'`);
+                return Result.err([message, ...res.value]);
+            }
+        }
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+        return Result.ok(a);
+    };
+    const fill = (a) => Arr.isArray(a)
+        ? // TODO: remove as
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+            Arr.map(Arr.seq(size), (i) => elementType.fill(a[i]))
+        : defaultValue;
+    return {
+        typeName: typeNameFilled,
+        defaultValue,
+        fill,
+        validate,
+        is: createIsFn(validate),
+        cast: createCastFn(validate),
+        assertIs: createAssertFn(validate),
+    };
+};
+
+export { arrayOfLength };
+//# sourceMappingURL=array-of-length.mjs.map

package/dist/array/array-of-length.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-of-length.mjs","sources":["../../src/array/array-of-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AASO,MAAM,aAAa,GAAG,CAC3B,IAAO,EACP,WAAoB,EACpB,OAGE,KAC2B;AAG7B,IAAA,MAAM,EACJ,QAAQ;;AAER,IAAA,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAM,GAC/D,GAAG,OAAO,IAAI,EAAE;IAEjB,MAAM,cAAc,GAClB,QAAQ,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA,CAAA,CAAG;AAEtE,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,sBAAsB,CAAC,CAAC,EAAE,sCAAsC,CAAC;AAClE,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,EAAE;YACrB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,CAAA,+CAAA,EAAkD,IAAI,CAAA,YAAA,EAAe,CAAC,CAAC,MAAM,CAAA,CAAA,CAAG;AACjF,aAAA,CAAC;QACJ;AAEA,QAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;YACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,MAAM,OAAO,GAAG,sBAAsB,CACpC,EAAE,EACF,CAAA,qCAAA,EAAwC,WAAW,CAAC,QAAQ,CAAA,CAAA,CAAG,EAC/D,CAAC,GAAG,KAAK,CAAA,8BAAA,EAAiC,KAAK,CAAA,KAAA,EAAQ,GAAG,CAAA,CAAA,CAAG,CAC9D;AAED,gBAAA,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5C;QACF;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;AACX;;YAEG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAa;UACjE,YAAY;IAElB,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}

package/dist/array/array.d.mts

@@ -0,0 +1,6 @@
+import { type Type } from '../type.mjs';
+export declare const array: <A>(elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: readonly A[];
+}>>) => Type<readonly A[]>;
+//# sourceMappingURL=array.d.mts.map

package/dist/array/array.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.mts","sourceRoot":"","sources":["../../src/array/array.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAQxC,eAAO,MAAM,KAAK,GAAI,CAAC,EACrB,aAAa,IAAI,CAAC,CAAC,CAAC,EACpB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;CAC5B,CAAC,CACH,KACA,IAAI,CAAC,SAAS,CAAC,EAAE,CA4CnB,CAAC"}

package/dist/array/array.mjs

@@ -0,0 +1,39 @@
+import { Arr, Result } from 'ts-data-forge';
+import { createAssertFn } from '../utils/create-assert-fn.mjs';
+import { createCastFn } from '../utils/create-cast-fn.mjs';
+import { createIsFn } from '../utils/create-is-fn.mjs';
+import { validationErrorMessage } from '../utils/validation-error-message.mjs';
+
+const array = (elementType, options) => {
+    const { typeName, defaultValue = [] } = options ?? {};
+    const typeNameFilled = typeName ?? `(${elementType.typeName})[]`;
+    const validate = (a) => {
+        if (!Arr.isArray(a)) {
+            return Result.err([
+                validationErrorMessage(a, 'The value is expected to be an array'),
+            ]);
+        }
+        for (const [index, el] of a.entries()) {
+            const res = elementType.validate(el);
+            if (Result.isErr(res)) {
+                const message = validationErrorMessage(el, `The array element is expected to be <${elementType.typeName}>`, (str) => `but the actual value at index ${index} is '${str}'`);
+                return Result.err([message, ...res.value]);
+            }
+        }
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-type-assertion
+        return Result.ok(a);
+    };
+    const fill = (a) => Arr.isArray(a) ? a.map((e) => elementType.fill(e)) : defaultValue;
+    return {
+        typeName: typeNameFilled,
+        defaultValue,
+        fill,
+        validate,
+        is: createIsFn(validate),
+        assertIs: createAssertFn(validate),
+        cast: createCastFn(validate),
+    };
+};
+
+export { array };
+//# sourceMappingURL=array.mjs.map

package/dist/array/array.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.mjs","sources":["../../src/array/array.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MASa,KAAK,GAAG,CACnB,WAAoB,EACpB,OAKC,KACqB;IAGtB,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,EAAE,EAAE,GAAG,OAAO,IAAI,EAAE;IAErD,MAAM,cAAc,GAAW,QAAQ,IAAI,IAAI,WAAW,CAAC,QAAQ,CAAA,GAAA,CAAK;AAExE,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,sBAAsB,CAAC,CAAC,EAAE,sCAAsC,CAAC;AAClE,aAAA,CAAC;QACJ;AAEA,QAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;YACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,MAAM,OAAO,GAAG,sBAAsB,CACpC,EAAE,EACF,CAAA,qCAAA,EAAwC,WAAW,CAAC,QAAQ,CAAA,CAAA,CAAG,EAC/D,CAAC,GAAG,KAAK,CAAA,8BAAA,EAAiC,KAAK,CAAA,KAAA,EAAQ,GAAG,CAAA,CAAA,CAAG,CAC9D;AAED,gBAAA,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5C;QACF;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY;IAEnE,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/dist/array/index.d.mts

@@ -0,0 +1,5 @@
+export * from './array-of-length.mjs';
+export * from './array.mjs';
+export * from './non-empty-array.mjs';
+export * from './tuple.mjs';
+//# sourceMappingURL=index.d.mts.map

package/dist/array/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/array/index.mts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,aAAa,CAAC"}

package/dist/array/index.mjs

@@ -0,0 +1,5 @@
+export { arrayOfLength } from './array-of-length.mjs';
+export { array } from './array.mjs';
+export { nonEmptyArray } from './non-empty-array.mjs';
+export { tuple } from './tuple.mjs';
+//# sourceMappingURL=index.mjs.map

package/dist/array/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;"}

package/dist/array/non-empty-array.d.mts

@@ -0,0 +1,6 @@
+import { type Type } from '../type.mjs';
+export declare const nonEmptyArray: <A>(elementType: Type<A>, options?: Readonly<{
+    typeName?: string;
+    defaultValue?: NonEmptyArray<A>;
+}>) => Type<NonEmptyArray<A>>;
+//# sourceMappingURL=non-empty-array.d.mts.map