lean4-code-actions/libs/utils/JSON.ts

Refactorings and snippets for Lean 4

import { ensureError } from './ensure'
import { WrappedError } from './error'
import { Result } from './Result'

export function safeParseJSON(input: string): Result<unknown, Error> {
  try {
    return {
      success: true,
      data: JSON.parse(input),
    }
  } catch (error) {
    return {
      success: false,
      error: ensureError(error),
    }
  }
}

export function parseJSON(input: string) {
  const result = safeParseJSON(input)
  if (result.success) {
    return result.data
  } else {
    throw new WrappedError('Could not parse JSON', { input }, result.error)
  }
}

export function stringify(value: unknown, replacer?: (this: unknown, key: string, value: unknown) => unknown) {
  return JSON.stringify(value, replacer, 2)
}

export function stringifyError(error: Error) {
  return JSON.stringify(error, Object.getOwnPropertyNames(error), 2)
}

export function restringify(value: Record<string, unknown>): Record<string, unknown>

/**
 * Useful for avoiding the serialization issues with data types that are not directly serializable (e.g. Date)
 */
export function restringify(value: unknown): unknown {
  return JSON.parse(JSON.stringify(value))
}

export function toSerializableValue(value?: string) {
  return value ?? null
}