@model-ts/graphql 0.0.0-stage → 7.0.0

package/dist/Definitions.d.ts

@@ -0,0 +1,139 @@
+import type { Schema } from "effect";
+import type { GraphQLScalarType } from "graphql";
+import { GraphQLEnumType } from "graphql";
+import type { RuntimeRef, ConnectionRef, Field } from "./FieldTypes.ts";
+import { type FieldMap, type ResolverFields, type EnumFields, type SubscriptionFields, type CheckedFields, type SourceIssue, type SourceSlot } from "./FieldTypes.ts";
+import { type Description, type Contextual } from "./FieldTypes.ts";
+import { type Tag, type NamesOfKind, type RegistrationCheck, type CheckedMembers } from "./Registry.ts";
+import { type DefinitionKind } from "./Registry.ts";
+import type { AnyResolve, AnyConfig } from "./Resolver.ts";
+export interface ObjectDefinition<N extends string, A, F, O extends ObjectOptions = {}, C = {}> extends Contextual<C> {
+    readonly "~kind": "object";
+    readonly "~name": N;
+    readonly "~model": Schema.Schema<A>;
+    readonly "~description"?: string;
+    readonly "~implements"?: O["implements"];
+    readonly fields: F;
+}
+export interface NamedDefinition<K extends DefinitionKind, N extends string, A> {
+    readonly "~kind": K;
+    readonly "~name": N;
+    readonly "~model": Schema.Schema<A>;
+}
+export interface ScalarDefinition<K extends "scalar" | "enum", N extends string, S extends Schema.Top> extends NamedDefinition<K, N, S["Type"]> {
+    readonly "~scalar"?: GraphQLScalarType;
+    readonly schema: S["Rebuild"];
+}
+export interface InterfaceDefinition<N extends string, A, F, C = {}> extends NamedDefinition<"interface", N, A>, Contextual<C> {
+    readonly "~description"?: string;
+    readonly "~resolveType"?: (value: A) => string | null;
+    readonly fields: F;
+}
+export interface ObjectOptions extends Description {
+    readonly implements?: readonly string[];
+}
+export interface AbstractOptions<A, Members extends readonly string[]> extends Description {
+    readonly members: Members;
+    readonly resolveType?: (value: A) => NoInfer<Members[number]> | null;
+}
+export interface UnionDefinition<N extends string, A, Members extends readonly string[]> extends NamedDefinition<"union", N, A> {
+    readonly options: AbstractOptions<A, Members>;
+}
+export interface RootDefinition<K extends "query" | "mutation" | "subscription", F, C = {}> extends Contextual<C> {
+    readonly "~kind": K;
+    readonly fields: F;
+}
+/** Only the literal tag is read for implicit naming; output fields never inspect model ASTs. */
+export declare function tagName(model: {
+    readonly fields?: {
+        readonly _tag?: Schema.Constraint;
+    };
+}): string;
+export interface InterfaceOptions<Types, A> extends Description {
+    readonly resolveType?: (value: A) => NamesOfKind<Types, "object"> | null;
+}
+export type EnumValue<A> = A | ({
+    readonly value: A;
+} & Description);
+export interface EnumOptions<A> extends Description {
+    readonly values: Readonly<Record<string, EnumValue<A>>>;
+}
+type MappedValues<V> = V[keyof V] extends infer A ? A extends {
+    readonly value: infer Value;
+} ? Value : A : never;
+type CheckedEnumValues<A, V> = {
+    readonly [K in keyof V]: [MappedValues<Pick<V, K>>] extends [A] ? unknown : "Use a literal from the registered enum model";
+};
+export type CompleteEnum<A, V> = [Exclude<A, MappedValues<V>>] extends [never] ? unknown : {
+    readonly error: `Missing enum values: ${Exclude<A, MappedValues<V>> & string}; map every model literal in values`;
+};
+export interface EnumDefinition<N extends string, S extends Schema.Top> extends ScalarDefinition<"enum", N, S> {
+    readonly "~enum"?: EnumOptions<S["Type"]>;
+}
+/** Explicit member names are checked against the corresponding model, in order. */
+type NamedMembers<Types, M extends readonly Schema.Top[], Names extends readonly string[]> = Names["length"] extends M["length"] ? {
+    readonly [I in keyof Names]: I extends keyof M ? Names[I] & RegistrationCheck<Types, Names[I], M[I]["Type"], "object"> : never;
+} : {
+    readonly error: "Provide one registered object name per union model, in the same order";
+};
+type Implemented<O> = O extends {
+    readonly implements: readonly (infer I extends string)[];
+} ? I : never;
+/** Interface fields are known when the barrel is assembled, not at model registration. */
+export type CheckedInterfaces<Types, M> = {
+    readonly [K in keyof M]: M[K] extends ObjectDefinition<infer N, infer A, infer F, infer O, infer _C> ? {
+        readonly [I in Implemented<O>]: Extract<M[keyof M], {
+            readonly "~kind": "interface";
+            readonly "~name": I;
+        }> extends {
+            readonly fields: infer IF;
+        } ? {
+            readonly [P in Exclude<keyof IF, keyof F>]: [
+                SourceIssue<Types, A, P, IF[P]>
+            ] extends [never] ? IF[P] extends SourceSlot<A> ? never : P : P;
+        }[Exclude<keyof IF, keyof F>] extends infer Bad ? [Bad] extends [never] ? never : `${N}.${Bad & string}: cannot inherit ${I} field; supply a compatible source property or override with a resolver` : never : never;
+    }[Implemented<O>] extends infer Issue ? [Issue] extends [never] ? unknown : {
+        readonly error: Issue;
+    } : never : unknown;
+};
+export declare function mappedEnumeration(name: string, schema: Schema.Schema<string>, options: EnumOptions<string>): GraphQLEnumType;
+export interface DefinitionBuilder<Types, G, C> {
+    object<M extends Schema.Schema<{
+        readonly _tag: string;
+    }> & {
+        readonly fields: {
+            readonly _tag: Schema.Constraint;
+        };
+    }, const F extends FieldMap<M["Type"], C>>(model: M & RegistrationCheck<Types, Tag<M>, NoInfer<M["Type"]>, "object">, fields: F & CheckedFields<Types, Tag<M>, M["Type"], NoInfer<F>>): ObjectDefinition<Tag<M>, M["Type"], F, {}, C>;
+    object<M extends Schema.Schema<{
+        readonly _tag: string;
+    }> & {
+        readonly fields: {
+            readonly _tag: Schema.Constraint;
+        };
+    }, const F extends FieldMap<M["Type"], C>, const O extends ObjectOptions & {
+        readonly implements?: readonly NamesOfKind<Types, "interface">[];
+    }>(model: M & RegistrationCheck<Types, Tag<M>, NoInfer<M["Type"]>, "object">, options: O, fields: F & CheckedFields<Types, Tag<M>, M["Type"], NoInfer<F>>): ObjectDefinition<Tag<M>, M["Type"], F, O, C>;
+    object<const N extends string, A, const F extends FieldMap<A, C>, const O extends ObjectOptions & {
+        readonly implements?: readonly NamesOfKind<Types, "interface">[];
+    } = {}>(name: N & RegistrationCheck<Types, N, NoInfer<A>, "object">, model: Schema.Schema<A>, options: O, fields: F & CheckedFields<Types, N, A, NoInfer<F>>): ObjectDefinition<N, A, F, O, C>;
+    interface<const N extends string, A, const F extends FieldMap<A, C>>(name: N & RegistrationCheck<Types, N, NoInfer<A>, "interface">, model: Schema.Schema<A>, fields: F & CheckedFields<Types, N, A, NoInfer<F>>): InterfaceDefinition<N, A, F, C>;
+    interface<const N extends string, A, const F extends FieldMap<A, C>>(name: N & RegistrationCheck<Types, N, NoInfer<A>, "interface">, model: Schema.Schema<A>, options: InterfaceOptions<Types, NoInfer<A>>, fields: F & CheckedFields<Types, N, A, NoInfer<F>>): InterfaceDefinition<N, A, F, C>;
+    union<const N extends string, S extends Schema.Union<readonly Schema.Top[]>>(name: N & RegistrationCheck<Types, N, NoInfer<S["Type"]>, "union">, model: S & CheckedMembers<Types, NoInfer<S["members"]>>, options?: Description & {
+        readonly resolveType?: (value: S["Type"]) => NoInfer<Tag<S["members"][number]>> | null;
+    }): UnionDefinition<N, S["Type"], readonly Tag<S["members"][number]>[]>;
+    union<const N extends string, S extends Schema.Union<readonly Schema.Top[]>, const Members extends readonly string[]>(name: N & RegistrationCheck<Types, N, NoInfer<S["Type"]>, "union">, model: S, options: AbstractOptions<NoInfer<S["Type"]>, Members> & {
+        readonly members: Members & NamedMembers<Types, NoInfer<S["members"]>, Members>;
+    }): UnionDefinition<N, S["Type"], Members>;
+    scalar<const N extends string, S extends Schema.Top & Schema.Codec<unknown, unknown>>(name: N & RegistrationCheck<Types, N, NoInfer<S["Type"]>, "scalar">, codec: S, scalarType?: GraphQLScalarType): ScalarDefinition<"scalar", N, S>;
+    enum<const N extends string, S extends Schema.Literals<readonly string[]>>(name: N & RegistrationCheck<Types, N, NoInfer<S["Type"]>, "enum">, schema: S): EnumDefinition<N, S>;
+    enum<const N extends string, S extends Schema.Literals<readonly string[]>, const V extends Readonly<Record<string, EnumValue<string>>>>(name: N & RegistrationCheck<Types, N, NoInfer<S["Type"]>, "enum">, schema: S, options: Description & {
+        readonly values: V & CompleteEnum<NoInfer<S["Type"]>, V> & CheckedEnumValues<NoInfer<S["Type"]>, V>;
+    }): EnumDefinition<N, S>;
+    readonly queryField: EnumFields<Types, C, "query"> & ResolverFields<Types, G, C, "query">;
+    readonly mutationField: EnumFields<Types, C, "mutation"> & ResolverFields<Types, G, C, "mutation">;
+    readonly subscriptionField: SubscriptionFields<Types, G, C, "subscription">;
+}
+export declare function makeDefinitions<Types, G, C>(rootField: (ref: RuntimeRef | ConnectionRef<string>, input: AnyResolve | AnyConfig) => Field<unknown>): DefinitionBuilder<Types, G, C>;
+export {};
+//# sourceMappingURL=Definitions.d.ts.map

