import type { Option } from '../fp/Option';
export type JSONPrimitive = string | number | boolean | null | undefined;
export interface JSONObject extends Record<string, JSONValue> {
}
export interface JSONArray extends ReadonlyArray<JSONValue> {
}
export type JSONValue = JSONPrimitive | JSONObject | JSONArray;
/** Like Date object, Moment object, luxon.DateTime object */
export interface ValueContainer<A extends JSONPrimitive> {
    valueOf: () => A;
}
type ExcludeFunctions<A extends AnyObject> = ExcludeKeysOfType<A, AnyFunction>;
type ValidProps<A extends AnyObject, OmitKeys extends keyof never> = ExcludeFunctions<Omit<A, OmitKeys | keyof JSONSerializable<any, any>>>;
type JSONArrayOf<A, IsReadonly extends boolean, OmitKeys extends ExtractKeys<A>> = IsReadonly extends true ? readonly Jsonify<A, OmitKeys>[] : Jsonify<A, OmitKeys>[];
type Optional<A extends AnyObject, OmitKeys extends ExtractKeys<A>> = {
    [P in Exclude<keyof ExtractKeysOfType<A, Option<any>>, OmitKeys>]?: Jsonify<A[P], OmitKeys>;
};
type NonOptional<A extends AnyObject, OmitKeys extends ExtractKeys<A>> = {
    [P in keyof ValidProps<ExcludeKeysOfType<A, Option<any>>, OmitKeys>]: Jsonify<A[P], OmitKeys>;
};
type JSONObjectOf<A extends AnyObject, OmitKeys extends ExtractKeys<A>> = keyof ValidProps<A, OmitKeys> extends never ? A extends ValueContainer<infer R> ? R : {} : Optional<A, OmitKeys> & NonOptional<A, OmitKeys>;
type ExtractKeys<A> = A extends Option<infer T> ? ExtractKeys<T> : A extends JSONSerializable<infer T, any> ? ExtractKeys<T> : A extends readonly (infer T)[] ? ExtractKeys<T> : A extends AnyObject ? keyof A : never;
export type Jsonify<A, OmitKeys extends ExtractKeys<A> = never> = A extends Option<infer T> ? Jsonify<T, Extract<OmitKeys, ExtractKeys<T>>> | undefined : A extends JSONSerializable<infer T, any> ? Jsonify<T, Extract<OmitKeys, ExtractKeys<T>>> : A extends readonly (infer T)[] ? JSONArrayOf<T, A extends unknown[] ? false : true, Extract<OmitKeys, ExtractKeys<T>>> : A extends Uint8Array | Uint16Array | Uint32Array | Int8Array | Int16Array | Int32Array ? number[] : A extends AnyObject ? JSONObjectOf<A, OmitKeys> : A extends JSONValue ? A : string;
export interface JSONSerializable<A extends AnyObject, OmitKeys extends ExtractKeys<A> = never> {
    /**
     * Just for correct infering: https://github.com/Microsoft/TypeScript/issues/26688
     * It's required to define in implementation for correct typing with `JSONModel`.
     * It might be just equals `this`.
     */
    readonly _serializable: JSONSerializable<A, OmitKeys>;
    toJSON(): Jsonify<A, OmitKeys>;
}
export {};