gql.tada 0.0.0

package/LICENSE.md

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 0no.co
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,21 @@
+<div align="center">
+  <h2>gql.tada 🎉</h2>
+  <strong>The spec-compliant & magical GraphQL query language engine in the TypeScript type system</strong>
+  <br />
+  <br />
+  <a href="https://github.com/0no-co/gql.tada/actions/workflows/release.yml">
+    <img alt="CI Status" src="https://github.com/0no-co/gql.tada/actions/workflows/release.yml/badge.svg?branch=main" />
+  </a>
+  <a href="https://urql.dev/discord">
+    <img alt="Discord" src="https://img.shields.io/discord/1082378892523864074?color=7389D8&label&logo=discord&logoColor=ffffff" />
+  </a>
+  <br />
+  <br />
+</div>
+
+**Work in Progress**
+
+## Shortcomings
+
+- [ ] support having parsed parts in a document, like a fragment reference
+- [ ] support defining custom scalars

package/dist/gql-tada.d.ts

@@ -0,0 +1,238 @@
+import { Kind, OperationTypeNode } from '@0no-co/graphql.web';
+
+type digit = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';
+type letter = 'A' | 'B' | 'C' | 'D' | 'E' | 'F' | 'G' | 'H' | 'I' | 'J' | 'K' | 'L' | 'M' | 'N' | 'O' | 'P' | 'Q' | 'R' | 'S' | 'T' | 'U' | 'V' | 'W' | 'X' | 'Y' | 'Z' | 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z';
+type skipIgnored<In> = In extends `#${infer _}\n${infer In}` ? skipIgnored<In> : In extends `${' ' | '\n' | '\t' | '\r' | ',' | '\ufeff'}${infer In}` ? skipIgnored<In> : In extends string ? In : never;
+type skipDigits<In extends string> = In extends `${digit}${infer In}` ? skipDigits<In> : In;
+type skipInt<In extends string> = In extends `${'-'}${digit}${infer In}` ? skipDigits<In> : In extends `${digit}${infer In}` ? skipDigits<In> : void;
+type skipExponent<In extends string> = In extends `${'e' | 'E'}${'+' | '-'}${infer In}` ? skipDigits<In> : In extends `${'e' | 'E'}${infer In}` ? skipDigits<In> : In;
+type skipFloat<In extends string> = In extends `${'.'}${infer In}` ? In extends `${digit}${infer In}` ? skipExponent<skipDigits<In>> : void : In extends `${'e' | 'E'}${infer _}` ? skipExponent<In> : void;
+type skipBlockString<In extends string> = In extends `${infer Hd}${'"""'}${infer In}` ? Hd extends `${infer _}${'\\'}` ? skipBlockString<skipIgnored<In>> : In : void;
+type skipString<In extends string> = In extends `${infer Hd}${'"'}${infer In}` ? Hd extends `${infer _}${'\\'}` ? skipString<In> : In : void;
+type _TakeNameContinue<PrevMatch extends string, In extends string> = In extends `${infer Match}${infer Out}` ? Match extends letter | digit | '_' ? _TakeNameContinue<`${PrevMatch}${Match}`, Out> : [PrevMatch, In] : [PrevMatch, In];
+type _TakeName<In extends string> = In extends `${infer Match}${infer In}` ? Match extends letter | '_' ? _TakeNameContinue<Match, In> : void : void;
+type TakeName<In extends string> = _TakeName<In> extends [infer Out, infer In] ? [{
+    kind: Kind.NAME;
+    value: Out;
+}, In] : void;
+type TakeOptionalName<In extends string> = _TakeName<In> extends [infer Out, infer In] ? [{
+    kind: Kind.NAME;
+    value: Out;
+}, In] : [undefined, In];
+type TakeEnum<In extends string> = _TakeName<In> extends [infer Out, infer In] ? [{
+    kind: Kind.ENUM;
+    value: Out;
+}, In] : void;
+type TakeVariable<In extends string, Const extends boolean> = Const extends false ? In extends `${'$'}${infer In}` ? _TakeName<In> extends [infer Out, infer In] ? [{
+    kind: Kind.VARIABLE;
+    name: {
+        kind: Kind.NAME;
+        value: Out;
+    };
+}, In] : void : void : void;
+type TakeNumber<In extends string> = skipInt<In> extends `${infer In}` ? skipFloat<In> extends `${infer In}` ? [{
+    kind: Kind.FLOAT;
+    value: string;
+}, In] : [{
+    kind: Kind.INT;
+    value: string;
+}, In] : void;
+type TakeString<In extends string> = In extends `${'"""'}${infer In}` ? skipBlockString<In> extends `${infer In}` ? [{
+    kind: Kind.STRING;
+    value: string;
+    block: true;
+}, In] : void : In extends `${'"'}${infer In}` ? skipString<In> extends `${infer In}` ? [{
+    kind: Kind.STRING;
+    value: string;
+    block: false;
+}, In] : void : void;
+type TakeLiteral<In extends string> = In extends `${'null'}${infer In}` ? [{
+    kind: Kind.NULL;
+}, In] : In extends `${'true' | 'false'}${infer In}` ? [{
+    kind: Kind.BOOLEAN;
+    value: boolean;
+}, In] : void;
+type TakeValue<In extends string, Const extends boolean> = TakeLiteral<In> extends [
+    infer Node,
+    infer Rest
+] ? [Node, Rest] : TakeVariable<In, Const> extends [infer Node, infer Rest] ? [Node, Rest] : TakeNumber<In> extends [infer Node, infer Rest] ? [Node, Rest] : TakeEnum<In> extends [infer Node, infer Rest] ? [Node, Rest] : TakeString<In> extends [infer Node, infer Rest] ? [Node, Rest] : TakeList<In, Const> extends [infer Node, infer Rest] ? [Node, Rest] : TakeObject<In, Const> extends [infer Node, infer Rest] ? [Node, Rest] : void;
+type _TakeListContinue<Nodes extends unknown[], In extends string, Const extends boolean> = In extends `${']'}${infer In}` ? [{
+    kind: Kind.LIST;
+    values: Nodes;
+}, In] : TakeValue<skipIgnored<In>, Const> extends [infer Node, infer In] ? _TakeListContinue<[...Nodes, Node], skipIgnored<In>, Const> : void;
+type TakeList<In extends string, Const extends boolean> = In extends `${'['}${infer In}` ? _TakeListContinue<[], skipIgnored<In>, Const> : void;
+type TakeObjectField<In extends string, Const extends boolean> = TakeName<In> extends [
+    infer Name,
+    infer In
+] ? skipIgnored<In> extends `${':'}${infer In}` ? TakeValue<skipIgnored<In>, Const> extends [infer Value, infer In] ? [{
+    kind: Kind.OBJECT_FIELD;
+    name: Name;
+    value: Value;
+}, In] : void : void : void;
+type _TakeObjectContinue<Fields extends unknown[], In extends string, Const extends boolean> = In extends `${'}'}${infer In}` ? [{
+    kind: Kind.OBJECT;
+    fields: Fields;
+}, In] : TakeObjectField<skipIgnored<In>, Const> extends [infer Field, infer In] ? _TakeObjectContinue<[...Fields, Field], skipIgnored<In>, Const> : void;
+type TakeObject<In extends string, Const extends boolean> = In extends `${'{'}${infer In}` ? _TakeObjectContinue<[], skipIgnored<In>, Const> : void;
+type TakeArgument<In extends string, Const extends boolean> = TakeName<In> extends [
+    infer Name,
+    infer In
+] ? skipIgnored<In> extends `${':'}${infer In}` ? TakeValue<skipIgnored<In>, Const> extends [infer Value, infer In] ? [{
+    kind: Kind.ARGUMENT;
+    name: Name;
+    value: Value;
+}, In] : void : void : void;
+type _TakeArgumentsContinue<Arguments extends unknown[], In extends string, Const extends boolean> = In extends `${')'}${infer In}` ? Arguments extends [] ? void : [Arguments, In] : TakeArgument<In, Const> extends [infer Argument, infer In] ? _TakeArgumentsContinue<[...Arguments, Argument], skipIgnored<In>, Const> : void;
+type TakeArguments<In extends string, Const extends boolean> = In extends `${'('}${infer In}` ? _TakeArgumentsContinue<[], skipIgnored<In>, Const> : [[], In];
+type TakeDirective<In extends string, Const extends boolean> = In extends `${'@'}${infer In}` ? TakeName<In> extends [infer Name, infer In] ? TakeArguments<skipIgnored<In>, Const> extends [infer Arguments, infer In] ? [{
+    kind: Kind.DIRECTIVE;
+    name: Name;
+    arguments: Arguments;
+}, In] : void : void : void;
+type TakeDirectives<In extends string, Const extends boolean> = TakeDirective<In, Const> extends [infer Directive, infer In] ? TakeDirectives<skipIgnored<In>, Const> extends [[...infer Directives], infer In] ? [[Directive, ...Directives], In] : [[], In] : [[], In];
+type _TakeFieldName<In extends string> = TakeName<In> extends [infer MaybeAlias, infer In] ? skipIgnored<In> extends `${':'}${infer In}` ? TakeName<skipIgnored<In>> extends [infer Name, infer In] ? [MaybeAlias, Name, In] : void : [undefined, MaybeAlias, In] : void;
+type TakeField<In extends string> = _TakeFieldName<In> extends [
+    infer Alias,
+    infer Name,
+    infer In
+] ? TakeArguments<skipIgnored<In>, false> extends [infer Arguments, infer In] ? TakeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In] ? TakeSelectionSet<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.FIELD;
+        alias: Alias;
+        name: Name;
+        arguments: Arguments;
+        directives: Directives;
+        selectionSet: SelectionSet;
+    },
+    In
+] : void : void : void : void;
+type TakeType<In extends string> = In extends `${'['}${infer In}` ? TakeType<skipIgnored<In>> extends [infer Subtype, infer In] ? In extends `${']'}${infer In}` ? skipIgnored<In> extends `${'!'}${infer In}` ? [{
+    kind: Kind.NON_NULL_TYPE;
+    type: {
+        kind: 'ListType';
+        type: Subtype;
+    };
+}, In] : [{
+    kind: Kind.LIST_TYPE;
+    type: Subtype;
+}, In] : void : void : TakeName<skipIgnored<In>> extends [infer Name, infer In] ? skipIgnored<In> extends `${'!'}${infer In}` ? [{
+    kind: Kind.NON_NULL_TYPE;
+    type: {
+        kind: 'NamedType';
+        name: Name;
+    };
+}, In] : [{
+    kind: Kind.NAMED_TYPE;
+    name: Name;
+}, In] : void;
+type TakeTypeCondition<In extends string> = In extends `${'on'}${infer In}` ? TakeName<skipIgnored<In>> extends [infer Name, infer In] ? [{
+    kind: Kind.NAMED_TYPE;
+    name: Name;
+}, In] : void : void;
+type TakeFragmentSpread<In extends string> = In extends `${'...'}${infer In}` ? skipIgnored<In> extends `${'on'}${infer In}` ? TakeName<skipIgnored<In>> extends [infer Name, infer In] ? TakeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In] ? TakeSelectionSetContinue<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.INLINE_FRAGMENT;
+        typeCondition: {
+            kind: Kind.NAMED_TYPE;
+            name: Name;
+        };
+        directives: Directives;
+        selectionSet: SelectionSet;
+    },
+    In
+] : void : void : void : TakeName<skipIgnored<In>> extends [infer Name, infer In] ? TakeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In] ? [{
+    kind: Kind.FRAGMENT_SPREAD;
+    name: Name;
+    directives: Directives;
+}, In] : void : TakeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In] ? TakeSelectionSetContinue<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.INLINE_FRAGMENT;
+        typeCondition: undefined;
+        directives: Directives;
+        selectionSet: SelectionSet;
+    },
+    In
+] : void : void : void;
+type _TakeSelection<Selections extends unknown[], In extends string> = In extends `${'}'}${infer In}` ? [{
+    kind: Kind.SELECTION_SET;
+    selections: Selections;
+}, In] : TakeFragmentSpread<skipIgnored<In>> extends [infer Selection, infer In] ? _TakeSelection<[...Selections, Selection], skipIgnored<In>> : TakeField<skipIgnored<In>> extends [infer Selection, infer In] ? _TakeSelection<[...Selections, Selection], skipIgnored<In>> : void;
+type TakeSelectionSetContinue<In extends string> = In extends `${'{'}${infer In}` ? _TakeSelection<[], skipIgnored<In>> : void;
+type TakeSelectionSet<In extends string> = TakeSelectionSetContinue<In> extends [
+    infer SelectionSet,
+    infer In
+] ? [SelectionSet, In] : [undefined, In];
+type TakeVarDefinition<In extends string> = TakeVariable<In, false> extends [
+    infer Variable,
+    infer In
+] ? skipIgnored<In> extends `${':'}${infer In}` ? TakeType<skipIgnored<In>> extends [infer Type, infer In] ? skipIgnored<In> extends `${'='}${infer In}` ? TakeValue<skipIgnored<In>, true> extends [infer DefaultValue, infer In] ? TakeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In] ? [
+    {
+        kind: Kind.VARIABLE_DEFINITION;
+        variable: Variable;
+        type: Type;
+        defaultValue: DefaultValue;
+        directives: Directives;
+    },
+    In
+] : void : void : TakeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In] ? [
+    {
+        kind: Kind.VARIABLE_DEFINITION;
+        variable: Variable;
+        type: Type;
+        defaultValue: undefined;
+        directives: Directives;
+    },
+    In
+] : void : void : void : void;
+type _TakeVarDefinitionContinue<Definitions extends unknown[], In extends string> = In extends `${')'}${infer In}` ? [Definitions, In] : TakeVarDefinition<In> extends [infer Definition, infer In] ? _TakeVarDefinitionContinue<[...Definitions, Definition], skipIgnored<In>> : void;
+type TakeVarDefinitions<In extends string> = skipIgnored<In> extends `${'('}${infer In}` ? _TakeVarDefinitionContinue<[], skipIgnored<In>> : [[], In];
+type TakeFragmentDefinition<In extends string> = In extends `${'fragment'}${infer In}` ? TakeName<skipIgnored<In>> extends [infer Name, infer In] ? TakeTypeCondition<skipIgnored<In>> extends [infer TypeCondition, infer In] ? TakeDirectives<skipIgnored<In>, true> extends [infer Directives, infer In] ? TakeSelectionSetContinue<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.FRAGMENT_DEFINITION;
+        name: Name;
+        typeCondition: TypeCondition;
+        directives: Directives;
+        selectionSet: SelectionSet;
+    },
+    In
+] : void : void : void : void : void;
+type TakeOperation<In extends string> = In extends `${'query'}${infer In}` ? [OperationTypeNode.QUERY, In] : In extends `${'mutation'}${infer In}` ? [OperationTypeNode.MUTATION, In] : In extends `${'subscription'}${infer In}` ? [OperationTypeNode.SUBSCRIPTION, In] : void;
+type TakeOperationDefinition<In extends string> = TakeOperation<In> extends [
+    infer Operation,
+    infer In
+] ? TakeOptionalName<skipIgnored<In>> extends [infer Name, infer In] ? TakeVarDefinitions<skipIgnored<In>> extends [infer VarDefinitions, infer In] ? TakeDirectives<skipIgnored<In>, false> extends [infer Directives, infer In] ? TakeSelectionSetContinue<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.OPERATION_DEFINITION;
+        operation: Operation;
+        name: Name;
+        variableDefinitions: VarDefinitions;
+        directives: Directives;
+        selectionSet: SelectionSet;
+    },
+    In
+] : void : void : void : void : TakeSelectionSetContinue<skipIgnored<In>> extends [infer SelectionSet, infer In] ? [
+    {
+        kind: Kind.OPERATION_DEFINITION;
+        operation: OperationTypeNode.QUERY;
+        name: undefined;
+        variableDefinitions: [];
+        directives: [];
+        selectionSet: SelectionSet;
+    },
+    In
+] : void;
+type _TakeDocumentContinue<Definitions extends unknown[], In extends string> = TakeFragmentDefinition<In> extends [infer Definition, infer In] ? _TakeDocumentContinue<[...Definitions, Definition], skipIgnored<In>> : TakeOperationDefinition<In> extends [infer Definition, infer In] ? _TakeDocumentContinue<[...Definitions, Definition], skipIgnored<In>> : [Definitions, In];
+type ParseDocument<In extends string> = _TakeDocumentContinue<[], skipIgnored<In>> extends [
+    [
+        ...infer Definitions
+    ],
+    infer _
+] ? {
+    kind: Kind.DOCUMENT;
+    definitions: Definitions;
+} : void;
+type ParseValue<In> = TakeValue<skipIgnored<In>, false> extends [infer Node, string] ? Node : void;
+type ParseType<In> = TakeType<skipIgnored<In>> extends [infer Node, string] ? Node : void;
+type ParseOperation<In> = TakeOperation<skipIgnored<In>> extends [infer Node, string] ? Node : void;
+
+export { ParseDocument as Document, ParseOperation as Operation, ParseType as Type, ParseValue as Value };