package/dist/Definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Definitions.d.ts","sourceRoot":"","sources":["../src/Definitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AAEzC,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvE,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACnE,OAAO,EACL,KAAK,GAAG,EACR,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACpB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAI1D,MAAM,WAAW,gBAAgB,CAC/B,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,EACD,CAAC,SAAS,aAAa,GAAG,EAAE,EAC5B,CAAC,GAAG,EAAE,CACN,SAAQ,UAAU,CAAC,CAAC,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CACnB;AAED,MAAM,WAAW,eAAe,CAC9B,CAAC,SAAS,cAAc,EACxB,CAAC,SAAS,MAAM,EAChB,CAAC;IAED,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CACpC;AAED,MAAM,WAAW,gBAAgB,CAC/B,CAAC,SAAS,QAAQ,GAAG,MAAM,EAC3B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,GAAG,CACpB,SAAQ,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAA;CAC9B;AAED,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CACjE,SAAQ,eAAe,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,GAAG,IAAI,CAAA;IACrD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CACnB;AAED,MAAM,WAAW,aAAc,SAAQ,WAAW;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,eAAe,CAC9B,CAAC,EACD,OAAO,SAAS,SAAS,MAAM,EAAE,CACjC,SAAQ,WAAW;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAA;CACrE;AAED,MAAM,WAAW,eAAe,CAC9B,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,OAAO,SAAS,SAAS,MAAM,EAAE,CACjC,SAAQ,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;CAC9C;AAED,MAAM,WAAW,cAAc,CAC7B,CAAC,SAAS,OAAO,GAAG,UAAU,GAAG,cAAc,EAC/C,CAAC,EACD,CAAC,GAAG,EAAE,CACN,SAAQ,UAAU,CAAC,CAAC,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CACnB;AAED,gGAAgG;AAChG,wBAAgB,OAAO,CAAC,KAAK,EAAE;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,UAAU,CAAA;KAAE,CAAA;CACxD,GAAG,MAAM,CAKT;AAED,MAAM,WAAW,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAE,SAAQ,WAAW;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAA;CACzE;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG,WAAW,CAAC,CAAA;AACpE,MAAM,WAAW,WAAW,CAAC,CAAC,CAAE,SAAQ,WAAW;IACjD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;CACxD;AAED,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAC7C,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACvC,KAAK,GACL,CAAC,GACH,KAAK,CAAA;AAET,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI;IAC7B,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAC3D,OAAO,GACP,8CAA8C;CACnD,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1E,OAAO,GACP;IACE,QAAQ,CAAC,KAAK,EAAE,wBAAwB,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,qCAAqC,CAAA;CAClH,CAAA;AAEL,MAAM,WAAW,cAAc,CAC7B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,MAAM,CAAC,GAAG,CACpB,SAAQ,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;CAC1C;AAED,mFAAmF;AACnF,KAAK,YAAY,CACf,KAAK,EACL,CAAC,SAAS,SAAS,MAAM,CAAC,GAAG,EAAE,EAC/B,KAAK,SAAS,SAAS,MAAM,EAAE,IAC7B,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GACnC;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,SAAS,MAAM,CAAC,GAC1C,KAAK,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GACrE,KAAK;CACV,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,uEAAuE,CAAA;CACxF,CAAA;AAEL,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;CACzD,GACG,CAAC,GACD,KAAK,CAAA;AAET,0FAA0F;AAC1F,MAAM,MAAM,iBAAiB,CAAC,KAAK,EAAE,CAAC,IAAI;IACxC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CACpD,MAAM,CAAC,EACP,MAAM,CAAC,EACP,MAAM,CAAC,EACP,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG;QACE,QAAQ,EAAE,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,CACrC,CAAC,CAAC,MAAM,CAAC,CAAC,EACV;YAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;SAAE,CACvD,SAAS;YAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;SAAE,GACnC;YACE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG;gBAC1C,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;aAChC,SAAS,CAAC,KAAK,CAAC,GACb,EAAE,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GACzB,KAAK,GACL,CAAC,GACH,CAAC;SACN,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,GAC7C,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACnB,KAAK,GACL,GAAG,CAAC,IAAI,GAAG,GAAG,MAAM,oBAAoB,CAAC,yEAAyE,GACpH,KAAK,GACP,KAAK;KACV,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,GACnC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GACrB,OAAO,GACP;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,GAC3B,KAAK,GACP,OAAO;CACZ,CAAA;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAC7B,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,eAAe,CA8BjB;AAED,MAAM,WAAW,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IAC5C,MAAM,CACJ,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG;QACnD,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAA;SAAE,CAAA;KACtD,EACD,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAEtC,KAAK,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,EACzE,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAC9D,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChD,MAAM,CACJ,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG;QACnD,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAA;SAAE,CAAA;KACtD,EACD,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EACtC,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAA;KACjE,EAED,KAAK,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,EACzE,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAC9D,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/C,MAAM,CACJ,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,CAAC,EACD,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAC9B,KAAK,CAAC,CAAC,SAAS,aAAa,GAAG;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAA;KACjE,GAAG,EAAE,EAEN,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAC3D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EACvB,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GACjD,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClC,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjE,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAC9D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EACvB,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GACjD,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClC,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACjE,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAC9D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EACvB,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAC5C,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GACjD,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClC,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EACzE,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAClE,KAAK,EAAE,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EACvD,OAAO,CAAC,EAAE,WAAW,GAAG;QACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,CACrB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KACb,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;KAC/C,GACA,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAA;IACtE,KAAK,CACH,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAC7C,KAAK,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,EAEvC,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAClE,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG;QACtD,QAAQ,CAAC,OAAO,EAAE,OAAO,GACvB,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;KACtD,GACA,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;IACzC,MAAM,CACJ,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,EAErD,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,EACnE,KAAK,EAAE,CAAC,EACR,UAAU,CAAC,EAAE,iBAAiB,GAC7B,gBAAgB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACnC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,QAAQ,CAAC,SAAS,MAAM,EAAE,CAAC,EACvE,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,EACjE,MAAM,EAAE,CAAC,GACR,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,IAAI,CACF,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,CAAC,SAAS,MAAM,CAAC,QAAQ,CAAC,SAAS,MAAM,EAAE,CAAC,EAC5C,KAAK,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAE3D,IAAI,EAAE,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,EACjE,MAAM,EAAE,CAAC,EACT,OAAO,EAAE,WAAW,GAAG;QACrB,QAAQ,CAAC,MAAM,EAAE,CAAC,GAChB,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACnC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAC3C,GACA,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,GAChD,cAAc,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC,GACtD,cAAc,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAA;IACzC,QAAQ,CAAC,iBAAiB,EAAE,kBAAkB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,CAAA;CAC5E;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EACzC,SAAS,EAAE,CACT,GAAG,EAAE,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,EACvC,KAAK,EAAE,UAAU,GAAG,SAAS,KAC1B,KAAK,CAAC,OAAO,CAAC,GAClB,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CA8HhC"}

