import { ViewOf } from "atom.io/foundations/type-utils";
//#region src/foundations/json/index.d.ts
type primitive = boolean | number | string | null;
declare namespace Json {
  namespace Tree {
    type Array<Element = unknown> = ReadonlyArray<Element>;
    type Object<K extends string = string, V = unknown> = Record<K, V>;
    type Fork = Array | Object;
    type Leaf = primitive;
    type Node = Fork | Leaf;
  }
  type Serializable = primitive | Readonly<{
    [key: string]: Serializable;
  }> | ReadonlyArray<Serializable>;
  type Object<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
  type Array<Element extends Serializable = Serializable> = ReadonlyArray<Element>;
}
/** A generic that retains the type information of a {@link Json.Serializable} value while in string form */
type stringified<J extends Json.Serializable> = J extends string ? `"${J}"` : J extends number ? `${J}` : J extends true ? `true` : J extends false ? `false` : J extends boolean ? `false` | `true` : J extends null ? `null` : J extends [] ? `[]` : J extends [infer Element extends Json.Serializable] ? `[${stringified<Element>}]` : J extends [infer Element1 extends Json.Serializable, infer Element2 extends Json.Serializable] ? `[${stringified<Element1>}, ${stringified<Element2>}]` : J extends [infer Element1 extends Json.Serializable, infer Element2 extends Json.Serializable, infer Element3 extends Json.Serializable] ? `[${stringified<Element1>}, ${stringified<Element2>}, ${stringified<Element3>}]` : J extends any[] ? `[${string}]` & {
  __json?: J;
} : string & {
  __json?: J;
};
/** Type-safe wrapper for {@link JSON.parse} */
declare function parseJson<J extends Json.Serializable>(str: stringified<J>): J;
/** Type-safe wrapper for {@link JSON.parse} */
declare function parseJson(str: string): Json.Serializable;
/** Type-safe wrapper for {@link JSON.stringify} */
declare const stringifyJson: <J extends Json.Serializable>(json: J) => stringified<J>;
/** A function whose parameters and return value are {@link Json.Serializable} */
type JsonIO = (...params: Json.Serializable[]) => Json.Serializable | void;
type JsonInterface<T, J extends Json.Serializable = Json.Serializable> = {
  toJson: (t: ViewOf<T>) => J;
  fromJson: (json: J) => T;
};
declare function isJson(input: unknown): input is Json.Tree.Node;
declare const JSON_TYPE_NAMES: readonly ["array", "boolean", "null", "number", "object", "string"];
type JsonTypeName = (typeof JSON_TYPE_NAMES)[number];
interface JsonTypes extends Record<JsonTypeName, Json.Serializable> {
  array: Json.Array;
  boolean: boolean;
  null: null;
  number: number;
  object: Json.Object;
  string: string;
}
declare const JSON_DEFAULTS: JsonTypes;
//#endregion
export { JSON_DEFAULTS, JSON_TYPE_NAMES, Json, JsonIO, JsonInterface, JsonTypeName, JsonTypes, isJson, parseJson, primitive, stringified, stringifyJson };
//# sourceMappingURL=index.d.ts.map