typetify 0.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +327 -0
- package/dist/async/index.d.mts +152 -0
- package/dist/async/index.d.ts +152 -0
- package/dist/async/index.js +49 -0
- package/dist/async/index.js.map +1 -0
- package/dist/async/index.mjs +4 -0
- package/dist/async/index.mjs.map +1 -0
- package/dist/chunk-2LJ6NZ6K.js +108 -0
- package/dist/chunk-2LJ6NZ6K.js.map +1 -0
- package/dist/chunk-44Y5JSGU.js +145 -0
- package/dist/chunk-44Y5JSGU.js.map +1 -0
- package/dist/chunk-4NXETABV.mjs +116 -0
- package/dist/chunk-4NXETABV.mjs.map +1 -0
- package/dist/chunk-6ZBTL74K.js +129 -0
- package/dist/chunk-6ZBTL74K.js.map +1 -0
- package/dist/chunk-CN3GYRJN.mjs +137 -0
- package/dist/chunk-CN3GYRJN.mjs.map +1 -0
- package/dist/chunk-CNTE6ZVH.js +359 -0
- package/dist/chunk-CNTE6ZVH.js.map +1 -0
- package/dist/chunk-DBENOSTA.js +156 -0
- package/dist/chunk-DBENOSTA.js.map +1 -0
- package/dist/chunk-DWIG5GF2.js +135 -0
- package/dist/chunk-DWIG5GF2.js.map +1 -0
- package/dist/chunk-EAUTTWTQ.mjs +231 -0
- package/dist/chunk-EAUTTWTQ.mjs.map +1 -0
- package/dist/chunk-FXWYPHA3.mjs +13 -0
- package/dist/chunk-FXWYPHA3.mjs.map +1 -0
- package/dist/chunk-GS3PP67B.js +200 -0
- package/dist/chunk-GS3PP67B.js.map +1 -0
- package/dist/chunk-J5LGTIGS.mjs +9 -0
- package/dist/chunk-J5LGTIGS.mjs.map +1 -0
- package/dist/chunk-JAOGY4JO.mjs +1007 -0
- package/dist/chunk-JAOGY4JO.mjs.map +1 -0
- package/dist/chunk-JB6UXRKD.mjs +97 -0
- package/dist/chunk-JB6UXRKD.mjs.map +1 -0
- package/dist/chunk-JQHUBZ4M.js +88 -0
- package/dist/chunk-JQHUBZ4M.js.map +1 -0
- package/dist/chunk-L3M7LGKL.mjs +128 -0
- package/dist/chunk-L3M7LGKL.mjs.map +1 -0
- package/dist/chunk-LT7JK7RJ.js +87 -0
- package/dist/chunk-LT7JK7RJ.js.map +1 -0
- package/dist/chunk-OEJK37LO.mjs +328 -0
- package/dist/chunk-OEJK37LO.mjs.map +1 -0
- package/dist/chunk-OPVES6W2.js +16 -0
- package/dist/chunk-OPVES6W2.js.map +1 -0
- package/dist/chunk-OWNUKWXV.js +291 -0
- package/dist/chunk-OWNUKWXV.js.map +1 -0
- package/dist/chunk-PQTXSQ4P.js +369 -0
- package/dist/chunk-PQTXSQ4P.js.map +1 -0
- package/dist/chunk-PZ5AY32C.js +11 -0
- package/dist/chunk-PZ5AY32C.js.map +1 -0
- package/dist/chunk-QFR7DVAJ.mjs +63 -0
- package/dist/chunk-QFR7DVAJ.mjs.map +1 -0
- package/dist/chunk-SGQNLTRK.js +73 -0
- package/dist/chunk-SGQNLTRK.js.map +1 -0
- package/dist/chunk-SIA5BSVY.js +1054 -0
- package/dist/chunk-SIA5BSVY.js.map +1 -0
- package/dist/chunk-SRDWUHDY.mjs +188 -0
- package/dist/chunk-SRDWUHDY.mjs.map +1 -0
- package/dist/chunk-TXU7NTT4.js +249 -0
- package/dist/chunk-TXU7NTT4.js.map +1 -0
- package/dist/chunk-TZEWREAC.mjs +277 -0
- package/dist/chunk-TZEWREAC.mjs.map +1 -0
- package/dist/chunk-V6CWFDIJ.mjs +123 -0
- package/dist/chunk-V6CWFDIJ.mjs.map +1 -0
- package/dist/chunk-YBJC5WMX.mjs +341 -0
- package/dist/chunk-YBJC5WMX.mjs.map +1 -0
- package/dist/chunk-YOPAXITF.mjs +75 -0
- package/dist/chunk-YOPAXITF.mjs.map +1 -0
- package/dist/chunk-ZE4FDBRI.mjs +79 -0
- package/dist/chunk-ZE4FDBRI.mjs.map +1 -0
- package/dist/collection/index.d.mts +291 -0
- package/dist/collection/index.d.ts +291 -0
- package/dist/collection/index.js +125 -0
- package/dist/collection/index.js.map +1 -0
- package/dist/collection/index.mjs +4 -0
- package/dist/collection/index.mjs.map +1 -0
- package/dist/core/index.d.mts +85 -0
- package/dist/core/index.d.ts +85 -0
- package/dist/core/index.js +41 -0
- package/dist/core/index.js.map +1 -0
- package/dist/core/index.mjs +4 -0
- package/dist/core/index.mjs.map +1 -0
- package/dist/decorator/index.d.mts +165 -0
- package/dist/decorator/index.d.ts +165 -0
- package/dist/decorator/index.js +57 -0
- package/dist/decorator/index.js.map +1 -0
- package/dist/decorator/index.mjs +4 -0
- package/dist/decorator/index.mjs.map +1 -0
- package/dist/dx/index.d.mts +125 -0
- package/dist/dx/index.d.ts +125 -0
- package/dist/dx/index.js +53 -0
- package/dist/dx/index.js.map +1 -0
- package/dist/dx/index.mjs +4 -0
- package/dist/dx/index.mjs.map +1 -0
- package/dist/flow/index.d.mts +165 -0
- package/dist/flow/index.d.ts +165 -0
- package/dist/flow/index.js +50 -0
- package/dist/flow/index.js.map +1 -0
- package/dist/flow/index.mjs +5 -0
- package/dist/flow/index.mjs.map +1 -0
- package/dist/fn/index.d.mts +77 -0
- package/dist/fn/index.d.ts +77 -0
- package/dist/fn/index.js +37 -0
- package/dist/fn/index.js.map +1 -0
- package/dist/fn/index.mjs +4 -0
- package/dist/fn/index.mjs.map +1 -0
- package/dist/guards/index.d.mts +165 -0
- package/dist/guards/index.d.ts +165 -0
- package/dist/guards/index.js +69 -0
- package/dist/guards/index.js.map +1 -0
- package/dist/guards/index.mjs +4 -0
- package/dist/guards/index.mjs.map +1 -0
- package/dist/index.d.mts +228 -0
- package/dist/index.d.ts +228 -0
- package/dist/index.js +775 -0
- package/dist/index.js.map +1 -0
- package/dist/index.mjs +51 -0
- package/dist/index.mjs.map +1 -0
- package/dist/input/index.d.mts +185 -0
- package/dist/input/index.d.ts +185 -0
- package/dist/input/index.js +74 -0
- package/dist/input/index.js.map +1 -0
- package/dist/input/index.mjs +5 -0
- package/dist/input/index.mjs.map +1 -0
- package/dist/iterator/index.d.mts +209 -0
- package/dist/iterator/index.d.ts +209 -0
- package/dist/iterator/index.js +522 -0
- package/dist/iterator/index.js.map +1 -0
- package/dist/iterator/index.mjs +502 -0
- package/dist/iterator/index.mjs.map +1 -0
- package/dist/logic/index.d.mts +531 -0
- package/dist/logic/index.d.ts +531 -0
- package/dist/logic/index.js +416 -0
- package/dist/logic/index.js.map +1 -0
- package/dist/logic/index.mjs +367 -0
- package/dist/logic/index.mjs.map +1 -0
- package/dist/math/index.d.mts +86 -0
- package/dist/math/index.d.ts +86 -0
- package/dist/math/index.js +45 -0
- package/dist/math/index.js.map +1 -0
- package/dist/math/index.mjs +4 -0
- package/dist/math/index.mjs.map +1 -0
- package/dist/narrowing/index.d.mts +429 -0
- package/dist/narrowing/index.d.ts +429 -0
- package/dist/narrowing/index.js +220 -0
- package/dist/narrowing/index.js.map +1 -0
- package/dist/narrowing/index.mjs +186 -0
- package/dist/narrowing/index.mjs.map +1 -0
- package/dist/object/index.d.mts +327 -0
- package/dist/object/index.d.ts +327 -0
- package/dist/object/index.js +113 -0
- package/dist/object/index.js.map +1 -0
- package/dist/object/index.mjs +4 -0
- package/dist/object/index.mjs.map +1 -0
- package/dist/result/index.d.mts +201 -0
- package/dist/result/index.d.ts +201 -0
- package/dist/result/index.js +86 -0
- package/dist/result/index.js.map +1 -0
- package/dist/result/index.mjs +5 -0
- package/dist/result/index.mjs.map +1 -0
- package/dist/schema/index.d.mts +216 -0
- package/dist/schema/index.d.ts +216 -0
- package/dist/schema/index.js +410 -0
- package/dist/schema/index.js.map +1 -0
- package/dist/schema/index.mjs +384 -0
- package/dist/schema/index.mjs.map +1 -0
- package/dist/string/index.d.mts +102 -0
- package/dist/string/index.d.ts +102 -0
- package/dist/string/index.js +49 -0
- package/dist/string/index.js.map +1 -0
- package/dist/string/index.mjs +4 -0
- package/dist/string/index.mjs.map +1 -0
- package/dist/typed/index.d.mts +1962 -0
- package/dist/typed/index.d.ts +1962 -0
- package/dist/typed/index.js +193 -0
- package/dist/typed/index.js.map +1 -0
- package/dist/typed/index.mjs +4 -0
- package/dist/typed/index.mjs.map +1 -0
- package/dist/types-Db0vauC3.d.mts +258 -0
- package/dist/types-Db0vauC3.d.ts +258 -0
- package/dist/types-VsDp2t8s.d.mts +30 -0
- package/dist/types-VsDp2t8s.d.ts +30 -0
- package/package.json +157 -0
|
@@ -0,0 +1,216 @@
|
|
|
1
|
+
import { R as Result } from '../types-VsDp2t8s.js';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* Core types for the schema validation system
|
|
5
|
+
*/
|
|
6
|
+
|
|
7
|
+
/**
|
|
8
|
+
* A schema that validates and transforms unknown input to type T
|
|
9
|
+
*/
|
|
10
|
+
interface Schema<T> {
|
|
11
|
+
readonly _type: T;
|
|
12
|
+
readonly _tag: string;
|
|
13
|
+
parse(value: unknown): T;
|
|
14
|
+
safeParse(value: unknown): ValidationResult<T>;
|
|
15
|
+
is(value: unknown): value is T;
|
|
16
|
+
optional(): Schema<T | undefined>;
|
|
17
|
+
nullable(): Schema<T | null>;
|
|
18
|
+
default(defaultValue: T): Schema<T>;
|
|
19
|
+
transform<U>(fn: (value: T) => U): Schema<U>;
|
|
20
|
+
refine(predicate: (value: T) => boolean, message?: string): Schema<T>;
|
|
21
|
+
}
|
|
22
|
+
/**
|
|
23
|
+
* Extracts the TypeScript type from a schema
|
|
24
|
+
*/
|
|
25
|
+
type Infer<S> = S extends Schema<infer T> ? T : never;
|
|
26
|
+
/**
|
|
27
|
+
* Validation error with path information
|
|
28
|
+
*/
|
|
29
|
+
interface ValidationError {
|
|
30
|
+
path: (string | number)[];
|
|
31
|
+
message: string;
|
|
32
|
+
expected: string;
|
|
33
|
+
received: string;
|
|
34
|
+
}
|
|
35
|
+
/**
|
|
36
|
+
* Result of a validation operation
|
|
37
|
+
*/
|
|
38
|
+
type ValidationResult<T> = Result<T, ValidationError[]>;
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
* Schema definitions for common types
|
|
42
|
+
*/
|
|
43
|
+
|
|
44
|
+
/**
|
|
45
|
+
* String schema
|
|
46
|
+
*/
|
|
47
|
+
declare function string(): Schema<string>;
|
|
48
|
+
/**
|
|
49
|
+
* Number schema (excludes NaN)
|
|
50
|
+
*/
|
|
51
|
+
declare function number(): Schema<number>;
|
|
52
|
+
/**
|
|
53
|
+
* Boolean schema
|
|
54
|
+
*/
|
|
55
|
+
declare function boolean(): Schema<boolean>;
|
|
56
|
+
/**
|
|
57
|
+
* Literal schema for exact values
|
|
58
|
+
*/
|
|
59
|
+
declare function literal<T extends string | number | boolean>(expected: T): Schema<T>;
|
|
60
|
+
/**
|
|
61
|
+
* Array schema
|
|
62
|
+
*/
|
|
63
|
+
declare function array<T>(itemSchema: Schema<T>): Schema<T[]>;
|
|
64
|
+
/**
|
|
65
|
+
* Object schema with shape definition
|
|
66
|
+
*/
|
|
67
|
+
declare function object<T extends Record<string, Schema<unknown>>>(shape: T): Schema<{
|
|
68
|
+
[K in keyof T]: T[K] extends Schema<infer U> ? U : never;
|
|
69
|
+
}>;
|
|
70
|
+
/**
|
|
71
|
+
* Optional schema wrapper
|
|
72
|
+
*/
|
|
73
|
+
declare function optional<T>(schema: Schema<T>): Schema<T | undefined>;
|
|
74
|
+
/**
|
|
75
|
+
* Nullable schema wrapper
|
|
76
|
+
*/
|
|
77
|
+
declare function nullable<T>(schema: Schema<T>): Schema<T | null>;
|
|
78
|
+
/**
|
|
79
|
+
* Union schema (oneOf)
|
|
80
|
+
*/
|
|
81
|
+
declare function union<T extends readonly Schema<unknown>[]>(schemas: T): Schema<T[number] extends Schema<infer U> ? U : never>;
|
|
82
|
+
/**
|
|
83
|
+
* Intersection schema (allOf)
|
|
84
|
+
*/
|
|
85
|
+
declare function intersection<A, B>(schemaA: Schema<A>, schemaB: Schema<B>): Schema<A & B>;
|
|
86
|
+
/**
|
|
87
|
+
* Record schema (dictionary)
|
|
88
|
+
*/
|
|
89
|
+
declare function record<V>(valueSchema: Schema<V>): Schema<Record<string, V>>;
|
|
90
|
+
/**
|
|
91
|
+
* Tuple schema
|
|
92
|
+
*/
|
|
93
|
+
declare function tuple<T extends readonly Schema<unknown>[]>(schemas: T): Schema<{
|
|
94
|
+
[K in keyof T]: T[K] extends Schema<infer U> ? U : never;
|
|
95
|
+
}>;
|
|
96
|
+
/**
|
|
97
|
+
* Unknown schema (accepts anything)
|
|
98
|
+
*/
|
|
99
|
+
declare function unknown(): Schema<unknown>;
|
|
100
|
+
/**
|
|
101
|
+
* Any schema (accepts anything, typed as any)
|
|
102
|
+
*/
|
|
103
|
+
declare function any(): Schema<any>;
|
|
104
|
+
/**
|
|
105
|
+
* Date schema (validates Date objects or ISO strings)
|
|
106
|
+
*/
|
|
107
|
+
declare function date(): Schema<Date>;
|
|
108
|
+
/**
|
|
109
|
+
* Email schema (string with email format)
|
|
110
|
+
*/
|
|
111
|
+
declare function email(): Schema<string>;
|
|
112
|
+
/**
|
|
113
|
+
* URL schema (string with URL format)
|
|
114
|
+
*/
|
|
115
|
+
declare function url(): Schema<string>;
|
|
116
|
+
/**
|
|
117
|
+
* UUID schema (string with UUID format)
|
|
118
|
+
*/
|
|
119
|
+
declare function uuid(): Schema<string>;
|
|
120
|
+
|
|
121
|
+
/**
|
|
122
|
+
* Parsing utilities for schemas
|
|
123
|
+
*/
|
|
124
|
+
|
|
125
|
+
/**
|
|
126
|
+
* Parse a value with a schema, throwing on validation failure.
|
|
127
|
+
*
|
|
128
|
+
* @example
|
|
129
|
+
* const UserSchema = object({
|
|
130
|
+
* id: number(),
|
|
131
|
+
* name: string(),
|
|
132
|
+
* email: email()
|
|
133
|
+
* })
|
|
134
|
+
*
|
|
135
|
+
* const user = parse(UserSchema, jsonData)
|
|
136
|
+
* // Type: { id: number; name: string; email: string }
|
|
137
|
+
* // Throws if validation fails
|
|
138
|
+
*/
|
|
139
|
+
declare function parse<S extends Schema<unknown>>(schema: S, value: unknown): Infer<S>;
|
|
140
|
+
/**
|
|
141
|
+
* Safely parse a value with a schema, returning a Result.
|
|
142
|
+
*
|
|
143
|
+
* @example
|
|
144
|
+
* const result = safeParse(UserSchema, jsonData)
|
|
145
|
+
* if (result.ok) {
|
|
146
|
+
* console.log(result.value.name)
|
|
147
|
+
* } else {
|
|
148
|
+
* console.error(result.error)
|
|
149
|
+
* }
|
|
150
|
+
*/
|
|
151
|
+
declare function safeParse<S extends Schema<unknown>>(schema: S, value: unknown): ValidationResult<Infer<S>>;
|
|
152
|
+
/**
|
|
153
|
+
* Validate a value against a schema, returning validation errors.
|
|
154
|
+
*
|
|
155
|
+
* @example
|
|
156
|
+
* const errors = validate(UserSchema, jsonData)
|
|
157
|
+
* if (errors.length === 0) {
|
|
158
|
+
* // Valid
|
|
159
|
+
* } else {
|
|
160
|
+
* errors.forEach(e => console.error(`${e.path.join('.')}: ${e.message}`))
|
|
161
|
+
* }
|
|
162
|
+
*/
|
|
163
|
+
declare function validate<S extends Schema<unknown>>(schema: S, value: unknown): Array<{
|
|
164
|
+
path: (string | number)[];
|
|
165
|
+
message: string;
|
|
166
|
+
expected: string;
|
|
167
|
+
received: string;
|
|
168
|
+
}>;
|
|
169
|
+
/**
|
|
170
|
+
* Type guard using a schema.
|
|
171
|
+
*
|
|
172
|
+
* @example
|
|
173
|
+
* if (is(UserSchema, data)) {
|
|
174
|
+
* // data is User
|
|
175
|
+
* console.log(data.name)
|
|
176
|
+
* }
|
|
177
|
+
*/
|
|
178
|
+
declare function is<S extends Schema<unknown>>(schema: S, value: unknown): value is Infer<S>;
|
|
179
|
+
/**
|
|
180
|
+
* Parse JSON string with schema validation.
|
|
181
|
+
* Solves the "JSON.parse returns any" problem completely.
|
|
182
|
+
*
|
|
183
|
+
* @example
|
|
184
|
+
* const UserSchema = object({
|
|
185
|
+
* id: number(),
|
|
186
|
+
* name: string()
|
|
187
|
+
* })
|
|
188
|
+
*
|
|
189
|
+
* const result = parseJson(UserSchema, '{"id": 1, "name": "John"}')
|
|
190
|
+
* if (result.ok) {
|
|
191
|
+
* // result.value is { id: number; name: string }
|
|
192
|
+
* }
|
|
193
|
+
*/
|
|
194
|
+
declare function parseJson<S extends Schema<unknown>>(schema: S, json: string): ValidationResult<Infer<S>>;
|
|
195
|
+
/**
|
|
196
|
+
* Create a type guard function from a schema.
|
|
197
|
+
*
|
|
198
|
+
* @example
|
|
199
|
+
* const isUser = createGuard(UserSchema)
|
|
200
|
+
*
|
|
201
|
+
* const users = items.filter(isUser)
|
|
202
|
+
* // Type: User[]
|
|
203
|
+
*/
|
|
204
|
+
declare function createGuard<S extends Schema<unknown>>(schema: S): (value: unknown) => value is Infer<S>;
|
|
205
|
+
/**
|
|
206
|
+
* Create a parser function from a schema.
|
|
207
|
+
*
|
|
208
|
+
* @example
|
|
209
|
+
* const parseUser = createParser(UserSchema)
|
|
210
|
+
*
|
|
211
|
+
* const user = parseUser(data)
|
|
212
|
+
* // Throws if invalid
|
|
213
|
+
*/
|
|
214
|
+
declare function createParser<S extends Schema<unknown>>(schema: S): (value: unknown) => Infer<S>;
|
|
215
|
+
|
|
216
|
+
export { type Infer, type Schema, type ValidationError, type ValidationResult, any as anySchema, array, boolean, createGuard, createParser, date, email, intersection, is, literal, nullable, number, object, optional, parse, parseJson, record, safeParse, string, tuple, union, unknown as unknownSchema, url, uuid, validate };
|
|
@@ -0,0 +1,410 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
var chunkOPVES6W2_js = require('../chunk-OPVES6W2.js');
|
|
4
|
+
require('../chunk-PZ5AY32C.js');
|
|
5
|
+
|
|
6
|
+
// src/schema/base.ts
|
|
7
|
+
function createSchema(tag, validate2) {
|
|
8
|
+
const schema = {
|
|
9
|
+
_type: void 0,
|
|
10
|
+
_tag: tag,
|
|
11
|
+
_validate: validate2,
|
|
12
|
+
parse(value) {
|
|
13
|
+
const result = this._validate(value, []);
|
|
14
|
+
if (result.ok) {
|
|
15
|
+
return result.value;
|
|
16
|
+
}
|
|
17
|
+
const errors = result.error;
|
|
18
|
+
const message = errors.map(
|
|
19
|
+
(e) => e.path.length > 0 ? `${e.path.join(".")}: ${e.message}` : e.message
|
|
20
|
+
).join("; ");
|
|
21
|
+
throw new TypeError(`Validation failed: ${message}`);
|
|
22
|
+
},
|
|
23
|
+
safeParse(value) {
|
|
24
|
+
return this._validate(value, []);
|
|
25
|
+
},
|
|
26
|
+
is(value) {
|
|
27
|
+
return this._validate(value, []).ok;
|
|
28
|
+
},
|
|
29
|
+
optional() {
|
|
30
|
+
return createSchema(
|
|
31
|
+
`${tag} | undefined`,
|
|
32
|
+
(value, path) => {
|
|
33
|
+
if (value === void 0) {
|
|
34
|
+
return chunkOPVES6W2_js.ok(void 0);
|
|
35
|
+
}
|
|
36
|
+
return validate2(value, path);
|
|
37
|
+
}
|
|
38
|
+
);
|
|
39
|
+
},
|
|
40
|
+
nullable() {
|
|
41
|
+
return createSchema(
|
|
42
|
+
`${tag} | null`,
|
|
43
|
+
(value, path) => {
|
|
44
|
+
if (value === null) {
|
|
45
|
+
return chunkOPVES6W2_js.ok(null);
|
|
46
|
+
}
|
|
47
|
+
return validate2(value, path);
|
|
48
|
+
}
|
|
49
|
+
);
|
|
50
|
+
},
|
|
51
|
+
default(defaultValue) {
|
|
52
|
+
return createSchema(
|
|
53
|
+
tag,
|
|
54
|
+
(value, path) => {
|
|
55
|
+
if (value === void 0) {
|
|
56
|
+
return chunkOPVES6W2_js.ok(defaultValue);
|
|
57
|
+
}
|
|
58
|
+
return validate2(value, path);
|
|
59
|
+
}
|
|
60
|
+
);
|
|
61
|
+
},
|
|
62
|
+
transform(fn) {
|
|
63
|
+
return createSchema(
|
|
64
|
+
`transform(${tag})`,
|
|
65
|
+
(value, path) => {
|
|
66
|
+
const result = validate2(value, path);
|
|
67
|
+
if (!result.ok) {
|
|
68
|
+
return result;
|
|
69
|
+
}
|
|
70
|
+
try {
|
|
71
|
+
return chunkOPVES6W2_js.ok(fn(result.value));
|
|
72
|
+
} catch (e) {
|
|
73
|
+
return chunkOPVES6W2_js.err([{
|
|
74
|
+
path,
|
|
75
|
+
message: e instanceof Error ? e.message : "Transform failed",
|
|
76
|
+
expected: "valid transformation",
|
|
77
|
+
received: String(value)
|
|
78
|
+
}]);
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
);
|
|
82
|
+
},
|
|
83
|
+
refine(predicate, message = "Refinement failed") {
|
|
84
|
+
return createSchema(
|
|
85
|
+
`refine(${tag})`,
|
|
86
|
+
(value, path) => {
|
|
87
|
+
const result = validate2(value, path);
|
|
88
|
+
if (!result.ok) {
|
|
89
|
+
return result;
|
|
90
|
+
}
|
|
91
|
+
if (!predicate(result.value)) {
|
|
92
|
+
return chunkOPVES6W2_js.err([{
|
|
93
|
+
path,
|
|
94
|
+
message,
|
|
95
|
+
expected: "value passing refinement",
|
|
96
|
+
received: String(value)
|
|
97
|
+
}]);
|
|
98
|
+
}
|
|
99
|
+
return result;
|
|
100
|
+
}
|
|
101
|
+
);
|
|
102
|
+
}
|
|
103
|
+
};
|
|
104
|
+
return schema;
|
|
105
|
+
}
|
|
106
|
+
function validationError(path, message, expected, received) {
|
|
107
|
+
return {
|
|
108
|
+
path,
|
|
109
|
+
message,
|
|
110
|
+
expected,
|
|
111
|
+
received: typeof received === "object" ? JSON.stringify(received)?.slice(0, 50) ?? "object" : String(received)
|
|
112
|
+
};
|
|
113
|
+
}
|
|
114
|
+
|
|
115
|
+
// src/schema/schemas.ts
|
|
116
|
+
function string() {
|
|
117
|
+
return createSchema("string", (value, path) => {
|
|
118
|
+
if (typeof value === "string") {
|
|
119
|
+
return chunkOPVES6W2_js.ok(value);
|
|
120
|
+
}
|
|
121
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected string", "string", value)]);
|
|
122
|
+
});
|
|
123
|
+
}
|
|
124
|
+
function number() {
|
|
125
|
+
return createSchema("number", (value, path) => {
|
|
126
|
+
if (typeof value === "number" && !Number.isNaN(value)) {
|
|
127
|
+
return chunkOPVES6W2_js.ok(value);
|
|
128
|
+
}
|
|
129
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected number", "number", value)]);
|
|
130
|
+
});
|
|
131
|
+
}
|
|
132
|
+
function boolean() {
|
|
133
|
+
return createSchema("boolean", (value, path) => {
|
|
134
|
+
if (typeof value === "boolean") {
|
|
135
|
+
return chunkOPVES6W2_js.ok(value);
|
|
136
|
+
}
|
|
137
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected boolean", "boolean", value)]);
|
|
138
|
+
});
|
|
139
|
+
}
|
|
140
|
+
function literal(expected) {
|
|
141
|
+
return createSchema(`literal(${JSON.stringify(expected)})`, (value, path) => {
|
|
142
|
+
if (value === expected) {
|
|
143
|
+
return chunkOPVES6W2_js.ok(expected);
|
|
144
|
+
}
|
|
145
|
+
return chunkOPVES6W2_js.err([validationError(path, `Expected ${JSON.stringify(expected)}`, String(expected), value)]);
|
|
146
|
+
});
|
|
147
|
+
}
|
|
148
|
+
function array(itemSchema) {
|
|
149
|
+
const impl = itemSchema;
|
|
150
|
+
return createSchema(`array(${impl._tag})`, (value, path) => {
|
|
151
|
+
if (!Array.isArray(value)) {
|
|
152
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected array", "array", value)]);
|
|
153
|
+
}
|
|
154
|
+
const results = [];
|
|
155
|
+
const errors = [];
|
|
156
|
+
for (let i = 0; i < value.length; i++) {
|
|
157
|
+
const result = impl._validate(value[i], [...path, i]);
|
|
158
|
+
if (result.ok) {
|
|
159
|
+
results.push(result.value);
|
|
160
|
+
} else {
|
|
161
|
+
errors.push(...result.error);
|
|
162
|
+
}
|
|
163
|
+
}
|
|
164
|
+
if (errors.length > 0) {
|
|
165
|
+
return chunkOPVES6W2_js.err(errors);
|
|
166
|
+
}
|
|
167
|
+
return chunkOPVES6W2_js.ok(results);
|
|
168
|
+
});
|
|
169
|
+
}
|
|
170
|
+
function object(shape) {
|
|
171
|
+
const shapeEntries = Object.entries(shape);
|
|
172
|
+
const tag = `object({ ${shapeEntries.map(([k, v]) => `${k}: ${v._tag}`).join(", ")} })`;
|
|
173
|
+
return createSchema(tag, (value, path) => {
|
|
174
|
+
if (typeof value !== "object" || value === null || Array.isArray(value)) {
|
|
175
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected object", "object", value)]);
|
|
176
|
+
}
|
|
177
|
+
const obj = value;
|
|
178
|
+
const result = {};
|
|
179
|
+
const errors = [];
|
|
180
|
+
for (const [key, schema] of shapeEntries) {
|
|
181
|
+
const fieldResult = schema._validate(obj[key], [...path, key]);
|
|
182
|
+
if (fieldResult.ok) {
|
|
183
|
+
result[key] = fieldResult.value;
|
|
184
|
+
} else {
|
|
185
|
+
errors.push(...fieldResult.error);
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
if (errors.length > 0) {
|
|
189
|
+
return chunkOPVES6W2_js.err(errors);
|
|
190
|
+
}
|
|
191
|
+
return chunkOPVES6W2_js.ok(result);
|
|
192
|
+
});
|
|
193
|
+
}
|
|
194
|
+
function optional(schema) {
|
|
195
|
+
return schema.optional();
|
|
196
|
+
}
|
|
197
|
+
function nullable(schema) {
|
|
198
|
+
return schema.nullable();
|
|
199
|
+
}
|
|
200
|
+
function union(schemas) {
|
|
201
|
+
const impls = schemas;
|
|
202
|
+
const tag = `union(${impls.map((s) => s._tag).join(" | ")})`;
|
|
203
|
+
return createSchema(tag, (value, path) => {
|
|
204
|
+
for (const schema of impls) {
|
|
205
|
+
const result = schema._validate(value, path);
|
|
206
|
+
if (result.ok) {
|
|
207
|
+
return chunkOPVES6W2_js.ok(result.value);
|
|
208
|
+
}
|
|
209
|
+
}
|
|
210
|
+
return chunkOPVES6W2_js.err([validationError(
|
|
211
|
+
path,
|
|
212
|
+
`Expected one of: ${impls.map((s) => s._tag).join(", ")}`,
|
|
213
|
+
tag,
|
|
214
|
+
value
|
|
215
|
+
)]);
|
|
216
|
+
});
|
|
217
|
+
}
|
|
218
|
+
function intersection(schemaA, schemaB) {
|
|
219
|
+
const implA = schemaA;
|
|
220
|
+
const implB = schemaB;
|
|
221
|
+
const tag = `intersection(${implA._tag} & ${implB._tag})`;
|
|
222
|
+
return createSchema(tag, (value, path) => {
|
|
223
|
+
const resultA = implA._validate(value, path);
|
|
224
|
+
if (!resultA.ok) {
|
|
225
|
+
return resultA;
|
|
226
|
+
}
|
|
227
|
+
const resultB = implB._validate(value, path);
|
|
228
|
+
if (!resultB.ok) {
|
|
229
|
+
return resultB;
|
|
230
|
+
}
|
|
231
|
+
return chunkOPVES6W2_js.ok({ ...resultA.value, ...resultB.value });
|
|
232
|
+
});
|
|
233
|
+
}
|
|
234
|
+
function record(valueSchema) {
|
|
235
|
+
const impl = valueSchema;
|
|
236
|
+
const tag = `record(${impl._tag})`;
|
|
237
|
+
return createSchema(tag, (value, path) => {
|
|
238
|
+
if (typeof value !== "object" || value === null || Array.isArray(value)) {
|
|
239
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected object", "object", value)]);
|
|
240
|
+
}
|
|
241
|
+
const obj = value;
|
|
242
|
+
const result = {};
|
|
243
|
+
const errors = [];
|
|
244
|
+
for (const [key, val] of Object.entries(obj)) {
|
|
245
|
+
const fieldResult = impl._validate(val, [...path, key]);
|
|
246
|
+
if (fieldResult.ok) {
|
|
247
|
+
result[key] = fieldResult.value;
|
|
248
|
+
} else {
|
|
249
|
+
errors.push(...fieldResult.error);
|
|
250
|
+
}
|
|
251
|
+
}
|
|
252
|
+
if (errors.length > 0) {
|
|
253
|
+
return chunkOPVES6W2_js.err(errors);
|
|
254
|
+
}
|
|
255
|
+
return chunkOPVES6W2_js.ok(result);
|
|
256
|
+
});
|
|
257
|
+
}
|
|
258
|
+
function tuple(schemas) {
|
|
259
|
+
const impls = schemas;
|
|
260
|
+
const tag = `tuple([${impls.map((s) => s._tag).join(", ")}])`;
|
|
261
|
+
return createSchema(tag, (value, path) => {
|
|
262
|
+
if (!Array.isArray(value)) {
|
|
263
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected array", "array", value)]);
|
|
264
|
+
}
|
|
265
|
+
if (value.length !== impls.length) {
|
|
266
|
+
return chunkOPVES6W2_js.err([validationError(
|
|
267
|
+
path,
|
|
268
|
+
`Expected tuple of length ${impls.length}`,
|
|
269
|
+
`[${impls.map((s) => s._tag).join(", ")}]`,
|
|
270
|
+
value
|
|
271
|
+
)]);
|
|
272
|
+
}
|
|
273
|
+
const results = [];
|
|
274
|
+
const errors = [];
|
|
275
|
+
for (let i = 0; i < impls.length; i++) {
|
|
276
|
+
const result = impls[i]._validate(value[i], [...path, i]);
|
|
277
|
+
if (result.ok) {
|
|
278
|
+
results.push(result.value);
|
|
279
|
+
} else {
|
|
280
|
+
errors.push(...result.error);
|
|
281
|
+
}
|
|
282
|
+
}
|
|
283
|
+
if (errors.length > 0) {
|
|
284
|
+
return chunkOPVES6W2_js.err(errors);
|
|
285
|
+
}
|
|
286
|
+
return chunkOPVES6W2_js.ok(results);
|
|
287
|
+
});
|
|
288
|
+
}
|
|
289
|
+
function unknown() {
|
|
290
|
+
return createSchema("unknown", (value) => chunkOPVES6W2_js.ok(value));
|
|
291
|
+
}
|
|
292
|
+
function any() {
|
|
293
|
+
return createSchema("any", (value) => chunkOPVES6W2_js.ok(value));
|
|
294
|
+
}
|
|
295
|
+
function date() {
|
|
296
|
+
return createSchema("date", (value, path) => {
|
|
297
|
+
if (value instanceof Date && !Number.isNaN(value.getTime())) {
|
|
298
|
+
return chunkOPVES6W2_js.ok(value);
|
|
299
|
+
}
|
|
300
|
+
if (typeof value === "string") {
|
|
301
|
+
const parsed = new Date(value);
|
|
302
|
+
if (!Number.isNaN(parsed.getTime())) {
|
|
303
|
+
return chunkOPVES6W2_js.ok(parsed);
|
|
304
|
+
}
|
|
305
|
+
}
|
|
306
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected valid date", "Date", value)]);
|
|
307
|
+
});
|
|
308
|
+
}
|
|
309
|
+
function email() {
|
|
310
|
+
const emailRegex = /^[^\s@]+@[^\s@]+\.[^\s@]+$/;
|
|
311
|
+
return createSchema("email", (value, path) => {
|
|
312
|
+
if (typeof value !== "string") {
|
|
313
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected string", "string", value)]);
|
|
314
|
+
}
|
|
315
|
+
if (!emailRegex.test(value)) {
|
|
316
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected valid email", "email", value)]);
|
|
317
|
+
}
|
|
318
|
+
return chunkOPVES6W2_js.ok(value);
|
|
319
|
+
});
|
|
320
|
+
}
|
|
321
|
+
function url() {
|
|
322
|
+
return createSchema("url", (value, path) => {
|
|
323
|
+
if (typeof value !== "string") {
|
|
324
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected string", "string", value)]);
|
|
325
|
+
}
|
|
326
|
+
try {
|
|
327
|
+
new URL(value);
|
|
328
|
+
return chunkOPVES6W2_js.ok(value);
|
|
329
|
+
} catch {
|
|
330
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected valid URL", "url", value)]);
|
|
331
|
+
}
|
|
332
|
+
});
|
|
333
|
+
}
|
|
334
|
+
function uuid() {
|
|
335
|
+
const uuidRegex = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
|
|
336
|
+
return createSchema("uuid", (value, path) => {
|
|
337
|
+
if (typeof value !== "string") {
|
|
338
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected string", "string", value)]);
|
|
339
|
+
}
|
|
340
|
+
if (!uuidRegex.test(value)) {
|
|
341
|
+
return chunkOPVES6W2_js.err([validationError(path, "Expected valid UUID", "uuid", value)]);
|
|
342
|
+
}
|
|
343
|
+
return chunkOPVES6W2_js.ok(value);
|
|
344
|
+
});
|
|
345
|
+
}
|
|
346
|
+
|
|
347
|
+
// src/schema/parse.ts
|
|
348
|
+
function parse(schema, value) {
|
|
349
|
+
return schema.parse(value);
|
|
350
|
+
}
|
|
351
|
+
function safeParse(schema, value) {
|
|
352
|
+
return schema.safeParse(value);
|
|
353
|
+
}
|
|
354
|
+
function validate(schema, value) {
|
|
355
|
+
const result = schema.safeParse(value);
|
|
356
|
+
return result.ok ? [] : result.error;
|
|
357
|
+
}
|
|
358
|
+
function is(schema, value) {
|
|
359
|
+
return schema.is(value);
|
|
360
|
+
}
|
|
361
|
+
function parseJson(schema, json) {
|
|
362
|
+
try {
|
|
363
|
+
const parsed = JSON.parse(json);
|
|
364
|
+
return safeParse(schema, parsed);
|
|
365
|
+
} catch (e) {
|
|
366
|
+
return {
|
|
367
|
+
ok: false,
|
|
368
|
+
error: [{
|
|
369
|
+
path: [],
|
|
370
|
+
message: e instanceof Error ? e.message : "Invalid JSON",
|
|
371
|
+
expected: "valid JSON",
|
|
372
|
+
received: json.slice(0, 50)
|
|
373
|
+
}]
|
|
374
|
+
};
|
|
375
|
+
}
|
|
376
|
+
}
|
|
377
|
+
function createGuard(schema) {
|
|
378
|
+
return (value) => schema.is(value);
|
|
379
|
+
}
|
|
380
|
+
function createParser(schema) {
|
|
381
|
+
return (value) => parse(schema, value);
|
|
382
|
+
}
|
|
383
|
+
|
|
384
|
+
exports.anySchema = any;
|
|
385
|
+
exports.array = array;
|
|
386
|
+
exports.boolean = boolean;
|
|
387
|
+
exports.createGuard = createGuard;
|
|
388
|
+
exports.createParser = createParser;
|
|
389
|
+
exports.date = date;
|
|
390
|
+
exports.email = email;
|
|
391
|
+
exports.intersection = intersection;
|
|
392
|
+
exports.is = is;
|
|
393
|
+
exports.literal = literal;
|
|
394
|
+
exports.nullable = nullable;
|
|
395
|
+
exports.number = number;
|
|
396
|
+
exports.object = object;
|
|
397
|
+
exports.optional = optional;
|
|
398
|
+
exports.parse = parse;
|
|
399
|
+
exports.parseJson = parseJson;
|
|
400
|
+
exports.record = record;
|
|
401
|
+
exports.safeParse = safeParse;
|
|
402
|
+
exports.string = string;
|
|
403
|
+
exports.tuple = tuple;
|
|
404
|
+
exports.union = union;
|
|
405
|
+
exports.unknownSchema = unknown;
|
|
406
|
+
exports.url = url;
|
|
407
|
+
exports.uuid = uuid;
|
|
408
|
+
exports.validate = validate;
|
|
409
|
+
//# sourceMappingURL=index.js.map
|
|
410
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/schema/base.ts","../../src/schema/schemas.ts","../../src/schema/parse.ts"],"names":["validate","ok","err"],"mappings":";;;;;;AAQO,SAAS,YAAA,CACd,KACAA,SAAAA,EACe;AACf,EAAA,MAAM,MAAA,GAAwB;AAAA,IAC5B,KAAA,EAAO,MAAA;AAAA,IACP,IAAA,EAAM,GAAA;AAAA,IAEN,SAAA,EAAWA,SAAAA;AAAA,IAEX,MAAM,KAAA,EAAmB;AACvB,MAAA,MAAM,MAAA,GAAS,IAAA,CAAK,SAAA,CAAU,KAAA,EAAO,EAAE,CAAA;AACvC,MAAA,IAAI,OAAO,EAAA,EAAI;AACb,QAAA,OAAO,MAAA,CAAO,KAAA;AAAA,MAChB;AACA,MAAA,MAAM,SAAS,MAAA,CAAO,KAAA;AACtB,MAAA,MAAM,UAAU,MAAA,CAAO,GAAA;AAAA,QAAI,CAAA,CAAA,KACzB,CAAA,CAAE,IAAA,CAAK,MAAA,GAAS,IACZ,CAAA,EAAG,CAAA,CAAE,IAAA,CAAK,IAAA,CAAK,GAAG,CAAC,CAAA,EAAA,EAAK,CAAA,CAAE,OAAO,KACjC,CAAA,CAAE;AAAA,OACR,CAAE,KAAK,IAAI,CAAA;AACX,MAAA,MAAM,IAAI,SAAA,CAAU,CAAA,mBAAA,EAAsB,OAAO,CAAA,CAAE,CAAA;AAAA,IACrD,CAAA;AAAA,IAEA,UAAU,KAAA,EAAqC;AAC7C,MAAA,OAAO,IAAA,CAAK,SAAA,CAAU,KAAA,EAAO,EAAE,CAAA;AAAA,IACjC,CAAA;AAAA,IAEA,GAAG,KAAA,EAA4B;AAC7B,MAAA,OAAO,IAAA,CAAK,SAAA,CAAU,KAAA,EAAO,EAAE,CAAA,CAAE,EAAA;AAAA,IACnC,CAAA;AAAA,IAEA,QAAA,GAAkC;AAChC,MAAA,OAAO,YAAA;AAAA,QACL,GAAG,GAAG,CAAA,YAAA,CAAA;AAAA,QACN,CAAC,OAAO,IAAA,KAAS;AACf,UAAA,IAAI,UAAU,MAAA,EAAW;AACvB,YAAA,OAAOC,oBAAG,MAAS,CAAA;AAAA,UACrB;AACA,UAAA,OAAOD,SAAAA,CAAS,OAAO,IAAI,CAAA;AAAA,QAC7B;AAAA,OACF;AAAA,IACF,CAAA;AAAA,IAEA,QAAA,GAA6B;AAC3B,MAAA,OAAO,YAAA;AAAA,QACL,GAAG,GAAG,CAAA,OAAA,CAAA;AAAA,QACN,CAAC,OAAO,IAAA,KAAS;AACf,UAAA,IAAI,UAAU,IAAA,EAAM;AAClB,YAAA,OAAOC,oBAAG,IAAI,CAAA;AAAA,UAChB;AACA,UAAA,OAAOD,SAAAA,CAAS,OAAO,IAAI,CAAA;AAAA,QAC7B;AAAA,OACF;AAAA,IACF,CAAA;AAAA,IAEA,QAAQ,YAAA,EAA4B;AAClC,MAAA,OAAO,YAAA;AAAA,QACL,GAAA;AAAA,QACA,CAAC,OAAO,IAAA,KAAS;AACf,UAAA,IAAI,UAAU,MAAA,EAAW;AACvB,YAAA,OAAOC,oBAAG,YAAY,CAAA;AAAA,UACxB;AACA,UAAA,OAAOD,SAAAA,CAAS,OAAO,IAAI,CAAA;AAAA,QAC7B;AAAA,OACF;AAAA,IACF,CAAA;AAAA,IAEA,UAAa,EAAA,EAAgC;AAC3C,MAAA,OAAO,YAAA;AAAA,QACL,aAAa,GAAG,CAAA,CAAA,CAAA;AAAA,QAChB,CAAC,OAAO,IAAA,KAAS;AACf,UAAA,MAAM,MAAA,GAASA,SAAAA,CAAS,KAAA,EAAO,IAAI,CAAA;AACnC,UAAA,IAAI,CAAC,OAAO,EAAA,EAAI;AACd,YAAA,OAAO,MAAA;AAAA,UACT;AACA,UAAA,IAAI;AACF,YAAA,OAAOC,mBAAA,CAAG,EAAA,CAAG,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,UAC5B,SAAS,CAAA,EAAG;AACV,YAAA,OAAOC,qBAAI,CAAC;AAAA,cACV,IAAA;AAAA,cACA,OAAA,EAAS,CAAA,YAAa,KAAA,GAAQ,CAAA,CAAE,OAAA,GAAU,kBAAA;AAAA,cAC1C,QAAA,EAAU,sBAAA;AAAA,cACV,QAAA,EAAU,OAAO,KAAK;AAAA,aACvB,CAAC,CAAA;AAAA,UACJ;AAAA,QACF;AAAA,OACF;AAAA,IACF,CAAA;AAAA,IAEA,MAAA,CAAO,SAAA,EAAkC,OAAA,GAAU,mBAAA,EAAgC;AACjF,MAAA,OAAO,YAAA;AAAA,QACL,UAAU,GAAG,CAAA,CAAA,CAAA;AAAA,QACb,CAAC,OAAO,IAAA,KAAS;AACf,UAAA,MAAM,MAAA,GAASF,SAAAA,CAAS,KAAA,EAAO,IAAI,CAAA;AACnC,UAAA,IAAI,CAAC,OAAO,EAAA,EAAI;AACd,YAAA,OAAO,MAAA;AAAA,UACT;AACA,UAAA,IAAI,CAAC,SAAA,CAAU,MAAA,CAAO,KAAK,CAAA,EAAG;AAC5B,YAAA,OAAOE,qBAAI,CAAC;AAAA,cACV,IAAA;AAAA,cACA,OAAA;AAAA,cACA,QAAA,EAAU,0BAAA;AAAA,cACV,QAAA,EAAU,OAAO,KAAK;AAAA,aACvB,CAAC,CAAA;AAAA,UACJ;AACA,UAAA,OAAO,MAAA;AAAA,QACT;AAAA,OACF;AAAA,IACF;AAAA,GACF;AAEA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,QAAA,EACA,QAAA,EACiB;AACjB,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,OAAA;AAAA,IACA,QAAA;AAAA,IACA,QAAA,EAAU,OAAO,QAAA,KAAa,QAAA,GAC1B,KAAK,SAAA,CAAU,QAAQ,CAAA,EAAG,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,IAAK,QAAA,GAC1C,OAAO,QAAQ;AAAA,GACrB;AACF;;;AC7HO,SAAS,MAAA,GAAyB;AACvC,EAAA,OAAO,YAAA,CAAqB,QAAA,EAAU,CAAC,KAAA,EAAO,IAAA,KAAS;AACrD,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,IACjB;AACA,IAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,EACxE,CAAC,CAAA;AACH;AAKO,SAAS,MAAA,GAAyB;AACvC,EAAA,OAAO,YAAA,CAAqB,QAAA,EAAU,CAAC,KAAA,EAAO,IAAA,KAAS;AACrD,IAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,MAAA,CAAO,KAAA,CAAM,KAAK,CAAA,EAAG;AACrD,MAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,IACjB;AACA,IAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,EACxE,CAAC,CAAA;AACH;AAKO,SAAS,OAAA,GAA2B;AACzC,EAAA,OAAO,YAAA,CAAsB,SAAA,EAAW,CAAC,KAAA,EAAO,IAAA,KAAS;AACvD,IAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,MAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,IACjB;AACA,IAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,oBAAoB,SAAA,EAAW,KAAK,CAAC,CAAC,CAAA;AAAA,EAC1E,CAAC,CAAA;AACH;AAKO,SAAS,QAA6C,QAAA,EAAwB;AACnF,EAAA,OAAO,YAAA,CAAgB,WAAW,IAAA,CAAK,SAAA,CAAU,QAAQ,CAAC,CAAA,CAAA,CAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAC9E,IAAA,IAAI,UAAU,QAAA,EAAU;AACtB,MAAA,OAAOD,oBAAG,QAAQ,CAAA;AAAA,IACpB;AACA,IAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,YAAY,IAAA,CAAK,SAAA,CAAU,QAAQ,CAAC,IAAI,MAAA,CAAO,QAAQ,CAAA,EAAG,KAAK,CAAC,CAAC,CAAA;AAAA,EACrG,CAAC,CAAA;AACH;AAKO,SAAS,MAAS,UAAA,EAAoC;AAC3D,EAAA,MAAM,IAAA,GAAO,UAAA;AACb,EAAA,OAAO,aAAkB,CAAA,MAAA,EAAS,IAAA,CAAK,IAAI,CAAA,CAAA,CAAA,EAAK,CAAC,OAAO,IAAA,KAAS;AAC/D,IAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,MAAA,OAAOA,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,kBAAkB,OAAA,EAAS,KAAK,CAAC,CAAC,CAAA;AAAA,IACtE;AAEA,IAAA,MAAM,UAAe,EAAC;AACtB,IAAA,MAAM,SAAoG,EAAC;AAE3G,IAAA,KAAA,IAAS,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,KAAA,CAAM,QAAQ,CAAA,EAAA,EAAK;AACrC,MAAA,MAAM,MAAA,GAAS,IAAA,CAAK,SAAA,CAAU,KAAA,CAAM,CAAC,GAAG,CAAC,GAAG,IAAA,EAAM,CAAC,CAAC,CAAA;AACpD,MAAA,IAAI,OAAO,EAAA,EAAI;AACb,QAAA,OAAA,CAAQ,IAAA,CAAK,OAAO,KAAK,CAAA;AAAA,MAC3B,CAAA,MAAO;AACL,QAAA,MAAA,CAAO,IAAA,CAAK,GAAG,MAAA,CAAO,KAAK,CAAA;AAAA,MAC7B;AAAA,IACF;AAEA,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAOA,qBAAI,MAAM,CAAA;AAAA,IACnB;AAEA,IAAA,OAAOD,oBAAG,OAAO,CAAA;AAAA,EACnB,CAAC,CAAA;AACH;AAKO,SAAS,OACd,KAAA,EACsE;AAGtE,EAAA,MAAM,YAAA,GAAe,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA;AACzC,EAAA,MAAM,MAAM,CAAA,SAAA,EAAY,YAAA,CAAa,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA,KAAM,CAAA,EAAG,CAAC,KAAK,CAAA,CAAE,IAAI,EAAE,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA,GAAA,CAAA;AAElF,EAAA,OAAO,YAAA,CAAqB,GAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAChD,IAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,MAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAEA,IAAA,MAAM,GAAA,GAAM,KAAA;AACZ,IAAA,MAAM,SAAkC,EAAC;AACzC,IAAA,MAAM,SAAoG,EAAC;AAE3G,IAAA,KAAA,MAAW,CAAC,GAAA,EAAK,MAAM,CAAA,IAAK,YAAA,EAAc;AACxC,MAAA,MAAM,WAAA,GAAc,MAAA,CAAO,SAAA,CAAU,GAAA,CAAI,GAAG,GAAG,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAC7D,MAAA,IAAI,YAAY,EAAA,EAAI;AAClB,QAAA,MAAA,CAAO,GAAG,IAAI,WAAA,CAAY,KAAA;AAAA,MAC5B,CAAA,MAAO;AACL,QAAA,MAAA,CAAO,IAAA,CAAK,GAAG,WAAA,CAAY,KAAK,CAAA;AAAA,MAClC;AAAA,IACF;AAEA,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAOA,qBAAI,MAAM,CAAA;AAAA,IACnB;AAEA,IAAA,OAAOD,oBAAG,MAAgB,CAAA;AAAA,EAC5B,CAAC,CAAA;AACH;AAKO,SAAS,SAAY,MAAA,EAA0C;AACpE,EAAA,OAAQ,OAAyB,QAAA,EAAS;AAC5C;AAKO,SAAS,SAAY,MAAA,EAAqC;AAC/D,EAAA,OAAQ,OAAyB,QAAA,EAAS;AAC5C;AAKO,SAAS,MACd,OAAA,EACuD;AAGvD,EAAA,MAAM,KAAA,GAAQ,OAAA;AACd,EAAA,MAAM,GAAA,GAAM,CAAA,MAAA,EAAS,KAAA,CAAM,GAAA,CAAI,CAAA,CAAA,KAAK,EAAE,IAAI,CAAA,CAAE,IAAA,CAAK,KAAK,CAAC,CAAA,CAAA,CAAA;AAEvD,EAAA,OAAO,YAAA,CAAqB,GAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAChD,IAAA,KAAA,MAAW,UAAU,KAAA,EAAO;AAC1B,MAAA,MAAM,MAAA,GAAS,MAAA,CAAO,SAAA,CAAU,KAAA,EAAO,IAAI,CAAA;AAC3C,MAAA,IAAI,OAAO,EAAA,EAAI;AACb,QAAA,OAAOA,mBAAA,CAAG,OAAO,KAAe,CAAA;AAAA,MAClC;AAAA,IACF;AAEA,IAAA,OAAOC,qBAAI,CAAC,eAAA;AAAA,MACV,IAAA;AAAA,MACA,CAAA,iBAAA,EAAoB,MAAM,GAAA,CAAI,CAAA,CAAA,KAAK,EAAE,IAAI,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA;AAAA,MACrD,GAAA;AAAA,MACA;AAAA,KACD,CAAC,CAAA;AAAA,EACJ,CAAC,CAAA;AACH;AAKO,SAAS,YAAA,CACd,SACA,OAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,OAAA;AACd,EAAA,MAAM,KAAA,GAAQ,OAAA;AACd,EAAA,MAAM,MAAM,CAAA,aAAA,EAAgB,KAAA,CAAM,IAAI,CAAA,GAAA,EAAM,MAAM,IAAI,CAAA,CAAA,CAAA;AAEtD,EAAA,OAAO,YAAA,CAAoB,GAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAC/C,IAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,CAAU,KAAA,EAAO,IAAI,CAAA;AAC3C,IAAA,IAAI,CAAC,QAAQ,EAAA,EAAI;AACf,MAAA,OAAO,OAAA;AAAA,IACT;AAEA,IAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,CAAU,KAAA,EAAO,IAAI,CAAA;AAC3C,IAAA,IAAI,CAAC,QAAQ,EAAA,EAAI;AACf,MAAA,OAAO,OAAA;AAAA,IACT;AAEA,IAAA,OAAOD,mBAAA,CAAG,EAAE,GAAG,OAAA,CAAQ,OAAO,GAAG,OAAA,CAAQ,OAAgB,CAAA;AAAA,EAC3D,CAAC,CAAA;AACH;AAKO,SAAS,OAAU,WAAA,EAAmD;AAC3E,EAAA,MAAM,IAAA,GAAO,WAAA;AACb,EAAA,MAAM,GAAA,GAAM,CAAA,OAAA,EAAU,IAAA,CAAK,IAAI,CAAA,CAAA,CAAA;AAE/B,EAAA,OAAO,YAAA,CAAgC,GAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAC3D,IAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,MAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAEA,IAAA,MAAM,GAAA,GAAM,KAAA;AACZ,IAAA,MAAM,SAA4B,EAAC;AACnC,IAAA,MAAM,SAAoG,EAAC;AAE3G,IAAA,KAAA,MAAW,CAAC,GAAA,EAAK,GAAG,KAAK,MAAA,CAAO,OAAA,CAAQ,GAAG,CAAA,EAAG;AAC5C,MAAA,MAAM,WAAA,GAAc,KAAK,SAAA,CAAU,GAAA,EAAK,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AACtD,MAAA,IAAI,YAAY,EAAA,EAAI;AAClB,QAAA,MAAA,CAAO,GAAG,IAAI,WAAA,CAAY,KAAA;AAAA,MAC5B,CAAA,MAAO;AACL,QAAA,MAAA,CAAO,IAAA,CAAK,GAAG,WAAA,CAAY,KAAK,CAAA;AAAA,MAClC;AAAA,IACF;AAEA,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAOA,qBAAI,MAAM,CAAA;AAAA,IACnB;AAEA,IAAA,OAAOD,oBAAG,MAAM,CAAA;AAAA,EAClB,CAAC,CAAA;AACH;AAKO,SAAS,MACd,OAAA,EACsE;AAGtE,EAAA,MAAM,KAAA,GAAQ,OAAA;AACd,EAAA,MAAM,GAAA,GAAM,CAAA,OAAA,EAAU,KAAA,CAAM,GAAA,CAAI,CAAA,CAAA,KAAK,EAAE,IAAI,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA,EAAA,CAAA;AAEvD,EAAA,OAAO,YAAA,CAAqB,GAAA,EAAK,CAAC,KAAA,EAAO,IAAA,KAAS;AAChD,IAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,MAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,kBAAkB,OAAA,EAAS,KAAK,CAAC,CAAC,CAAA;AAAA,IACtE;AAEA,IAAA,IAAI,KAAA,CAAM,MAAA,KAAW,KAAA,CAAM,MAAA,EAAQ;AACjC,MAAA,OAAOA,qBAAI,CAAC,eAAA;AAAA,QACV,IAAA;AAAA,QACA,CAAA,yBAAA,EAA4B,MAAM,MAAM,CAAA,CAAA;AAAA,QACxC,CAAA,CAAA,EAAI,MAAM,GAAA,CAAI,CAAA,CAAA,KAAK,EAAE,IAAI,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACrC;AAAA,OACD,CAAC,CAAA;AAAA,IACJ;AAEA,IAAA,MAAM,UAAqB,EAAC;AAC5B,IAAA,MAAM,SAAoG,EAAC;AAE3G,IAAA,KAAA,IAAS,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,KAAA,CAAM,QAAQ,CAAA,EAAA,EAAK;AACrC,MAAA,MAAM,MAAA,GAAS,KAAA,CAAM,CAAC,CAAA,CAAG,SAAA,CAAU,KAAA,CAAM,CAAC,CAAA,EAAG,CAAC,GAAG,IAAA,EAAM,CAAC,CAAC,CAAA;AACzD,MAAA,IAAI,OAAO,EAAA,EAAI;AACb,QAAA,OAAA,CAAQ,IAAA,CAAK,OAAO,KAAK,CAAA;AAAA,MAC3B,CAAA,MAAO;AACL,QAAA,MAAA,CAAO,IAAA,CAAK,GAAG,MAAA,CAAO,KAAK,CAAA;AAAA,MAC7B;AAAA,IACF;AAEA,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAOA,qBAAI,MAAM,CAAA;AAAA,IACnB;AAEA,IAAA,OAAOD,oBAAG,OAA4B,CAAA;AAAA,EACxC,CAAC,CAAA;AACH;AAKO,SAAS,OAAA,GAA2B;AACzC,EAAA,OAAO,aAAsB,SAAA,EAAW,CAAC,KAAA,KAAUA,mBAAA,CAAG,KAAK,CAAC,CAAA;AAC9D;AAKO,SAAS,GAAA,GAAmB;AACjC,EAAA,OAAO,aAAkB,KAAA,EAAO,CAAC,KAAA,KAAUA,mBAAA,CAAG,KAAK,CAAC,CAAA;AACtD;AAKO,SAAS,IAAA,GAAqB;AACnC,EAAA,OAAO,YAAA,CAAmB,MAAA,EAAQ,CAAC,KAAA,EAAO,IAAA,KAAS;AACjD,IAAA,IAAI,KAAA,YAAiB,QAAQ,CAAC,MAAA,CAAO,MAAM,KAAA,CAAM,OAAA,EAAS,CAAA,EAAG;AAC3D,MAAA,OAAOA,oBAAG,KAAK,CAAA;AAAA,IACjB;AAEA,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,MAAM,MAAA,GAAS,IAAI,IAAA,CAAK,KAAK,CAAA;AAC7B,MAAA,IAAI,CAAC,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,OAAA,EAAS,CAAA,EAAG;AACnC,QAAA,OAAOA,oBAAG,MAAM,CAAA;AAAA,MAClB;AAAA,IACF;AAEA,IAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,uBAAuB,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,EAC1E,CAAC,CAAA;AACH;AAKO,SAAS,KAAA,GAAwB;AACtC,EAAA,MAAM,UAAA,GAAa,4BAAA;AAEnB,EAAA,OAAO,YAAA,CAAqB,OAAA,EAAS,CAAC,KAAA,EAAO,IAAA,KAAS;AACpD,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAOA,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAEA,IAAA,IAAI,CAAC,UAAA,CAAW,IAAA,CAAK,KAAK,CAAA,EAAG;AAC3B,MAAA,OAAOA,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,wBAAwB,OAAA,EAAS,KAAK,CAAC,CAAC,CAAA;AAAA,IAC5E;AAEA,IAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,EACjB,CAAC,CAAA;AACH;AAKO,SAAS,GAAA,GAAsB;AACpC,EAAA,OAAO,YAAA,CAAqB,KAAA,EAAO,CAAC,KAAA,EAAO,IAAA,KAAS;AAClD,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAEA,IAAA,IAAI;AACF,MAAA,IAAI,IAAI,KAAK,CAAA;AACb,MAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,IACjB,CAAA,CAAA,MAAQ;AACN,MAAA,OAAOC,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,sBAAsB,KAAA,EAAO,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAAA,EACF,CAAC,CAAA;AACH;AAKO,SAAS,IAAA,GAAuB;AACrC,EAAA,MAAM,SAAA,GAAY,4EAAA;AAElB,EAAA,OAAO,YAAA,CAAqB,MAAA,EAAQ,CAAC,KAAA,EAAO,IAAA,KAAS;AACnD,IAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,MAAA,OAAOA,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,mBAAmB,QAAA,EAAU,KAAK,CAAC,CAAC,CAAA;AAAA,IACxE;AAEA,IAAA,IAAI,CAAC,SAAA,CAAU,IAAA,CAAK,KAAK,CAAA,EAAG;AAC1B,MAAA,OAAOA,oBAAA,CAAI,CAAC,eAAA,CAAgB,IAAA,EAAM,uBAAuB,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,IAC1E;AAEA,IAAA,OAAOD,oBAAG,KAAK,CAAA;AAAA,EACjB,CAAC,CAAA;AACH;;;AClVO,SAAS,KAAA,CACd,QACA,KAAA,EACU;AACV,EAAA,OAAO,MAAA,CAAO,MAAM,KAAK,CAAA;AAC3B;AAaO,SAAS,SAAA,CACd,QACA,KAAA,EAC4B;AAC5B,EAAA,OAAO,MAAA,CAAO,UAAU,KAAK,CAAA;AAC/B;AAaO,SAAS,QAAA,CACd,QACA,KAAA,EAC2F;AAC3F,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,SAAA,CAAU,KAAK,CAAA;AACrC,EAAA,OAAO,MAAA,CAAO,EAAA,GAAK,EAAC,GAAI,MAAA,CAAO,KAAA;AACjC;AAWO,SAAS,EAAA,CACd,QACA,KAAA,EACmB;AACnB,EAAA,OAAO,MAAA,CAAO,GAAG,KAAK,CAAA;AACxB;AAiBO,SAAS,SAAA,CACd,QACA,IAAA,EAC4B;AAC5B,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,QAAQ,MAAM,CAAA;AAAA,EACjC,SAAS,CAAA,EAAG;AACV,IAAA,OAAO;AAAA,MACL,EAAA,EAAI,KAAA;AAAA,MACJ,OAAO,CAAC;AAAA,QACN,MAAM,EAAC;AAAA,QACP,OAAA,EAAS,CAAA,YAAa,KAAA,GAAQ,CAAA,CAAE,OAAA,GAAU,cAAA;AAAA,QAC1C,QAAA,EAAU,YAAA;AAAA,QACV,QAAA,EAAU,IAAA,CAAK,KAAA,CAAM,CAAA,EAAG,EAAE;AAAA,OAC3B;AAAA,KACH;AAAA,EACF;AACF;AAWO,SAAS,YACd,MAAA,EACuC;AACvC,EAAA,OAAO,CAAC,KAAA,KAAsC,MAAA,CAAO,EAAA,CAAG,KAAK,CAAA;AAC/D;AAWO,SAAS,aACd,MAAA,EAC8B;AAC9B,EAAA,OAAO,CAAC,KAAA,KAAmB,KAAA,CAAM,MAAA,EAAQ,KAAK,CAAA;AAChD","file":"index.js","sourcesContent":["/**\n * Base schema implementation\n */\n\nimport type { Schema, SchemaImpl, ValidationResult, ValidationError } from './types'\nimport { ok } from '../result/ok'\nimport { err } from '../result/err'\n\nexport function createSchema<T>(\n tag: string,\n validate: (value: unknown, path: (string | number)[]) => ValidationResult<T>\n): SchemaImpl<T> {\n const schema: SchemaImpl<T> = {\n _type: undefined as unknown as T,\n _tag: tag,\n \n _validate: validate,\n \n parse(value: unknown): T {\n const result = this._validate(value, [])\n if (result.ok) {\n return result.value\n }\n const errors = result.error\n const message = errors.map(e => \n e.path.length > 0 \n ? `${e.path.join('.')}: ${e.message}`\n : e.message\n ).join('; ')\n throw new TypeError(`Validation failed: ${message}`)\n },\n \n safeParse(value: unknown): ValidationResult<T> {\n return this._validate(value, [])\n },\n \n is(value: unknown): value is T {\n return this._validate(value, []).ok\n },\n \n optional(): Schema<T | undefined> {\n return createSchema<T | undefined>(\n `${tag} | undefined`,\n (value, path) => {\n if (value === undefined) {\n return ok(undefined)\n }\n return validate(value, path) as ValidationResult<T | undefined>\n }\n )\n },\n \n nullable(): Schema<T | null> {\n return createSchema<T | null>(\n `${tag} | null`,\n (value, path) => {\n if (value === null) {\n return ok(null)\n }\n return validate(value, path) as ValidationResult<T | null>\n }\n )\n },\n \n default(defaultValue: T): Schema<T> {\n return createSchema<T>(\n tag,\n (value, path) => {\n if (value === undefined) {\n return ok(defaultValue)\n }\n return validate(value, path)\n }\n )\n },\n \n transform<U>(fn: (value: T) => U): Schema<U> {\n return createSchema<U>(\n `transform(${tag})`,\n (value, path) => {\n const result = validate(value, path)\n if (!result.ok) {\n return result as ValidationResult<U>\n }\n try {\n return ok(fn(result.value))\n } catch (e) {\n return err([{\n path,\n message: e instanceof Error ? e.message : 'Transform failed',\n expected: 'valid transformation',\n received: String(value),\n }])\n }\n }\n )\n },\n \n refine(predicate: (value: T) => boolean, message = 'Refinement failed'): Schema<T> {\n return createSchema<T>(\n `refine(${tag})`,\n (value, path) => {\n const result = validate(value, path)\n if (!result.ok) {\n return result\n }\n if (!predicate(result.value)) {\n return err([{\n path,\n message,\n expected: 'value passing refinement',\n received: String(value),\n }])\n }\n return result\n }\n )\n },\n }\n \n return schema\n}\n\nexport function validationError(\n path: (string | number)[],\n message: string,\n expected: string,\n received: unknown\n): ValidationError {\n return {\n path,\n message,\n expected,\n received: typeof received === 'object' \n ? JSON.stringify(received)?.slice(0, 50) ?? 'object'\n : String(received),\n }\n}\n","/**\n * Schema definitions for common types\n */\n\nimport type { Schema, SchemaImpl, ValidationResult } from './types'\nimport { createSchema, validationError } from './base'\nimport { ok } from '../result/ok'\nimport { err } from '../result/err'\n\n/**\n * String schema\n */\nexport function string(): Schema<string> {\n return createSchema<string>('string', (value, path) => {\n if (typeof value === 'string') {\n return ok(value)\n }\n return err([validationError(path, 'Expected string', 'string', value)])\n })\n}\n\n/**\n * Number schema (excludes NaN)\n */\nexport function number(): Schema<number> {\n return createSchema<number>('number', (value, path) => {\n if (typeof value === 'number' && !Number.isNaN(value)) {\n return ok(value)\n }\n return err([validationError(path, 'Expected number', 'number', value)])\n })\n}\n\n/**\n * Boolean schema\n */\nexport function boolean(): Schema<boolean> {\n return createSchema<boolean>('boolean', (value, path) => {\n if (typeof value === 'boolean') {\n return ok(value)\n }\n return err([validationError(path, 'Expected boolean', 'boolean', value)])\n })\n}\n\n/**\n * Literal schema for exact values\n */\nexport function literal<T extends string | number | boolean>(expected: T): Schema<T> {\n return createSchema<T>(`literal(${JSON.stringify(expected)})`, (value, path) => {\n if (value === expected) {\n return ok(expected)\n }\n return err([validationError(path, `Expected ${JSON.stringify(expected)}`, String(expected), value)])\n })\n}\n\n/**\n * Array schema\n */\nexport function array<T>(itemSchema: Schema<T>): Schema<T[]> {\n const impl = itemSchema as SchemaImpl<T>\n return createSchema<T[]>(`array(${impl._tag})`, (value, path) => {\n if (!Array.isArray(value)) {\n return err([validationError(path, 'Expected array', 'array', value)])\n }\n \n const results: T[] = []\n const errors: Array<{ path: (string | number)[]; message: string; expected: string; received: string }> = []\n \n for (let i = 0; i < value.length; i++) {\n const result = impl._validate(value[i], [...path, i])\n if (result.ok) {\n results.push(result.value)\n } else {\n errors.push(...result.error)\n }\n }\n \n if (errors.length > 0) {\n return err(errors)\n }\n \n return ok(results)\n })\n}\n\n/**\n * Object schema with shape definition\n */\nexport function object<T extends Record<string, Schema<unknown>>>(\n shape: T\n): Schema<{ [K in keyof T]: T[K] extends Schema<infer U> ? U : never }> {\n type Output = { [K in keyof T]: T[K] extends Schema<infer U> ? U : never }\n \n const shapeEntries = Object.entries(shape) as [string, SchemaImpl<unknown>][]\n const tag = `object({ ${shapeEntries.map(([k, v]) => `${k}: ${v._tag}`).join(', ')} })`\n \n return createSchema<Output>(tag, (value, path) => {\n if (typeof value !== 'object' || value === null || Array.isArray(value)) {\n return err([validationError(path, 'Expected object', 'object', value)])\n }\n \n const obj = value as Record<string, unknown>\n const result: Record<string, unknown> = {}\n const errors: Array<{ path: (string | number)[]; message: string; expected: string; received: string }> = []\n \n for (const [key, schema] of shapeEntries) {\n const fieldResult = schema._validate(obj[key], [...path, key])\n if (fieldResult.ok) {\n result[key] = fieldResult.value\n } else {\n errors.push(...fieldResult.error)\n }\n }\n \n if (errors.length > 0) {\n return err(errors)\n }\n \n return ok(result as Output)\n })\n}\n\n/**\n * Optional schema wrapper\n */\nexport function optional<T>(schema: Schema<T>): Schema<T | undefined> {\n return (schema as SchemaImpl<T>).optional()\n}\n\n/**\n * Nullable schema wrapper\n */\nexport function nullable<T>(schema: Schema<T>): Schema<T | null> {\n return (schema as SchemaImpl<T>).nullable()\n}\n\n/**\n * Union schema (oneOf)\n */\nexport function union<T extends readonly Schema<unknown>[]>(\n schemas: T\n): Schema<T[number] extends Schema<infer U> ? U : never> {\n type Output = T[number] extends Schema<infer U> ? U : never\n \n const impls = schemas as unknown as readonly SchemaImpl<unknown>[]\n const tag = `union(${impls.map(s => s._tag).join(' | ')})`\n \n return createSchema<Output>(tag, (value, path) => {\n for (const schema of impls) {\n const result = schema._validate(value, path)\n if (result.ok) {\n return ok(result.value as Output)\n }\n }\n \n return err([validationError(\n path, \n `Expected one of: ${impls.map(s => s._tag).join(', ')}`,\n tag,\n value\n )])\n })\n}\n\n/**\n * Intersection schema (allOf)\n */\nexport function intersection<A, B>(\n schemaA: Schema<A>,\n schemaB: Schema<B>\n): Schema<A & B> {\n const implA = schemaA as SchemaImpl<A>\n const implB = schemaB as SchemaImpl<B>\n const tag = `intersection(${implA._tag} & ${implB._tag})`\n \n return createSchema<A & B>(tag, (value, path) => {\n const resultA = implA._validate(value, path)\n if (!resultA.ok) {\n return resultA as ValidationResult<A & B>\n }\n \n const resultB = implB._validate(value, path)\n if (!resultB.ok) {\n return resultB as ValidationResult<A & B>\n }\n \n return ok({ ...resultA.value, ...resultB.value } as A & B)\n })\n}\n\n/**\n * Record schema (dictionary)\n */\nexport function record<V>(valueSchema: Schema<V>): Schema<Record<string, V>> {\n const impl = valueSchema as SchemaImpl<V>\n const tag = `record(${impl._tag})`\n \n return createSchema<Record<string, V>>(tag, (value, path) => {\n if (typeof value !== 'object' || value === null || Array.isArray(value)) {\n return err([validationError(path, 'Expected object', 'object', value)])\n }\n \n const obj = value as Record<string, unknown>\n const result: Record<string, V> = {}\n const errors: Array<{ path: (string | number)[]; message: string; expected: string; received: string }> = []\n \n for (const [key, val] of Object.entries(obj)) {\n const fieldResult = impl._validate(val, [...path, key])\n if (fieldResult.ok) {\n result[key] = fieldResult.value\n } else {\n errors.push(...fieldResult.error)\n }\n }\n \n if (errors.length > 0) {\n return err(errors)\n }\n \n return ok(result)\n })\n}\n\n/**\n * Tuple schema\n */\nexport function tuple<T extends readonly Schema<unknown>[]>(\n schemas: T\n): Schema<{ [K in keyof T]: T[K] extends Schema<infer U> ? U : never }> {\n type Output = { [K in keyof T]: T[K] extends Schema<infer U> ? U : never }\n \n const impls = schemas as unknown as readonly SchemaImpl<unknown>[]\n const tag = `tuple([${impls.map(s => s._tag).join(', ')}])`\n \n return createSchema<Output>(tag, (value, path) => {\n if (!Array.isArray(value)) {\n return err([validationError(path, 'Expected array', 'array', value)])\n }\n \n if (value.length !== impls.length) {\n return err([validationError(\n path, \n `Expected tuple of length ${impls.length}`,\n `[${impls.map(s => s._tag).join(', ')}]`,\n value\n )])\n }\n \n const results: unknown[] = []\n const errors: Array<{ path: (string | number)[]; message: string; expected: string; received: string }> = []\n \n for (let i = 0; i < impls.length; i++) {\n const result = impls[i]!._validate(value[i], [...path, i])\n if (result.ok) {\n results.push(result.value)\n } else {\n errors.push(...result.error)\n }\n }\n \n if (errors.length > 0) {\n return err(errors)\n }\n \n return ok(results as unknown as Output)\n })\n}\n\n/**\n * Unknown schema (accepts anything)\n */\nexport function unknown(): Schema<unknown> {\n return createSchema<unknown>('unknown', (value) => ok(value))\n}\n\n/**\n * Any schema (accepts anything, typed as any)\n */\nexport function any(): Schema<any> {\n return createSchema<any>('any', (value) => ok(value))\n}\n\n/**\n * Date schema (validates Date objects or ISO strings)\n */\nexport function date(): Schema<Date> {\n return createSchema<Date>('date', (value, path) => {\n if (value instanceof Date && !Number.isNaN(value.getTime())) {\n return ok(value)\n }\n \n if (typeof value === 'string') {\n const parsed = new Date(value)\n if (!Number.isNaN(parsed.getTime())) {\n return ok(parsed)\n }\n }\n \n return err([validationError(path, 'Expected valid date', 'Date', value)])\n })\n}\n\n/**\n * Email schema (string with email format)\n */\nexport function email(): Schema<string> {\n const emailRegex = /^[^\\s@]+@[^\\s@]+\\.[^\\s@]+$/\n \n return createSchema<string>('email', (value, path) => {\n if (typeof value !== 'string') {\n return err([validationError(path, 'Expected string', 'string', value)])\n }\n \n if (!emailRegex.test(value)) {\n return err([validationError(path, 'Expected valid email', 'email', value)])\n }\n \n return ok(value)\n })\n}\n\n/**\n * URL schema (string with URL format)\n */\nexport function url(): Schema<string> {\n return createSchema<string>('url', (value, path) => {\n if (typeof value !== 'string') {\n return err([validationError(path, 'Expected string', 'string', value)])\n }\n \n try {\n new URL(value)\n return ok(value)\n } catch {\n return err([validationError(path, 'Expected valid URL', 'url', value)])\n }\n })\n}\n\n/**\n * UUID schema (string with UUID format)\n */\nexport function uuid(): Schema<string> {\n const uuidRegex = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i\n \n return createSchema<string>('uuid', (value, path) => {\n if (typeof value !== 'string') {\n return err([validationError(path, 'Expected string', 'string', value)])\n }\n \n if (!uuidRegex.test(value)) {\n return err([validationError(path, 'Expected valid UUID', 'uuid', value)])\n }\n \n return ok(value)\n })\n}\n","/**\n * Parsing utilities for schemas\n */\n\nimport type { Schema, ValidationResult, Infer } from './types'\n\n/**\n * Parse a value with a schema, throwing on validation failure.\n * \n * @example\n * const UserSchema = object({\n * id: number(),\n * name: string(),\n * email: email()\n * })\n * \n * const user = parse(UserSchema, jsonData)\n * // Type: { id: number; name: string; email: string }\n * // Throws if validation fails\n */\nexport function parse<S extends Schema<unknown>>(\n schema: S,\n value: unknown\n): Infer<S> {\n return schema.parse(value) as Infer<S>\n}\n\n/**\n * Safely parse a value with a schema, returning a Result.\n * \n * @example\n * const result = safeParse(UserSchema, jsonData)\n * if (result.ok) {\n * console.log(result.value.name)\n * } else {\n * console.error(result.error)\n * }\n */\nexport function safeParse<S extends Schema<unknown>>(\n schema: S,\n value: unknown\n): ValidationResult<Infer<S>> {\n return schema.safeParse(value) as ValidationResult<Infer<S>>\n}\n\n/**\n * Validate a value against a schema, returning validation errors.\n * \n * @example\n * const errors = validate(UserSchema, jsonData)\n * if (errors.length === 0) {\n * // Valid\n * } else {\n * errors.forEach(e => console.error(`${e.path.join('.')}: ${e.message}`))\n * }\n */\nexport function validate<S extends Schema<unknown>>(\n schema: S,\n value: unknown\n): Array<{ path: (string | number)[]; message: string; expected: string; received: string }> {\n const result = schema.safeParse(value)\n return result.ok ? [] : result.error\n}\n\n/**\n * Type guard using a schema.\n * \n * @example\n * if (is(UserSchema, data)) {\n * // data is User\n * console.log(data.name)\n * }\n */\nexport function is<S extends Schema<unknown>>(\n schema: S,\n value: unknown\n): value is Infer<S> {\n return schema.is(value)\n}\n\n/**\n * Parse JSON string with schema validation.\n * Solves the \"JSON.parse returns any\" problem completely.\n * \n * @example\n * const UserSchema = object({\n * id: number(),\n * name: string()\n * })\n * \n * const result = parseJson(UserSchema, '{\"id\": 1, \"name\": \"John\"}')\n * if (result.ok) {\n * // result.value is { id: number; name: string }\n * }\n */\nexport function parseJson<S extends Schema<unknown>>(\n schema: S,\n json: string\n): ValidationResult<Infer<S>> {\n try {\n const parsed = JSON.parse(json)\n return safeParse(schema, parsed)\n } catch (e) {\n return {\n ok: false,\n error: [{\n path: [],\n message: e instanceof Error ? e.message : 'Invalid JSON',\n expected: 'valid JSON',\n received: json.slice(0, 50),\n }],\n }\n }\n}\n\n/**\n * Create a type guard function from a schema.\n * \n * @example\n * const isUser = createGuard(UserSchema)\n * \n * const users = items.filter(isUser)\n * // Type: User[]\n */\nexport function createGuard<S extends Schema<unknown>>(\n schema: S\n): (value: unknown) => value is Infer<S> {\n return (value: unknown): value is Infer<S> => schema.is(value)\n}\n\n/**\n * Create a parser function from a schema.\n * \n * @example\n * const parseUser = createParser(UserSchema)\n * \n * const user = parseUser(data)\n * // Throws if invalid\n */\nexport function createParser<S extends Schema<unknown>>(\n schema: S\n): (value: unknown) => Infer<S> {\n return (value: unknown) => parse(schema, value)\n}\n"]}
|