package/dist/Definitions.js

@@ -0,0 +1,117 @@
+import { GraphQLEnumType } from "graphql";
+import {} from "./Assembly.js";
+import {} from "./FieldTypes.js";
+import {} from "./FieldTypes.js";
+import {} from "./Registry.js";
+import {} from "./Registry.js";
+import { input } from "./SchemaTypes.js";
+import { invalid, metadata } from "./SchemaTypes.js";
+/** Only the literal tag is read for implicit naming; output fields never inspect model ASTs. */
+export function tagName(model) {
+    const tag = model.fields?._tag?.ast;
+    return tag?._tag === "Literal" && typeof tag.literal === "string"
+        ? tag.literal
+        : invalid("Object model needs a literal _tag; use an explicit name");
+}
+export function mappedEnumeration(name, schema, options) {
+    const ast = schema.ast;
+    const literals = (ast._tag === "Union" ? ast.types : [ast]).map((value) => value._tag === "Literal" && typeof value.literal === "string"
+        ? value.literal
+        : invalid(`${name}: enums require string Schema.Literals`));
+    const values = Object.entries(options.values).map(([key, entry]) => {
+        const config = typeof entry === "string" ? { value: entry } : entry;
+        if (!literals.includes(config.value))
+            invalid(`${name}.${key}: value must be a model literal`);
+        return [key, config];
+    });
+    if (literals.some((literal) => !values.some(([, config]) => config.value === literal)))
+        invalid(`${name}: map every model literal in values`);
+    // Aliases are ambiguous on serialization: require one external name per internal value.
+    if (new Set(values.map(([, config]) => config.value)).size !== values.length)
+        invalid(`${name}: enum values must be unique; use one name per model literal`);
+    return new GraphQLEnumType({
+        name,
+        ...metadata(ast),
+        ...options,
+        values: Object.fromEntries(values),
+    });
+}
+export function makeDefinitions(rootField) {
+    const object = (...args) => {
+        const explicit = typeof args[0] === "string";
+        // Public overloads validate each positional argument before this boundary.
+        const model = (explicit ? args[1] : args[0]);
+        const name = explicit ? args[0] : tagName(model);
+        const rest = args.slice(explicit ? 2 : 1);
+        const options = (rest.length === 1 ? {} : rest[0]);
+        return {
+            "~kind": "object",
+            "~name": name,
+            "~model": model,
+            "~implements": options.implements ?? [],
+            ...(options.description === undefined
+                ? {}
+                : { "~description": options.description }),
+            fields: rest.at(-1),
+        };
+    };
+    // The overloads enforce registration and field contracts before this erased
+    // construction boundary; the runtime stores their validated metadata unchanged.
+    return {
+        object,
+        interface: (name, model, ...rest) => {
+            const [options, fieldMap] = rest.length === 1 ? [undefined, rest[0]] : rest;
+            return {
+                "~kind": "interface",
+                "~name": name,
+                "~model": model,
+                "~description": options?.description,
+                "~resolveType": options?.resolveType,
+                fields: fieldMap,
+            };
+        },
+        union: (name, model, options) => ({
+            "~kind": "union",
+            "~name": name,
+            "~model": model,
+            options: {
+                ...options,
+                members: options?.members ??
+                    model.members.map((member) => 
+                    // The implicit-members overload requires tagged models; explicit members bypass this branch.
+                    tagName(member)),
+            },
+        }),
+        scalar: (name, model, scalarType) => {
+            if (scalarType && scalarType.name !== name)
+                invalid(`Scalar name ${scalarType.name} does not match ${name}; register the scalar under its existing name`);
+            return {
+                "~kind": "scalar",
+                "~name": name,
+                "~model": model,
+                schema: input(name, model),
+                "~scalar": scalarType,
+            };
+        },
+        enum: (name, model, options) => ({
+            "~enum": options,
+            "~kind": "enum",
+            "~name": name,
+            "~model": model,
+            schema: input(name, model),
+        }),
+        queryField: (name, ref, input) => ({
+            "~kind": "query",
+            fields: { [name]: rootField(ref, input) },
+        }),
+        mutationField: (name, ref, input) => ({
+            "~kind": "mutation",
+            fields: { [name]: rootField(ref, input) },
+        }),
+        subscriptionField: (name, ref, input) => ({
+            "~kind": "subscription",
+            fields: { [name]: rootField(ref, input) },
+        }),
+    };
+}
+//# sourceMappingURL=Definitions.js.map

