JSON Schema

export type JSONSchemaTypeName =
  | 'string' //
  | 'number'
  | 'integer'
  | 'boolean'
  | 'object'
  | 'array'
  | 'null';
export type JSONSchemaType =
  | string //
  | number
  | boolean
  | JSONSchemaObject
  | JSONSchemaArray
  | null;
type JSONSchemaDefinition = JSONSchema | boolean;

interface JSONSchema {
  $id?: string;
  $ref?: string;
  /**
   * Meta schema
   *
   * Recommended values:
   * - 'http://json-schema.org/schema#'
   * - 'http://json-schema.org/hyper-schema#'
   * - 'http://json-schema.org/draft-07/schema#'
   * - 'http://json-schema.org/draft-07/hyper-schema#'
   *
   * @see https://tools.ietf.org/html/draft-handrews-json-schema-validation-01#section-5
   */
  $schema?: string;
  $comment?: string;

  $defs?: Record<string, JsonSchema | boolean>;

  // for any type

  type?: JSONSchemaTypeName | JSONSchemaTypeName[];
  enum?: JSONSchemaType[];
  const?: JSONSchemaType;

  //region keywords for strings
  maxLength?: number;
  minLength?: number;
  pattern?: string;

  contentEncoding?: string; // e.g. base64
  contentMediaType?: string; // e.g. image/png, text/html, application/jwt
  contentSchema?: JSONSchemaDefinition; // for application/jwt e.g. {type:"array"}
  //endregion

  //region keywords for numbers
  multipleOf?: number;
  maximum?: number;
  exclusiveMaximum?: number;
  minimum?: number;
  exclusiveMinimum?: number;
  //endregion

  //region keywords for arrays
  /**
   * @see https://tools.ietf.org/html/draft-handrews-json-schema-validation-01#section-6.4
   */
  items?: JSONSchemaDefinition | JSONSchemaDefinition[] | undefined;
  additionalItems?: JSONSchemaDefinition | undefined;
  contains?: JSONSchemaDefinition;

  maxItems?: number;
  minItems?: number;
  uniqueItems?: boolean;
  maxContains?: number;
  minContains?: number;
  //endregion

  /**
   * @see https://tools.ietf.org/html/draft-handrews-json-schema-validation-01#section-6.5
   */
  //region keywords for objects
  maxProperties?: number;
  minProperties?: number;
  required?: string[];
  dependentRequired?: Record<string, string[]>; // draft 2019-09

  properties?: Record<string, JSONSchemaDefinition>;
  patternProperties?: Record<string, JSONSchemaDefinition>;
  additionalProperties?: JSONSchemaDefinition;
  propertyNames?: JSONSchemaDefinition;

  /**
   * renamed to dependentSchemas, dependentRequired
   * @deprecated draft 2019-09
   */
  dependencies?: Record<string, JSONSchemaDefinition | string[]>;
  //endregion

  //region conditional subschemas
  if?: JSONSchemaDefinition;
  then?: JSONSchemaDefinition;
  else?: JSONSchemaDefinition;
  //endregion

  //region logical operations
  allOf?: JSONSchemaDefinition[];
  anyOf?: JSONSchemaDefinition[];
  oneOf?: JSONSchemaDefinition[];
  not?: JSONSchemaDefinition;
  //endregion

  /**
   * @see https://tools.ietf.org/html/draft-handrews-json-schema-validation-01#section-7
   */
  format?: string;

  /**
   * @see https://tools.ietf.org/html/draft-handrews-json-schema-validation-01#section-8
   */
  contentMediaType?: string;
  contentEncoding?: string;

  /**
   * renamed to `$defs` to match `$ref`
   */
  definitions?: Record<string, JSONSchemaDefinition>;

  //region metadata
  title?: string;
  description?: string;
  default?: JSONSchemaType;
  deprecated?: boolean;
  readOnly?: boolean;
  writeOnly?: boolean;
  examples?: JSONSchemaType;
  //endregion
}

{
  "type": "string",
  "nullable": true
}

{
  "type": ["string", "null"]
}

{
  "type": "integer"
}

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://example.com/product.schema.json",
  "title": "Product",
  "description": "A product in the catalog",
  "type": "object",
  "properties": {
    "uints": {
      "type": "array",
      "items": {
        // 相对引用
        "$ref": "#/$defs/positiveInteger"
      }
    },

    "objs": {
      "type": "array",
      "items": {
        // 绝对引用
        "$id": "https://example.com/bar",
        "additionalProperties": {}
      }
    },
    // null or string
    "nullable": { "type": ["string", "null"] }
  },
  "required": [],
  "$defs": {
    "positiveInteger": {
      "type": "integer",
      "exclusiveMinimum": 0
    },
    "single": {
      "$anchor": "item",
      "type": "object",
      "additionalProperties": { "$ref": "other.json" }
    }
  },
  "$comment": ""
}

{ "type": "number", "multipleOf": 0.01 }

{
  "type": "integer",
  "format": "int64"
}