Function go

packages/effect/src/JSONSchema.ts:638–1002

(
  ast: AST.AST,
  $defs: Record<string, JsonSchema7>,
  identifier: "handle-identifier" | "ignore-identifier",
  path: ReadonlyArray<PropertyKey>,
  options: GoOptions,
  annotation: "handle-annotation" | "ignore-annotation",
  errors: "handle-errors" | "ignore-errors"
)

}

function go(
  ast: AST.AST,
  $defs: Record<string, JsonSchema7>,
  identifier: "handle-identifier" | "ignore-identifier",
  path: ReadonlyArray<PropertyKey>,
  options: GoOptions,
  annotation: "handle-annotation" | "ignore-annotation",
  errors: "handle-errors" | "ignore-errors"
): JsonSchema7 {
  if (
    identifier === "handle-identifier" &&
    (options.topLevelReferenceStrategy !== "skip" || AST.isSuspend(ast))
  ) {
    const id = getIdentifierAnnotation(ast)
    if (id !== undefined) {
      const escapedId = id.replace(/~/ig, "~0").replace(/\//ig, "~1")
      const out = { $ref: options.getRef(escapedId) }
      if (!Record.has($defs, id)) {
        $defs[id] = out
        $defs[id] = go(ast, $defs, "ignore-identifier", path, options, "handle-annotation", errors)
      }
      return out
    }
  }
  if (annotation === "handle-annotation") {
    const hook = AST.getJSONSchemaAnnotation(ast)
    if (Option.isSome(hook)) {
      const handler = hook.value as JsonSchema7
      if (isOverrideAnnotation(ast, handler)) {
        switch (ast._tag) {
          case "Declaration":
            return addASTAnnotations(handler, ast)
          default:
            return handler
        }
      } else {
        switch (ast._tag) {
          case "Refinement": {
            const t = AST.getTransformationFrom(ast)
            if (t === undefined) {
              return mergeRefinements(
                go(ast.from, $defs, identifier, path, options, "handle-annotation", errors),
                handler,
                ast
              )
            } else {
              return go(t, $defs, identifier, path, options, "handle-annotation", errors)
            }
          }
          default:
            return {
              ...go(ast, $defs, identifier, path, options, "ignore-annotation", errors),
              ...handler
            } as any
        }
      }
    }
  }