package/dist/Definitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Definitions.js","sourceRoot":"","sources":["../src/Definitions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AACzC,OAAO,EAAsB,MAAM,eAAe,CAAA;AAElD,OAAO,EAQN,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAqC,MAAM,iBAAiB,CAAA;AACnE,OAAO,EAKN,MAAM,eAAe,CAAA;AACtB,OAAO,EAAuB,MAAM,eAAe,CAAA;AAEnD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAwEpD,gGAAgG;AAChG,MAAM,UAAU,OAAO,CAAC,KAEvB;IACC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAA;IACnC,OAAO,GAAG,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAC/D,CAAC,CAAC,GAAG,CAAC,OAAO;QACb,CAAC,CAAC,OAAO,CAAC,yDAAyD,CAAC,CAAA;AACxE,CAAC;AA6FD,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,MAA6B,EAC7B,OAA4B;IAE5B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAA;IACtB,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxE,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QAC3D,CAAC,CAAC,KAAK,CAAC,OAAO;QACf,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,wCAAwC,CAAC,CAC7D,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;QACnE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;YAClC,OAAO,CAAC,GAAG,IAAI,IAAI,GAAG,iCAAiC,CAAC,CAAA;QAC1D,OAAO,CAAC,GAAG,EAAE,MAAM,CAAU,CAAA;IAC/B,CAAC,CAAC,CAAA;IACF,IACE,QAAQ,CAAC,IAAI,CACX,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,CACpE;QAED,OAAO,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAA;IACvD,wFAAwF;IACxF,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAC1E,OAAO,CACL,GAAG,IAAI,8DAA8D,CACtE,CAAA;IACH,OAAO,IAAI,eAAe,CAAC;QACzB,IAAI;QACJ,GAAG,QAAQ,CAAC,GAAG,CAAC;QAChB,GAAG,OAAO;QACV,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;KACnC,CAAC,CAAA;AACJ,CAAC;AAsGD,MAAM,UAAU,eAAe,CAC7B,SAGmB;IAEnB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAwB,EAAE,EAAE;QAC7C,MAAM,QAAQ,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAA;QAC5C,2EAA2E;QAC3E,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAE1C,CAAA;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzC,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAkB,CAAA;QACnE,OAAO;YACL,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,KAAK;YACf,aAAa,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;YACvC,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS;gBACnC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;YAC5C,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SACpB,CAAA;IACH,CAAC,CAAA;IACD,4EAA4E;IAC5E,gFAAgF;IAChF,OAAO;QACL,MAAM;QACN,SAAS,EAAE,CACT,IAAY,EACZ,KAAiB,EACjB,GAAG,IAOE,EACL,EAAE;YACF,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GACvB,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YACjD,OAAO;gBACL,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,OAAO,EAAE,WAAW;gBACpC,cAAc,EAAE,OAAO,EAAE,WAAW;gBACpC,MAAM,EAAE,QAAQ;aACjB,CAAA;QACH,CAAC;QACD,KAAK,EAAE,CACL,IAAY,EACZ,KAA0C,EAC1C,OAGC,EACD,EAAE,CAAC,CAAC;YACJ,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE;gBACP,GAAG,OAAO;gBACV,OAAO,EACL,OAAO,EAAE,OAAO;oBAChB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;oBAC3B,6FAA6F;oBAC7F,OAAO,CACL,MAEC,CACF,CACF;aACJ;SACF,CAAC;QACF,MAAM,EAAE,CACN,IAAY,EACZ,KAAiB,EACjB,UAA8B,EAC9B,EAAE;YACF,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI;gBACxC,OAAO,CACL,eAAe,UAAU,CAAC,IAAI,mBAAmB,IAAI,+CAA+C,CACrG,CAAA;YACH,OAAO;gBACL,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;gBAC1B,SAAS,EAAE,UAAU;aACtB,CAAA;QACH,CAAC;QACD,IAAI,EAAE,CACJ,IAAY,EACZ,KAAyC,EACzC,OAA6B,EAC7B,EAAE,CAAC,CAAC;YACJ,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;SAC3B,CAAC;QACF,UAAU,EAAE,CACV,IAAY,EACZ,GAAuC,EACvC,KAA6B,EAC7B,EAAE,CAAC,CAAC;YACJ,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;SAC1C,CAAC;QACF,aAAa,EAAE,CACb,IAAY,EACZ,GAAuC,EACvC,KAA6B,EAC7B,EAAE,CAAC,CAAC;YACJ,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;SAC1C,CAAC;QACF,iBAAiB,EAAE,CACjB,IAAY,EACZ,GAAuC,EACvC,KAA6B,EAC7B,EAAE,CAAC,CAAC;YACJ,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;SAC1C,CAAC;KAC0C,CAAA;AAChD,CAAC"}

