├── .gitignore ├── .gitpod.yml ├── LICENSE ├── README.md ├── deno.json └── mod.ts /.gitignore: -------------------------------------------------------------------------------- 1 | # Logs 2 | logs 3 | *.log 4 | npm-debug.log* 5 | yarn-debug.log* 6 | yarn-error.log* 7 | lerna-debug.log* 8 | 9 | # Diagnostic reports (https://nodejs.org/api/report.html) 10 | report.[0-9]*.[0-9]*.[0-9]*.[0-9]*.json 11 | 12 | # Runtime data 13 | pids 14 | *.pid 15 | *.seed 16 | *.pid.lock 17 | 18 | # Directory for instrumented libs generated by jscoverage/JSCover 19 | lib-cov 20 | 21 | # Coverage directory used by tools like istanbul 22 | coverage 23 | *.lcov 24 | 25 | # nyc test coverage 26 | .nyc_output 27 | 28 | # Grunt intermediate storage (https://gruntjs.com/creating-plugins#storing-task-files) 29 | .grunt 30 | 31 | # Bower dependency directory (https://bower.io/) 32 | bower_components 33 | 34 | # node-waf configuration 35 | .lock-wscript 36 | 37 | # Compiled binary addons (https://nodejs.org/api/addons.html) 38 | build/Release 39 | 40 | # Dependency directories 41 | node_modules/ 42 | jspm_packages/ 43 | 44 | # TypeScript v1 declaration files 45 | typings/ 46 | 47 | # TypeScript cache 48 | *.tsbuildinfo 49 | 50 | # Optional npm cache directory 51 | .npm 52 | 53 | # Optional eslint cache 54 | .eslintcache 55 | 56 | # Microbundle cache 57 | .rpt2_cache/ 58 | .rts2_cache_cjs/ 59 | .rts2_cache_es/ 60 | .rts2_cache_umd/ 61 | 62 | # Optional REPL history 63 | .node_repl_history 64 | 65 | # Output of 'npm pack' 66 | *.tgz 67 | 68 | # Yarn Integrity file 69 | .yarn-integrity 70 | 71 | # dotenv environment variables file 72 | .env 73 | .env.test 74 | 75 | # parcel-bundler cache (https://parceljs.org/) 76 | .cache 77 | 78 | # Next.js build output 79 | .next 80 | 81 | # Nuxt.js build / generate output 82 | .nuxt 83 | dist 84 | 85 | # Gatsby files 86 | .cache/ 87 | # Comment in the public line in if your project uses Gatsby and *not* Next.js 88 | # https://nextjs.org/blog/next-9-1#public-directory-support 89 | # public 90 | 91 | # vuepress build output 92 | .vuepress/dist 93 | 94 | # Serverless directories 95 | .serverless/ 96 | 97 | # FuseBox cache 98 | .fusebox/ 99 | 100 | # DynamoDB Local files 101 | .dynamodb/ 102 | 103 | # TernJS port file 104 | .tern-port 105 | -------------------------------------------------------------------------------- /.gitpod.yml: -------------------------------------------------------------------------------- 1 | # This configuration file was automatically generated by Gitpod. 2 | # Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file) 3 | # and commit this file to your remote git repository to share the goodness with others. 4 | 5 | tasks: 6 | - init: npm install && npm run build 7 | 8 | 9 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2022 TANIGUCHI Masaya 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # jsonup 2 | 3 | https://jsr.io/@tani/jsonup 4 | 5 | This is a zero dependency compile-time JSON parser written in TypeScript. 6 | 7 | ## Usage 8 | 9 | ```typescript 10 | import { JSONUP, ObjectLike } from 'jsonup' // Node 11 | import { JSONUP, ObjectLike } from 'jsr:@tani/jsonup' // Deno 12 | 13 | const src = `{ "name": "jsonup" }` 14 | 15 | type Str = typeof src // Type: `'{ "name": "jsonup" }'` 16 | type Obj = ObjectLike // Type: `{ name: string }` 17 | 18 | /** 19 | * JSONUP.parse infers the type from a given object. 20 | * The type parameter is optional. 21 | */ 22 | // Type: `{ name: string }` the inferred record type 23 | // Value: `{ name: "jsonup" }` the generated object 24 | let obj = JSONUP.parse(src) 25 | let obj = JSONUP.parse(src) 26 | 27 | /** 28 | * JSONUP.stringify guarantees the semantic equality between 29 | * the generated string and the given literal type. 30 | * The type parameter is required (maybe). 31 | */ 32 | // Type: `'{ "name": "jsonup" }'` the given literal type 33 | // Value: `'{ "name": "jsonup" }'` the generated string 34 | const str = JSONUP.stringify(obj) 35 | ``` 36 | 37 | ## Copyright and License 38 | 39 | (c) 2022 TANIGUCHI Masaya. https://git.io/mit-license 40 | -------------------------------------------------------------------------------- /deno.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "@tani/jsonup", 3 | "exports": "./mod.ts", 4 | "version": "0.2.0", 5 | "auhor": "Masaya Taniguchi", 6 | "publish": { 7 | "include": [ 8 | "deno.json", 9 | "README.md", 10 | "mod.ts", 11 | "LICENSE" 12 | ] 13 | } 14 | } 15 | -------------------------------------------------------------------------------- /mod.ts: -------------------------------------------------------------------------------- 1 | /*! (c) 2022 TANIGUCHI Masaya. https://git.io/mit-license */ 2 | type StringifyArgs = Parameters 3 | type ParseArgs = Parameters 4 | 5 | export class JSONUP { 6 | static parse(string: T, reviver?: ParseArgs[1]): ObjectLike { 7 | return JSON.parse(string, reviver) 8 | } 9 | static stringify(object: ObjectLike, replacer?: StringifyArgs[1], space?: StringifyArgs[2]): T { 10 | return JSON.stringify(object, replacer, space) as T 11 | } 12 | } 13 | 14 | export type ObjectLike = JsonValue extends [infer L, ''] ? L : never 15 | 16 | type Trim = 17 | T extends `${' ' | ' \t' | '\n' | '\r'}${infer S}` ? Trim : 18 | T extends `${infer S}${' ' | ' \t' | '\n' | '\r'}` ? Trim : T; 19 | 20 | type JsonValue = 21 | JsonStringValue | JsonNumber | JsonNull | JsonBoolean | JsonArray | JsonObject 22 | 23 | type JsonStringKeyInner = 24 | Trim extends `\\"${infer S}` ? JsonStringKeyInner : 25 | Trim extends `"${infer S}` ? [U, Trim] : 26 | Trim extends `${infer L}${infer R}` ? JsonStringKeyInner : 27 | never; 28 | 29 | type JsonStringKey = 30 | Trim extends `"${infer S}` ? JsonStringKeyInner : never; 31 | 32 | type JsonStringValueInner = 33 | Trim extends `\\"${infer S}` ? JsonStringValueInner : 34 | Trim extends `"${infer S}` ? [string, Trim] : 35 | Trim extends `${infer L}${infer R}` ? JsonStringValueInner : 36 | never; 37 | 38 | type JsonStringValue = 39 | Trim extends `"${infer S}` ? JsonStringValueInner : never; 40 | 41 | type JsonNumber = 42 | Trim extends `${number}` ? [number, ''] : 43 | Trim extends `${number}]${infer R}` ? [number, Trim<`]${R}`>] : 44 | Trim extends `${number}}${infer R}` ? [number, Trim<`}${R}`>] : 45 | Trim extends `${number},${infer R}` ? [number, Trim<`,${R}`>] : 46 | never; 47 | 48 | type JsonNull = 49 | Trim extends `${null}` ? [null, ''] : 50 | Trim extends `${null}]${infer R}` ? [null, Trim<`]${R}`>] : 51 | Trim extends `${null}}${infer R}` ? [null, Trim<`}${R}`>] : 52 | Trim extends `${null},${infer R}` ? [null, Trim<`,${R}`>] : 53 | never; 54 | 55 | type JsonBoolean = 56 | Trim extends `${boolean}` ? [boolean, ''] : 57 | Trim extends `${boolean}]${infer R}` ? [boolean, Trim<`]${R}`>] : 58 | Trim extends `${boolean}}${infer R}` ? [boolean, Trim<`}${R}`>] : 59 | Trim extends `${boolean},${infer R}` ? [boolean, Trim<`,${R}`>] : 60 | never; 61 | 62 | type JsonArrayInner = 63 | JsonValue extends [infer V, `,${infer R}`] ? JsonArrayInner : 64 | JsonValue extends [infer V, `]${infer R}`] ? [(V | L)[], Trim] : never; 65 | 66 | type JsonArray = 67 | Trim extends `[]${infer R}` ? [[], Trim] : 68 | Trim extends `[${infer S}` ? JsonArrayInner : never; 69 | 70 | type JsonKeyValue = 71 | JsonStringKey extends [infer K extends string, `:${infer R}`] ? 72 | (JsonValue extends [infer V, infer Q] ? [{[_ in K]: V}, Trim] : never) : never 73 | 74 | type Flatten = T extends Record ? { [k in keyof T] : T[k] } : never 75 | 76 | type JsonObjectInner = 77 | JsonKeyValue extends [infer KV, `,${infer R}`] ? JsonObjectInner : 78 | JsonKeyValue extends [infer KV, `}${infer R}`] ? [Flatten, Trim] : never; 79 | 80 | type JsonObject = 81 | Trim extends `{}${infer R}` ? [{}, Trim] : 82 | Trim extends `{${infer S}` ? JsonObjectInner : never; 83 | --------------------------------------------------------------------------------