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

export declare const makeWithDefs: <A, I, R>(
  schema: Schema.Schema<A, I, R>,
  options: {
    readonly defs: Record<string, any>
    readonly defsPath?: string
    readonly topLevelReferenceStrategy?: "skip" | "keep"
  }
) => JsonSchema

export interface Annotations {
  title?: string
  description?: string
  default?: unknown
  examples?: globalThis.Array<unknown>
}

export interface Any extends Annotations {
  $id: "/schemas/any"
}

export interface AnyObject extends Annotations {
  $id: "/schemas/object"
  anyOf: [{ type: "object" }, { type: "array" }]
  nullable?: boolean
}

export interface AnyOf extends Annotations {
  anyOf: globalThis.Array<JsonSchema>
  nullable?: boolean
}

export interface Array extends Annotations {
  type: "array"
  items?: JsonSchema | globalThis.Array<JsonSchema>
  minItems?: number
  maxItems?: number
  additionalItems?: JsonSchema | boolean
  nullable?: boolean
}

export interface Boolean extends Annotations {
  type: "boolean"
  nullable?: boolean
}

export interface Empty extends Annotations {
  $id: "/schemas/{}"
  anyOf: [{ type: "object" }, { type: "array" }]
  nullable?: boolean
}

export interface Enum extends Annotations {
  type?: "string" | "number" | "boolean"
  enum: globalThis.Array<string | number | boolean | null>
  nullable?: boolean
}

export interface Enums extends Annotations {
  $comment: "/schemas/enums"
  anyOf: globalThis.Array<{
    type: "string" | "number"
    title: string
    enum: [string | number]
  }>
  nullable?: boolean
}

export interface Integer extends Numeric {
  type: "integer"
}

export type JsonSchema =
  | Never
  | Any
  | Unknown
  | Void
  | AnyObject
  | Empty
  | Ref
  | String
  | Number
  | Integer
  | Boolean
  | Array
  | Enum
  | Enums
  | AnyOf
  | Object

export interface Never extends Annotations {
  $id: "/schemas/never"
  not: {}
  nullable?: boolean
}

export interface Number extends Numeric {
  type: "number"
}

export interface Numeric extends Annotations {
  minimum?: number
  exclusiveMinimum?: number
  maximum?: number
  exclusiveMaximum?: number
  multipleOf?: number
  format?: string
  allOf?: globalThis.Array<{
    minimum?: number
    exclusiveMinimum?: number
    maximum?: number
    exclusiveMaximum?: number
    multipleOf?: number
  }>
  nullable?: boolean
}

export interface Object extends Annotations {
  type: "object"
  required: globalThis.Array<string>
  properties: Record<string, JsonSchema>
  additionalProperties?: boolean | JsonSchema
  patternProperties?: Record<string, JsonSchema>
  propertyNames?: JsonSchema
  nullable?: boolean
}

export interface Ref extends Annotations {
  $ref: string
  nullable?: boolean
}

export type Root = JsonSchema & {
  $defs?: Record<string, JsonSchema>
}

export interface String extends Annotations {
  type: "string"
  minLength?: number
  maxLength?: number
  pattern?: string
  format?: string
  contentMediaType?: string
  contentSchema?: JsonSchema
  allOf?: globalThis.Array<{
    minLength?: number
    maxLength?: number
    pattern?: string
  }>
  nullable?: boolean
}

export interface Unknown extends Annotations {
  $id: "/schemas/unknown"
}

export interface Void extends Annotations {
  $id: "/schemas/void"
}