package/dist/Errors.d.ts

@@ -0,0 +1,39 @@
+import { Cause, Context, Effect } from "effect";
+import { GraphQLError } from "graphql";
+import { type ErrorSchema, type ErrorsOf } from "./Results.ts";
+export interface ErrorPolicyOptions<I extends readonly ErrorSchema[], P extends readonly ErrorSchema[]> {
+    /** Infrastructure failures are always masked. */
+    readonly internal?: I;
+    /** Only declared fields of these errors may reach clients. */
+    readonly public?: P;
+    /** Preserve an existing API's codes; unspecified tags use their own name. */
+    readonly publicCodes?: [P[number]] extends [never] ? never : Partial<Record<ErrorsOf<NoInfer<P>>["_tag"], string>>;
+}
+export interface ErrorPolicy {
+    readonly internal: readonly ErrorSchema[];
+    readonly public: readonly ErrorSchema[];
+    readonly publicCodes?: Readonly<Record<string, string>>;
+}
+export declare const defaultErrorPolicy: ErrorPolicy;
+export interface ErrorReport {
+    /** Unmodified Effect cause, including defects and tracing annotations. */
+    readonly cause: Cause.Cause<unknown>;
+    readonly coordinate: string;
+    readonly phase: "resolve" | "authorize" | "subscribe" | "execute";
+}
+declare const ErrorReporter_base: Context.ServiceClass<ErrorReporter, "@model-ts/graphql/ErrorReporter", {
+    readonly report: (event: ErrorReport) => Effect.Effect<void>;
+}>;
+/** Optional per-runtime telemetry. Capture dependencies when constructing its layer. */
+export declare class ErrorReporter extends ErrorReporter_base {
+}
+export declare const isBoundaryError: (error: unknown) => boolean;
+export declare const fieldError: (message: string, extensions: Readonly<Record<string, unknown>>, cause?: Cause.Cause<unknown>) => GraphQLError;
+export declare const forbidden: (field: string) => GraphQLError;
+export declare const resultSource: (value: unknown) => unknown;
+export declare const recoverCause: (cause: Cause.Cause<unknown>, members: readonly ErrorSchema[], policy: ErrorPolicy, location: Omit<ErrorReport, "cause">) => Effect.Effect<unknown>;
+/** Handles both synchronous throws and Effect failures, before the Promise bridge. */
+export declare const protect: (evaluate: () => unknown, members: readonly ErrorSchema[], policy: ErrorPolicy, location: Omit<ErrorReport, "cause">) => Effect.Effect<unknown, never, unknown>;
+export declare function declaredFields(schema: ErrorSchema, error: object): Record<string, unknown>;
+export {};
+//# sourceMappingURL=Errors.d.ts.map

