You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					128 lines
				
				11 KiB
			
		
		
			
		
	
	
					128 lines
				
				11 KiB
			| 
											3 years ago
										 | type AnySchema = NullSchema | BooleanSchema | NullableBooleanSchema | NumberSchema | NullableNumberSchema | StringSchema | NullableStringSchema | AnyEnumSchema | AnyArraySchema | AnyNullableArraySchema | AnyObjectSchema | AnyNullableObjectSchema | AnyAllOptionalObjectSchema | AnyNullableAllOptionalObjectSchema | AnyOneOfSchema | ||
|  | type StringKeys<T> = (keyof T) & string | ||
|  | 
 | ||
|  | interface NullSchema { type: 'null' } | ||
|  | 
 | ||
|  | interface BooleanSchema { type: 'boolean' } | ||
|  | interface NullableBooleanSchema { type: ('boolean' | 'null')[] } | ||
|  | 
 | ||
|  | interface NumberSchema { type: 'number' } | ||
|  | interface NullableNumberSchema { type: ('number' | 'null')[] } | ||
|  | 
 | ||
|  | interface StringSchema { type: 'string' } | ||
|  | interface NullableStringSchema { type: ('string' | 'null')[] } | ||
|  | 
 | ||
|  | interface AnyEnumSchema extends EnumSchema<any> {} | ||
|  | interface EnumSchema<Enum> { enum: Enum[] } | ||
|  | 
 | ||
|  | interface AnyArraySchema extends ArraySchema<AnySchema> {} | ||
|  | interface ArraySchema<ItemSchema extends AnySchema> { type: 'array', items: ItemSchema } | ||
|  | 
 | ||
|  | interface AnyNullableArraySchema extends NullableArraySchema<AnySchema> {} | ||
|  | interface NullableArraySchema<ItemSchema extends AnySchema> { type: ('array' | 'null')[], items: ItemSchema } | ||
|  | 
 | ||
|  | interface AnyObjectSchema extends ObjectSchema<Record<string, AnySchema>, string> {} | ||
|  | interface ObjectSchema<Properties extends Record<string, AnySchema>, Required extends StringKeys<Properties>> { | ||
|  |   additionalProperties?: boolean | ||
|  |   type: 'object' | ||
|  |   properties: Properties | ||
|  |   required: Required[] | ||
|  | } | ||
|  | 
 | ||
|  | interface AnyNullableObjectSchema extends NullableObjectSchema<Record<string, AnySchema>, string> {} | ||
|  | interface NullableObjectSchema<Properties extends Record<string, AnySchema>, Required extends StringKeys<Properties>> { | ||
|  |   additionalProperties?: boolean | ||
|  |   type: ('object' | 'null')[] | ||
|  |   properties: Properties | ||
|  |   required: Required[] | ||
|  | } | ||
|  | 
 | ||
|  | interface AnyAllOptionalObjectSchema extends AllOptionalObjectSchema<Record<string, AnySchema>> {} | ||
|  | interface AllOptionalObjectSchema<Properties extends Record<string, AnySchema>> { | ||
|  |   additionalProperties?: boolean | ||
|  |   type: 'object' | ||
|  |   properties: Properties | ||
|  | } | ||
|  | 
 | ||
|  | interface AnyNullableAllOptionalObjectSchema extends NullableAllOptionalObjectSchema<Record<string, AnySchema>> {} | ||
|  | interface NullableAllOptionalObjectSchema<Properties extends Record<string, AnySchema>> { | ||
|  |   additionalProperties?: boolean | ||
|  |   type: ('object' | 'null')[] | ||
|  |   properties: Properties | ||
|  | } | ||
|  | 
 | ||
|  | interface AnyOneOfSchema { oneOf: AnySchema[] } | ||
|  | 
 | ||
|  | interface ArrayFromSchema<ItemSchema extends AnySchema> extends Array<TypeFromSchema<ItemSchema>> {} | ||
|  | 
 | ||