package/dist/gql-tada.js

@@ -0,0 +1,2 @@
+
+//# sourceMappingURL=gql-tada.js.map

package/dist/gql-tada.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gql-tada.js","sources":[],"sourcesContent":[],"names":[],"mappings":""}

package/dist/gql-tada.mjs

@@ -0,0 +1,2 @@
+
+//# sourceMappingURL=gql-tada.mjs.map

package/dist/gql-tada.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"gql-tada.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,95 @@
+{
+  "name": "gql.tada",
+  "description": "The spec-compliant & magical GraphQL query language engine in the TypeScript type system",
+  "version": "0.0.0",
+  "author": "0no.co <hi@0no.co>",
+  "source": "./src/index.ts",
+  "main": "./dist/gql-tada",
+  "module": "./dist/gql-tada.mjs",
+  "types": "./dist/gql-tada.d.ts",
+  "sideEffects": false,
+  "files": [
+    "LICENSE.md",
+    "README.md",
+    "dist/"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/gql-tada.d.ts",
+      "import": "./dist/gql-tada.mjs",
+      "require": "./dist/gql-tada.js",
+      "source": "./src/index.ts"
+    },
+    "./package.json": "./package.json"
+  },
+  "dependencies": {
+    "@0no-co/graphql.web": "^1.0.4"
+  },
+  "public": true,
+  "keywords": [
+    "graphql",
+    "graphql-js",
+    "client-side graphql"
+  ],
+  "repository": "https://github.com/0no-co/gql.tada",
+  "bugs": {
+    "url": "https://github.com/0no-co/gql.tada/issues"
+  },
+  "license": "MIT",
+  "prettier": {
+    "singleQuote": true,
+    "tabWidth": 2,
+    "printWidth": 100
+  },
+  "lint-staged": {
+    "*.{ts,js}": "eslint -c scripts/eslint-preset.js --fix",
+    "*.json": "prettier --write",
+    "*.md": "prettier --write"
+  },
+  "eslintConfig": {
+    "root": true,
+    "extends": [
+      "./scripts/eslint-preset.js"
+    ]
+  },
+  "devDependencies": {
+    "@changesets/cli": "^2.26.2",
+    "@changesets/get-github-info": "^0.5.2",
+    "@rollup/plugin-buble": "^1.0.2",
+    "@rollup/plugin-commonjs": "^24.0.1",
+    "@rollup/plugin-node-resolve": "^15.0.1",
+    "@rollup/plugin-sucrase": "^5.0.1",
+    "@rollup/plugin-terser": "^0.4.0",
+    "@typescript-eslint/eslint-plugin": "^5.55.0",
+    "@typescript-eslint/parser": "^5.55.0",
+    "@vitest/coverage-c8": "^0.29.7",
+    "dotenv": "^16.0.3",
+    "eslint": "^8.36.0",
+    "eslint-config-prettier": "^8.7.0",
+    "eslint-plugin-prettier": "^4.2.1",
+    "eslint-plugin-tsdoc": "^0.2.17",
+    "graphql": "^16.6.0",
+    "lint-staged": "^13.2.0",
+    "npm-run-all": "^4.1.5",
+    "prettier": "^2.8.4",
+    "rimraf": "^4.4.0",
+    "rollup": "^3.19.1",
+    "rollup-plugin-cjs-check": "^1.0.2",
+    "rollup-plugin-dts": "^5.3.0",
+    "terser": "^5.16.6",
+    "typescript": "^5.0.2",
+    "vitest": "^0.29.7"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "test": "vitest typecheck",
+    "check": "tsc",
+    "lint": "eslint --ext=js,ts .",
+    "build": "rollup -c scripts/rollup.config.mjs",
+    "clean": "rimraf dist node_modules/.cache",
+    "changeset:version": "changeset version && pnpm install --lockfile-only",
+    "changeset:publish": "changeset publish"
+  }
+}