package/dist/Errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Errors.d.ts","sourceRoot":"","sources":["../src/Errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAkB,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,QAAQ,EAGd,MAAM,cAAc,CAAA;AAErB,MAAM,WAAW,kBAAkB,CACjC,CAAC,SAAS,SAAS,WAAW,EAAE,EAChC,CAAC,SAAS,SAAS,WAAW,EAAE;IAEhC,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACnB,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9C,KAAK,GACL,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;CAC1D;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CACxD;AAED,eAAO,MAAM,kBAAkB,EAAE,WAA0C,CAAA;AAE3E,MAAM,WAAW,WAAW;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,CAAA;CAClE;;qBAMoB,CAAC,KAAK,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAJhE,wFAAwF;AACxF,qBAAa,aAAc,SAAQ,kBAKG;CAAG;AAKzC,eAAO,MAAM,eAAe,UAAW,OAAO,KAAG,OACI,CAAA;AAErD,eAAO,MAAM,UAAU,YACZ,MAAM,cACH,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,UACrC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAC3B,YAOF,CAAA;AAED,eAAO,MAAM,SAAS,UAAW,MAAM,KAAG,YAGtC,CAAA;AAKJ,eAAO,MAAM,YAAY,UAAW,OAAO,KAAG,OAGnC,CAAA;AAiCX,eAAO,MAAM,YAAY,UAChB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,WAClB,SAAS,WAAW,EAAE,UACvB,WAAW,YACT,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,KACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAyBpB,CAAA;AAEJ,sFAAsF;AACtF,eAAO,MAAM,OAAO,aACR,MAAM,OAAO,WACd,SAAS,WAAW,EAAE,UACvB,WAAW,YACT,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,KACnC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CA8BrC,CAAA;AAEH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,MAAM,GACZ,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAKzB"}

package/dist/Errors.js