|  | type ObjectFromSchema<Properties extends Record<string, AnySchema>, Required extends StringKeys<Properties>> = { | ||
|  |   [Key in keyof Properties]: (Key extends Required ? TypeFromSchema<Properties[Key]> : TypeFromSchema<Properties[Key]> | undefined) | ||
|  | } | ||
|  | 
 | ||
|  | type TypeFromSchema<Schema extends AnySchema> = ( | ||
|  |     Schema extends EnumSchema<infer Enum> ? Enum | ||
|  |   : Schema extends NullSchema ? null | ||
|  |   : Schema extends BooleanSchema ? boolean | ||
|  |   : Schema extends NullableBooleanSchema ? (boolean | null) | ||
|  |   : Schema extends NumberSchema ? number | ||
|  |   : Schema extends NullableNumberSchema ? (number | null) | ||
|  |   : Schema extends StringSchema ? string | ||
|  |   : Schema extends NullableStringSchema ? (string | null) | ||
|  |   : Schema extends ArraySchema<infer ItemSchema> ? ArrayFromSchema<ItemSchema> | ||
|  |   : Schema extends NullableArraySchema<infer ItemSchema> ? (ArrayFromSchema<ItemSchema> | null) | ||
|  |   : Schema extends ObjectSchema<infer Properties, infer Required> ? ObjectFromSchema<Properties, Required> | ||
|  |   : Schema extends NullableObjectSchema<infer Properties, infer Required> ? (ObjectFromSchema<Properties, Required> | null) | ||
|  |   : Schema extends AllOptionalObjectSchema<infer Properties> ? ObjectFromSchema<Properties, never> | ||
|  |   : Schema extends NullableAllOptionalObjectSchema<infer Properties> ? (ObjectFromSchema<Properties, never> | null) | ||
|  |   : never | ||
|  | ) | ||
|  | 
 | ||
|  | declare namespace factory { | ||
|  |   interface ValidationError { | ||
|  |     field: string | ||
|  |     message: string | ||
|  |     value: unknown | ||
|  |     type: string | ||
|  |   } | ||
|  | } | ||
|  | 
 | ||
|  | interface Validator<Schema extends AnySchema, Output = TypeFromSchema<Schema>> { | ||
|  |   (input: unknown, options?: any): input is Output | ||
|  |   errors: factory.ValidationError[] | ||
|  |   toJSON(): Schema | ||
|  | } | ||
|  | 
 | ||
|  | interface Filter<Schema extends AnySchema, Output = TypeFromSchema<Schema>> { | ||
|  |   (input: Output, options?: any): Output | ||
|  | } | ||
|  | 
 | ||
|  | interface Factory { | ||
|  |   /* One of object schema */ | ||
|  |               <Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>] }, options?: any): Validator<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2>> | ||
|  |   createFilter<Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>] }, options?: any):    Filter<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2>> | ||
|  |               <Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>, Properties3 extends Record<string, AnySchema>, Required3 extends StringKeys<Properties3>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>] }, options?: any): Validator<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2> | ObjectFromSchema<Properties3, Required3>> | ||
|  |   createFilter<Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>, Properties3 extends Record<string, AnySchema>, Required3 extends StringKeys<Properties3>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>] }, options?: any):    Filter<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2> | ObjectFromSchema<Properties3, Required3>> | ||
|  |               <Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>, Properties3 extends Record<string, AnySchema>, Required3 extends StringKeys<Properties3>, Properties4 extends Record<string, AnySchema>, Required4 extends StringKeys<Properties4>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>, ObjectSchema<Properties4, Required4>] }, options?: any): Validator<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>, ObjectSchema<Properties4, Required4>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2> | ObjectFromSchema<Properties3, Required3> | ObjectFromSchema<Properties4, Required4>> | ||
|  |   createFilter<Properties1 extends Record<string, AnySchema>, Required1 extends StringKeys<Properties1>, Properties2 extends Record<string, AnySchema>, Required2 extends StringKeys<Properties2>, Properties3 extends Record<string, AnySchema>, Required3 extends StringKeys<Properties3>, Properties4 extends Record<string, AnySchema>, Required4 extends StringKeys<Properties4>> (schema: { oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>, ObjectSchema<Properties4, Required4>] }, options?: any):    Filter<{ oneOf: [ObjectSchema<Properties1, Required1>, ObjectSchema<Properties2, Required2>, ObjectSchema<Properties3, Required3>, ObjectSchema<Properties4, Required4>] }, ObjectFromSchema<Properties1, Required1> | ObjectFromSchema<Properties2, Required2> | ObjectFromSchema<Properties3, Required3> | ObjectFromSchema<Properties4, Required4>> | ||
|  | 
 | ||
