type Pure = { [P in keyof T]: T[P] extends object ? Pure : T[P] } type SetProperty = { [P in (keyof T) | K]: P extends K ? V : P extends keyof T ? T[P] : never } type WhiteSpace = " " | "\n" | "\t" type StringLiteral = `"${string}"` type Token = null | boolean | "[" | "]" | "{" | "}" | "," | ":" | StringLiteral type SkipWhiteSpace = S extends `${WhiteSpace}${infer S2}` ? SkipWhiteSpace : S type Tokenize< S extends string, Tokens extends Token[] = [], TrimedString extends string = SkipWhiteSpace > = TrimedString extends "" ? Tokens : TrimedString extends `${Token}${infer Rest}` ? TrimedString extends `${infer T extends Token}${Rest}` ? Tokenize : never // never reached : never // unknown token error type EscapeCharacterDict = { "\\": "\\", "/": "\/", b: "\b", f: "\f", n: "\n", r: "\r", t: "\t", } type ParseEscapeCharacters = S extends `${infer S1}${infer S2}` ? S1 extends "\\" ? S2 extends `${infer C extends keyof EscapeCharacterDict}${infer S3}` ? ParseEscapeCharacters : never : ParseEscapeCharacters : Acc type ParseArray = T extends [ "]", ...infer Rest ] ? [[], Rest] : ParseArrayElements type ParseArrayElements = ParseValue extends [ infer V, infer Rest extends Token[] ] ? Rest extends [ infer R1 extends Token, ...infer R2 extends Token[] ] ? R1 extends "," ? ParseArrayElements : R1 extends "]" ? [[...Values, V], R2] : never : never : never type ParseObject = T extends [ "}", ...infer Rest ] ? [{}, Rest] : ParseMembers type ParseMembers = ParseMember extends [ infer K extends PropertyKey, infer V, infer Rest extends Token[] ] ? Rest extends [ infer R1 extends Token, ...infer R2 extends Token[] ] ? R1 extends "," ? ParseMembers> : R1 extends "}" ? [SetProperty, R2] : never : never : never type ParseMember = T extends [ `"${infer Key}"`, ":", ...infer Rest extends Token[] ] ? ParseValue extends [ infer V, infer Rest] ? [ ParseEscapeCharacters, V, Rest ] : never : never type ParseValue = T extends [infer T1, ...infer T2 extends Token[]] ? T1 extends boolean | null ? [T1, T2] : T1 extends `"${infer S}"` ? [ParseEscapeCharacters~~, T2] : T1 extends "[" ? ParseArray : T1 extends "{" ? ParseObject : never : never type Parse = Pure>[0]>~~