@@ -0,0 +1,103 @@
+import { Cause, Context, Effect, Option, Schema } from "effect";
+import { GraphQLError } from "graphql";
+import { errorMember, errorName, } from "./Results.js";
+export const defaultErrorPolicy = { internal: [], public: [] };
+/** Optional per-runtime telemetry. Capture dependencies when constructing its layer. */
+export class ErrorReporter extends Context.Service()("@model-ts/graphql/ErrorReporter") {
+}
+// A GraphQLError from user code is not permission to disclose its message.
+// Only errors created by our boundaries, or declared in a policy, are trusted.
+const trusted = new WeakSet();
+export const isBoundaryError = (error) => error instanceof GraphQLError && trusted.has(error);
+export const fieldError = (message, extensions, cause) => {
+    const error = new GraphQLError(message, {
+        ...(cause ? { originalError: new Error(message, { cause }) } : {}),
+        extensions,
+    });
+    trusted.add(error);
+    return error;
+};
+export const forbidden = (field) => fieldError(`You don't have permission to access field "${field}"`, {
+    code: "FORBIDDEN",
+});
+// Wrappers are not Errors (graphql-js treats Error values as failures). Keep the
+// class instance private while the enumerable projection exposes only declared fields.
+const resultInstances = new WeakMap();
+export const resultSource = (value) => typeof value === "object" && value !== null
+    ? (resultInstances.get(value) ?? value)
+    : value;
+/** Maps declared typed failures; undefined means the failure must be masked. */
+function visibleFailure(error, members, policy) {
+    if (isBoundaryError(error))
+        return error;
+    if (typeof error !== "object" || error === null)
+        return undefined;
+    const matches = (schema) => Schema.is(schema)(error);
+    if (policy.internal.some(matches))
+        return undefined;
+    const member = members.find(matches);
+    if (member) {
+        const wrapper = {
+            ...declaredFields(member, error),
+            [errorMember]: errorName(member),
+        };
+        resultInstances.set(wrapper, error);
+        return wrapper;
+    }
+    const visible = policy.public.find(matches);
+    if (visible) {
+        const { _tag, message, ...extensions } = declaredFields(visible, error);
+        const tag = errorName(visible);
+        return fieldError(String(message ?? tag), {
+            ...extensions,
+            code: policy.publicCodes?.[tag] ?? tag,
+        });
+    }
+    return undefined;
+}
+export const recoverCause = (cause, members, policy, location) => Effect.gen(function* () {
+    // Do not turn cancellation into an error response or a telemetry incident.
+    if (Cause.hasInterruptsOnly(cause))
+        return yield* Effect.interrupt;
+    const reason = cause.reasons.length === 1 ? cause.reasons[0] : undefined;
+    const original = reason?._tag === "Fail"
+        ? reason.error
+        : reason?._tag === "Die"
+            ? reason.defect
+            : undefined;
+    const visible = visibleFailure(original, members, policy);
+    if (visible !== undefined)
+        return visible;
+    const reporter = yield* Effect.serviceOption(ErrorReporter);
+    if (Option.isSome(reporter)) {
+        // Telemetry must never replace the original failure or disclose its own defect.
+        yield* Effect.suspend(() => reporter.value.report({ cause, ...location })).pipe(Effect.catchCause(() => Effect.void));
+    }
+    return fieldError("Internal server error", { code: "INTERNAL_SERVER_ERROR" }, cause);
+});
+/** Handles both synchronous throws and Effect failures, before the Promise bridge. */
+export const protect = (evaluate, members, policy, location) => Effect.suspend(() => {
+    const output = evaluate();
+    if (output instanceof Error)
+        return Effect.fail(output);
+    return Effect.isEffect(output) ? output : Effect.succeed(output);
+}).pipe(Effect.flatMap((value) => {
+    if (value instanceof Error)
+        return Effect.fail(value);
+    // JavaScript callers can bypass the type contract. A truthy Promise must
+    // never authorize a request or run outside the Effect cancellation boundary.
+    if (value !== null &&
+        (typeof value === "object" || typeof value === "function") &&
+        "then" in value &&
+        typeof value.then === "function") {
+        return Effect.die(new Error("Return a value or Effect; wrap Promise APIs with Effect.tryPromise"));
+    }
+    return Effect.succeed(value);
+}), Effect.catchCause((cause) => recoverCause(cause, members, policy, location)), Effect.withSpan(`GraphQL.${location.phase}`, {
+    attributes: { "graphql.field": location.coordinate },
+}));
+export function declaredFields(schema, error) {
+    // Error.message can be non-enumerable; never copy stack/cause/incidental fields.
+    return Object.fromEntries(Object.keys(schema.fields).map((key) => [key, Reflect.get(error, key)]));
+}
+//# sourceMappingURL=Errors.js.map

package/dist/Errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Errors.js","sourceRoot":"","sources":["../src/Errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAGL,WAAW,EACX,SAAS,GACV,MAAM,cAAc,CAAA;AAsBrB,MAAM,CAAC,MAAM,kBAAkB,GAAgB,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;AAS3E,wFAAwF;AACxF,MAAM,OAAO,aAAc,SAAQ,OAAO,CAAC,OAAO,EAK/C,CAAC,iCAAiC,CAAC;CAAG;AAEzC,2EAA2E;AAC3E,+EAA+E;AAC/E,MAAM,OAAO,GAAG,IAAI,OAAO,EAAgB,CAAA;AAC3C,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAc,EAAW,EAAE,CACzD,KAAK,YAAY,YAAY,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAErD,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAAe,EACf,UAA6C,EAC7C,KAA4B,EACd,EAAE;IAChB,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,OAAO,EAAE;QACtC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,UAAU;KACX,CAAC,CAAA;IACF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAClB,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAgB,EAAE,CACvD,UAAU,CAAC,8CAA8C,KAAK,GAAG,EAAE;IACjE,IAAI,EAAE,WAAW;CAClB,CAAC,CAAA;AAEJ,iFAAiF;AACjF,uFAAuF;AACvF,MAAM,eAAe,GAAG,IAAI,OAAO,EAAkB,CAAA;AACrD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAc,EAAW,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;IACzC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;IACvC,CAAC,CAAC,KAAK,CAAA;AAEX,gFAAgF;AAChF,SAAS,cAAc,CACrB,KAAc,EACd,OAA+B,EAC/B,MAAmB;IAEnB,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACjE,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAA;IACjE,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAA;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG;YACd,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC;YAChC,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;SACjC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACnC,OAAO,OAAO,CAAA;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACvE,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;QAC9B,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE;YACxC,GAAG,UAAU;YACb,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG;SACvC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAA2B,EAC3B,OAA+B,EAC/B,MAAmB,EACnB,QAAoC,EACZ,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,2EAA2E;IAC3E,IAAI,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAA;IAClE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxE,MAAM,QAAQ,GACZ,MAAM,EAAE,IAAI,KAAK,MAAM;QACrB,CAAC,CAAC,MAAM,CAAC,KAAK;QACd,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK;YACtB,CAAC,CAAC,MAAM,CAAC,MAAM;YACf,CAAC,CAAC,SAAS,CAAA;IACjB,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IACzD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAA;IACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;IAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,gFAAgF;QAChF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACzB,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC,CAC9C,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,UAAU,CACf,uBAAuB,EACvB,EAAE,IAAI,EAAE,uBAAuB,EAAE,EACjC,KAAK,CACN,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,QAAuB,EACvB,OAA+B,EAC/B,MAAmB,EACnB,QAAoC,EACI,EAAE,CAC1C,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAA;IACzB,IAAI,MAAM,YAAY,KAAK;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;AAClE,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;IACvB,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrD,yEAAyE;IACzE,6EAA6E;IAC7E,IACE,KAAK,KAAK,IAAI;QACd,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAC1D,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,EAChC,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,KAAK,CACP,oEAAoE,CACrE,CACF,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAC/C,EACD,MAAM,CAAC,QAAQ,CAAC,WAAW,QAAQ,CAAC,KAAK,EAAE,EAAE;IAC3C,UAAU,EAAE,EAAE,eAAe,EAAE,QAAQ,CAAC,UAAU,EAAE;CACrD,CAAC,CACH,CAAA;AAEH,MAAM,UAAU,cAAc,CAC5B,MAAmB,EACnB,KAAa;IAEb,iFAAiF;IACjF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CACxE,CAAA;AACH,CAAC"}