|  |   /* One of plain schema */ | ||
|  |               <Schema1 extends AnySchema, Schema2 extends AnySchema> (schema: { oneOf: [Schema1, Schema2] }, options?: any): Validator<{ oneOf: [Schema1, Schema2] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2>> | ||
|  |   createFilter<Schema1 extends AnySchema, Schema2 extends AnySchema> (schema: { oneOf: [Schema1, Schema2] }, options?: any):    Filter<{ oneOf: [Schema1, Schema2] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2>> | ||
|  |               <Schema1 extends AnySchema, Schema2 extends AnySchema, Schema3 extends AnySchema> (schema: { oneOf: [Schema1, Schema2, Schema3] }, options?: any): Validator<{ oneOf: [Schema1, Schema2, Schema3] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2> | TypeFromSchema<Schema3>> | ||
|  |   createFilter<Schema1 extends AnySchema, Schema2 extends AnySchema, Schema3 extends AnySchema> (schema: { oneOf: [Schema1, Schema2, Schema3] }, options?: any):    Filter<{ oneOf: [Schema1, Schema2, Schema3] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2> | TypeFromSchema<Schema3>> | ||
|  |               <Schema1 extends AnySchema, Schema2 extends AnySchema, Schema3 extends AnySchema, Schema4 extends AnySchema> (schema: { oneOf: [Schema1, Schema2, Schema3, Schema4] }, options?: any): Validator<{ oneOf: [Schema1, Schema2, Schema3, Schema4] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2> | TypeFromSchema<Schema3> | TypeFromSchema<Schema4>> | ||
|  |   createFilter<Schema1 extends AnySchema, Schema2 extends AnySchema, Schema3 extends AnySchema, Schema4 extends AnySchema> (schema: { oneOf: [Schema1, Schema2, Schema3, Schema4] }, options?: any):    Filter<{ oneOf: [Schema1, Schema2, Schema3, Schema4] }, TypeFromSchema<Schema1> | TypeFromSchema<Schema2> | TypeFromSchema<Schema3> | TypeFromSchema<Schema4>> | ||
|  | 
 | ||
|  |   /* Object schema */ | ||
|  |               <Properties extends Record<string, AnySchema>, Required extends StringKeys<Properties>> (schema: ObjectSchema<Properties, Required>, options?: any): Validator<ObjectSchema<Properties, Required>> | ||
|  |   createFilter<Properties extends Record<string, AnySchema>, Required extends StringKeys<Properties>> (schema: ObjectSchema<Properties, Required>, options?: any):    Filter<ObjectSchema<Properties, Required>> | ||
|  | 
 | ||
|  |   /* Plain schema */ | ||
|  |               <Schema extends AnySchema> (schema: Schema, options?: any): Validator<Schema> | ||
|  |   createFilter<Schema extends AnySchema> (schema: Schema, options?: any):    Filter<Schema> | ||
|  | } | ||
|  | 
 | ||
|  | declare const factory: Factory | ||
|  | 
 | ||
|  | export = factory |