export declare const make: <A, I, R>(schema: Schema.Schema<A, I, R>) => JsonSchema7Root

export type JsonSchema7 =
  | JsonSchema7Any
  | JsonSchema7Unknown
  | JsonSchema7Void
  | JsonSchema7object
  | JsonSchema7empty
  | JsonSchema7Ref
  | JsonSchema7Const
  | JsonSchema7String
  | JsonSchema7Number
  | JsonSchema7Integer
  | JsonSchema7Boolean
  | JsonSchema7Array
  | JsonSchema7OneOf
  | JsonSchema7Enum
  | JsonSchema7Enums
  | JsonSchema7AnyOf
  | JsonSchema7Object

export interface JsonSchema7Any extends JsonSchemaAnnotations {
  $id: "/schemas/any"
}

export interface JsonSchema7AnyOf extends JsonSchemaAnnotations {
  anyOf: Array<JsonSchema7>
}

export interface JsonSchema7Array extends JsonSchemaAnnotations {
  type: "array"
  items?: JsonSchema7 | Array<JsonSchema7>
  minItems?: number
  maxItems?: number
  additionalItems?: JsonSchema7 | boolean
}

export interface JsonSchema7Boolean extends JsonSchemaAnnotations {
  type: "boolean"
}

export interface JsonSchema7Const extends JsonSchemaAnnotations {
  const: AST.LiteralValue
}

export interface JsonSchema7Enum extends JsonSchemaAnnotations {
  enum: Array<AST.LiteralValue>
}

export interface JsonSchema7Enums extends JsonSchemaAnnotations {
  $comment: "/schemas/enums"
  oneOf: Array<{
    title: string
    const: string | number
  }>
}

export interface JsonSchema7Integer extends JsonSchema7Numeric {
  type: "integer"
}

export interface JsonSchema7Number extends JsonSchema7Numeric {
  type: "number"
}

export interface JsonSchema7Numeric extends JsonSchemaAnnotations {
  minimum?: number
  exclusiveMinimum?: number
  maximum?: number
  exclusiveMaximum?: number
}

export interface JsonSchema7Object extends JsonSchemaAnnotations {
  type: "object"
  required: Array<string>
  properties: Record<string, JsonSchema7>
  additionalProperties?: boolean | JsonSchema7
  patternProperties?: Record<string, JsonSchema7>
  propertyNames?: JsonSchema7
}

export interface JsonSchema7OneOf extends JsonSchemaAnnotations {
  oneOf: Array<JsonSchema7>
}

export interface JsonSchema7Ref extends JsonSchemaAnnotations {
  $ref: string
}

export type JsonSchema7Root = JsonSchema7 & {
  $schema?: string
  $defs?: Record<string, JsonSchema7>
}

export interface JsonSchema7String extends JsonSchemaAnnotations {
  type: "string"
  minLength?: number
  maxLength?: number
  pattern?: string
}

export interface JsonSchema7Unknown extends JsonSchemaAnnotations {
  $id: "/schemas/unknown"
}

export interface JsonSchema7Void extends JsonSchemaAnnotations {
  $id: "/schemas/void"
}

export interface JsonSchema7empty extends JsonSchemaAnnotations {
  $id: "/schemas/{}"
  oneOf: [{ type: "object" }, { type: "array" }]
}

export interface JsonSchema7object extends JsonSchemaAnnotations {
  $id: "/schemas/object"
  oneOf: [{ type: "object" }, { type: "array" }]
}

export interface JsonSchemaAnnotations {
  title?: string
  description?: string
  default?: unknown
  examples?: Array<unknown>
}