package/dist/Execution.d.ts

@@ -0,0 +1,52 @@
+import { type FormattedExecutionResult } from "./Formatting.ts";
+export type { FormattedExecutionResult } from "./Formatting.ts";
+import { Effect, Stream } from "effect";
+import { type GraphQLSchema, type DocumentNode, type ExecutionResult as GraphQLExecutionResult } from "graphql";
+import { type ErrorPolicy } from "./Errors.ts";
+import { type Contextual } from "./FieldTypes.ts";
+export declare const schemaRequirements: unique symbol;
+export declare const schemaErrorPolicy: unique symbol;
+export interface BuiltSchema<out R, C = {}> extends Contextual<C> {
+    readonly schema: GraphQLSchema;
+    readonly [schemaRequirements]: R | undefined;
+    readonly [schemaErrorPolicy]?: ErrorPolicy;
+}
+export type ExecutionResult = GraphQLExecutionResult<{
+    readonly [key: string]: unknown;
+}, {
+    readonly [key: string]: unknown;
+}>;
+export interface Request {
+    readonly source: string;
+    readonly variableValues?: {
+        readonly [name: string]: unknown;
+    };
+    readonly operationName?: string;
+}
+export type Json = null | boolean | number | string | readonly Json[] | {
+    readonly [key: string]: Json;
+};
+/** Structural transport contract: no dependency on a particular HTTP/WS adapter. */
+export interface Execution<C> {
+    readonly document: DocumentNode;
+    readonly request: {
+        readonly query: string;
+        readonly variables?: Record<string, Json> | null;
+        readonly operationName?: string | null;
+        readonly extensions?: Record<string, Json> | null;
+    };
+    readonly context: C;
+}
+export interface Executor<C, E = never, R = never> {
+    /** Standard schema validation runs here so scalar failures use the executor error policy. */
+    readonly validation: "executor";
+    readonly schema: GraphQLSchema;
+    readonly execute: (input: Execution<C>) => Effect.Effect<FormattedExecutionResult, E, R>;
+    readonly subscribe: (input: Execution<C>) => Stream.Stream<FormattedExecutionResult, E, R>;
+}
+/** Required when the builder declares a context type; optional for builders without one. */
+export type ContextArgument<C> = {} extends C ? [context?: C] : [context: C];
+export declare const execute: <R, C>(built: BuiltSchema<R, C>, request: Request, ...context: ContextArgument<NoInfer<C>>) => Effect.Effect<ExecutionResult, never, R>;
+export declare const subscribe: <R, C>(built: BuiltSchema<R, C>, request: Request, ...context: ContextArgument<NoInfer<C>>) => Stream.Stream<ExecutionResult, never, R>;
+export declare const executor: <R, C>(built: BuiltSchema<R, C>) => Executor<C, never, R>;
+//# sourceMappingURL=Execution.d.ts.map

package/dist/Execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Execution.d.ts","sourceRoot":"","sources":["../src/Execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AAE7E,YAAY,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AAE/D,OAAO,EAAS,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,YAAY,EAOjB,KAAK,eAAe,IAAI,sBAAsB,EAC/C,MAAM,SAAS,CAAA;AAChB,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAuB,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAWtE,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAEvC,CAAA;AACD,eAAO,MAAM,iBAAiB,EAAE,OAAO,MAEtC,CAAA;AAED,MAAM,WAAW,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAE,SAAQ,UAAU,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;IAC5C,QAAQ,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,WAAW,CAAA;CAC3C;AAED,MAAM,MAAM,eAAe,GAAG,sBAAsB,CAClD;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,EACnC;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CACpC,CAAA;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAA;IAC9D,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAChC;AAED,MAAM,MAAM,IAAI,GACZ,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,IAAI,EAAE,GACf;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAA;AAEpC,oFAAoF;AACpF,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;QAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QACtC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;KAClD,CAAA;IACD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED,MAAM,WAAW,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IAC/C,6FAA6F;IAC7F,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,CAChB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAChB,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,SAAS,EAAE,CAClB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAChB,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACnD;AAED,4FAA4F;AAC5F,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAsM5E,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,SACnB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,WACf,OAAO,cACJ,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,CAAC,CAWtC,CAAA;AAEJ,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,SACrB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,WACf,OAAO,cACJ,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,CAAC,CAWtC,CAAA;AAEJ,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,SACpB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KACvB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CA4BtB,CAAA"}