Function validate

Type Parameters

• S extends JSONSchema
• T = $Resolve<
      JSONSchema extends S
          ? Any
          : S extends string
          | true
              ? Any
              : S extends false
                  ? Never
                  : S extends NullableSchema
                      ? ParseNullableSchema<
                          S<S>,
                          ParseOptions<S, FromSchemaDefaultOptions>,
                          JSONSchema extends Omit<S<S>, "nullable">
                              ? Any
                              : Omit<S<S>, "nullable"> extends string | true
                                  ? Any
                                  : Omit<S<(...)>, "nullable"> extends false
                                      ? Never
                                      : Omit<(...), (...)> extends NullableSchema
                                          ? (...) | (...) | (...)
                                          : (...) extends (...) ? (...) : (...),
                      >
                      : S extends ReferencingSchema
                          ? ParseReferenceSchema<
                              S<S>,
                              ParseOptions<S, FromSchemaDefaultOptions>,
                              RecursiveSplit<S<S>["$ref"], "#">,
                          >
                          : S extends AllOfSchema
                              ? RecurseOnAllOfSchema<
                                  S<S>["allOf"],
                                  S<S>,
                                  ParseOptions<S, FromSchemaDefaultOptions>,
                                  JSONSchema extends Omit<S<(...)>, "allOf">
                                      ? Any
                                      : Omit<(...), (...)> extends (...) | (...)
                                          ? Any
                                          : (...) extends (...) ? (...) : (...),
                              >
                              : S extends OneOfSchema
                                  ? If<
                                      IsNever<RecurseOnOneOfSchema<(...), (...), (...), (...)>>,
                                      Never,
                                      DoesExtend<(...), (...)> extends true
                                          ? Never
                                          : { type: ...; values: ... },
                                  >
                                  : S extends AnyOfSchema
                                      ? If<IsNever<(...)>, Never, (...) extends (...) ? (...) : (...)>
                                      : S extends EnumSchema
                                          ? $Intersect<(...), (...)>
                                          : (...) extends (...) ? (...) : (...),
      ResolveDefaultOptions,
  >