grafast 0.1.1-beta.23 → 0.1.1-beta.25

package/dist/engine/lib/defaultPlanResolver.js

@@ -1,7 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.defaultPlanResolver = void 0;
-const access_js_1 = require("../../steps/access.js");
-const defaultPlanResolver = ($step, _, info) => (0, access_js_1.get)($step, info.fieldName);
+const get_js_1 = require("../../steps/get.js");
+const defaultPlanResolver = ($step, _, info) => (0, get_js_1.get)($step, info.fieldName);
 exports.defaultPlanResolver = defaultPlanResolver;
 //# sourceMappingURL=defaultPlanResolver.js.map

package/dist/index.d.ts

@@ -6,7 +6,7 @@ import type { DataFromObjectSteps } from "./steps/object.js";
 type PromiseOrValue<T> = T | Promise<T>;
 import { exportAs, exportAsMany } from "./exportAs.js";
 import { grafastPrint } from "./grafastPrint.js";
-import { AbstractTypePlan, DeprecatedInputObjectPlan, DeprecatedObjectPlan, EnumPlan, EnumValueConfig, EnumValueInput, FieldPlan, GrafastSchemaConfig, InputFieldPlan, InputObjectPlan, InterfacePlan, makeGrafastSchema, ObjectFieldConfig, ObjectPlan, ScalarPlan, UnionPlan } from "./makeGrafastSchema.js";
+import { AbstractTypePlan, DeprecatedInputObjectPlan, DeprecatedObjectPlan, EnumPlan, EnumValueConfig, EnumValueInput, FieldPlan, GrafastSchemaConfig, InputFieldPlan, InputObjectFieldConfig, InputObjectPlan, InterfacePlan, makeGrafastSchema, ObjectFieldConfig, ObjectPlan, ScalarPlan, UnionPlan } from "./makeGrafastSchema.js";
 import type { $$cacheByOperation, $$hooked, $$queryCache } from "./constants.js";
 import { $$bypassGraphQL, $$eventEmitter, $$extensions, $$idempotent, $$verbatim, DEFAULT_ACCEPT_FLAGS } from "./constants.js";
 import { defer, Deferred } from "./deferred.js";
@@ -31,7 +31,7 @@ import { stripAnsi } from "./stripAnsi.js";
 import { subscribe } from "./subscribe.js";
 import { arrayOfLength, arraysMatch, getEnumValueConfig, getEnumValueConfigs, GrafastInputFieldConfigMap, GrafastInputObjectType, GrafastObjectType, inputObjectFieldSpec, InputObjectTypeSpec, isPromiseLike, mapsMatch, newGrafastFieldConfigBuilder, newInputObjectTypeBuilder, newObjectTypeBuilder, objectFieldSpec, objectSpec, ObjectTypeFields, ObjectTypeSpec, recordsMatch, setsMatch, stepADependsOnStepB, stepAMayDependOnStepB, stepAShouldTryAndInlineIntoStepB, stepsAreInSamePhase } from "./utils.js";
 export { isAsyncIterable } from "iterall";
-export { __FlagStep, __InputListStep, __InputObjectStep, __InputObjectStepWithDollars, __InputStaticLeafStep, __ItemStep, __ListTransformStep, __TrackedValueStep, __TrackedValueStepWithDollars, __ValueStep, $$bypassGraphQL, $$eventEmitter, $$extensions, $$idempotent, $$inhibit, $$verbatim, AbstractTypePlan, AbstractTypePlanner, access, AccessStep, ActualKeyByDesiredKey, applyInput, ApplyInputStep, applyTransforms, ApplyTransformsStep, arrayOfLength, arraysMatch, assertEdgeCapableStep, assertExecutableStep, assertListCapableStep, assertModifier, assertNotNull, assertPageInfoCapableStep, assertStep, bakedInput, bakedInputRuntime, BakedInputStep, BaseEventMap, BaseGraphQLArguments, BaseGraphQLRootValue, BaseGraphQLVariables, BatchExecutionValue, coalesce, CoalesceStep, condition, ConditionStep, connection, ConnectionCapableStep, ConnectionStep, constant, ConstantStep, context, createObjectAndApplyChildren, DataFromObjectSteps, DataFromStep, debugPlans, DEFAULT_ACCEPT_FLAGS, defaultPlanResolver, defer, Deferred, DeprecatedInputObjectPlan, DeprecatedObjectPlan, each, EdgeCapableStep, EdgeStep, EnumPlan, EnumValueConfig, EnumValueInput, error, ErrorStep, EventCallback, EventMapKey, Step as ExecutableStep, execute, ExecutionDetails, ExecutionDetailsStream, ExecutionEventEmitter, ExecutionEventMap, ExecutionExtra, ExecutionResults, ExecutionResultValue, ExecutionValue, exportAs, exportAsMany, FieldArg, FieldArgs, FieldInfo, FieldPlan, FieldPlanResolver, filter, FilterPlanMemo, first, FirstStep, flagError, get, getEnumValueConfig, getEnumValueConfigs, getGrafastMiddleware, getNullableInputTypeAtPath, grafast, GrafastArgumentConfig, GrafastExecutionArgs, GrafastFieldConfig, GrafastFieldConfigArgumentMap, grafast as grafastGraphql, grafastSync as grafastGraphqlSync, GrafastInputFieldConfig, GrafastInputFieldConfigMap, GrafastInputObjectType, GrafastObjectType, GrafastPlanJSON, grafastPrint, GrafastResultsList, GrafastResultStreamList, GrafastSchemaConfig, GrafastSubscriber, grafastSync, GrafastValuesList, graphqlResolver, GraphQLResolverStep, groupBy, GroupByPlanMemo, inhibitOnNull, InputFieldPlan, InputObjectFieldApplyResolver, inputObjectFieldSpec, InputObjectPlan, InputObjectTypeBakedInfo, InputObjectTypeBakedResolver, InputObjectTypeSpec, inspect, AbstractTypePlan as InterfaceOrUnionPlans, InterfacePlan, isDev, isExecutableStep, isListCapableStep, isListLikeStep, isModifier, isObjectLikeStep, isPromiseLike, isSafeError, isStep, isUnaryStep, JSONArray, JSONObject, JSONValue, lambda, LambdaStep, last, LastStep, list, ListCapableStep, listen, ListenStep, ListLikeStep, ListStep, listTransform, ListTransformItemPlanCallback, ListTransformOptions, ListTransformReduce, LoadedRecordStep, loadMany, LoadManyCallback, loadManyCallback, loadOne, LoadOneCallback, loadOneCallback, LoadOptions, LoadStep, makeDecodeNodeId, makeDecodeNodeIdRuntime, makeGrafastSchema, mapsMatch, Maybe, Modifier, Multistep, multistep, newGrafastFieldConfigBuilder, newInputObjectTypeBuilder, newObjectTypeBuilder, node, NodeIdCodec, nodeIdFromNode, NodeIdHandler, NodeStep, noop, object, ObjectFieldConfig, objectFieldSpec, ObjectLikeStep, ObjectPlan, ObjectPlanMeta, objectSpec, ObjectStep, ObjectTypeFields, ObjectTypeSpec, OperationPlan, operationPlan, PageInfoCapableStep, partitionByIndex, PlanTypeInfo, PromiseOrDirect, proxy, ProxyStep, recordsMatch, remapKeys, RemapKeysStep, reverse, reverseArray, ReverseStep, rootValue, SafeError, ScalarPlan, ScalarPlanResolver, setsMatch, Setter, setter, SetterCapable, sideEffect, SideEffectStep, specFromNodeId, Step, stepADependsOnStepB, stepAMayDependOnStepB, stepAShouldTryAndInlineIntoStepB, StepOptimizeOptions, stepsAreInSamePhase, StepStreamOptions, stringifyPayload, stripAnsi, subscribe, trap, TRAP_ERROR, TRAP_ERROR_OR_INHIBITED, TRAP_INHIBITED, TypedEventEmitter, UnaryExecutionValue, UnbatchedStep as UnbatchedExecutableStep, UnbatchedExecutionExtra, UnbatchedStep, UnionPlan, UnwrapMultistep, };
+export { __FlagStep, __InputListStep, __InputObjectStep, __InputObjectStepWithDollars, __InputStaticLeafStep, __ItemStep, __ListTransformStep, __TrackedValueStep, __TrackedValueStepWithDollars, __ValueStep, $$bypassGraphQL, $$eventEmitter, $$extensions, $$idempotent, $$inhibit, $$verbatim, AbstractTypePlan, AbstractTypePlanner, access, AccessStep, ActualKeyByDesiredKey, applyInput, ApplyInputStep, applyTransforms, ApplyTransformsStep, arrayOfLength, arraysMatch, assertEdgeCapableStep, assertExecutableStep, assertListCapableStep, assertModifier, assertNotNull, assertPageInfoCapableStep, assertStep, bakedInput, bakedInputRuntime, BakedInputStep, BaseEventMap, BaseGraphQLArguments, BaseGraphQLRootValue, BaseGraphQLVariables, BatchExecutionValue, coalesce, CoalesceStep, condition, ConditionStep, connection, ConnectionCapableStep, ConnectionStep, constant, ConstantStep, context, createObjectAndApplyChildren, DataFromObjectSteps, DataFromStep, debugPlans, DEFAULT_ACCEPT_FLAGS, defaultPlanResolver, defer, Deferred, DeprecatedInputObjectPlan, DeprecatedObjectPlan, each, EdgeCapableStep, EdgeStep, EnumPlan, EnumValueConfig, EnumValueInput, error, ErrorStep, EventCallback, EventMapKey, Step as ExecutableStep, execute, ExecutionDetails, ExecutionDetailsStream, ExecutionEventEmitter, ExecutionEventMap, ExecutionExtra, ExecutionResults, ExecutionResultValue, ExecutionValue, exportAs, exportAsMany, FieldArg, FieldArgs, FieldInfo, FieldPlan, FieldPlanResolver, filter, FilterPlanMemo, first, FirstStep, flagError, get, getEnumValueConfig, getEnumValueConfigs, getGrafastMiddleware, getNullableInputTypeAtPath, grafast, GrafastArgumentConfig, GrafastExecutionArgs, GrafastFieldConfig, GrafastFieldConfigArgumentMap, grafast as grafastGraphql, grafastSync as grafastGraphqlSync, GrafastInputFieldConfig, GrafastInputFieldConfigMap, GrafastInputObjectType, GrafastObjectType, GrafastPlanJSON, grafastPrint, GrafastResultsList, GrafastResultStreamList, GrafastSchemaConfig, GrafastSubscriber, grafastSync, GrafastValuesList, graphqlResolver, GraphQLResolverStep, groupBy, GroupByPlanMemo, inhibitOnNull, InputFieldPlan, InputObjectFieldApplyResolver, InputObjectFieldConfig, inputObjectFieldSpec, InputObjectPlan, InputObjectTypeBakedInfo, InputObjectTypeBakedResolver, InputObjectTypeSpec, inspect, AbstractTypePlan as InterfaceOrUnionPlans, InterfacePlan, isDev, isExecutableStep, isListCapableStep, isListLikeStep, isModifier, isObjectLikeStep, isPromiseLike, isSafeError, isStep, isUnaryStep, JSONArray, JSONObject, JSONValue, lambda, LambdaStep, last, LastStep, list, ListCapableStep, listen, ListenStep, ListLikeStep, ListStep, listTransform, ListTransformItemPlanCallback, ListTransformOptions, ListTransformReduce, LoadedRecordStep, loadMany, LoadManyCallback, loadManyCallback, loadOne, LoadOneCallback, loadOneCallback, LoadOptions, LoadStep, makeDecodeNodeId, makeDecodeNodeIdRuntime, makeGrafastSchema, mapsMatch, Maybe, Modifier, Multistep, multistep, newGrafastFieldConfigBuilder, newInputObjectTypeBuilder, newObjectTypeBuilder, node, NodeIdCodec, nodeIdFromNode, NodeIdHandler, NodeStep, noop, object, ObjectFieldConfig, objectFieldSpec, ObjectLikeStep, ObjectPlan, ObjectPlanMeta, objectSpec, ObjectStep, ObjectTypeFields, ObjectTypeSpec, OperationPlan, operationPlan, PageInfoCapableStep, partitionByIndex, PlanTypeInfo, PromiseOrDirect, proxy, ProxyStep, recordsMatch, remapKeys, RemapKeysStep, reverse, reverseArray, ReverseStep, rootValue, SafeError, ScalarPlan, ScalarPlanResolver, setsMatch, Setter, setter, SetterCapable, sideEffect, SideEffectStep, specFromNodeId, Step, stepADependsOnStepB, stepAMayDependOnStepB, stepAShouldTryAndInlineIntoStepB, StepOptimizeOptions, stepsAreInSamePhase, StepStreamOptions, stringifyPayload, stripAnsi, subscribe, trap, TRAP_ERROR, TRAP_ERROR_OR_INHIBITED, TRAP_INHIBITED, TypedEventEmitter, UnaryExecutionValue, UnbatchedStep as UnbatchedExecutableStep, UnbatchedExecutionExtra, UnbatchedStep, UnionPlan, UnwrapMultistep, };
 export { hookArgs } from "./args.js";
 export { version } from "./version.js";
 /** @deprecated Renamed to 'applyTransforms' */
@@ -71,6 +71,22 @@ declare global {
         }
         interface InputObjectTypeExtensions {
             baked?: InputObjectTypeBakedResolver;
+            /**
+             * EXPERIMENTAL!
+             *
+             * Scope to pass to `.apply()` methods called by `applyInput()` step.
+             *
+             * IMPORTANT: the scope is only evaluated for the top-level named type
+             * that `applyInput()` is applied against, so any type that nests this
+             * (e.g. other input objects) needs to ensure they have an `applyScope()`
+             * that's compatible; similarly this `applyPlan()` needs to supply values
+             * that are compatible with all the descendant input objects, enums and
+             * scalars. For this reason we recommend that you return an object with a
+             * scoped key that you care about so it's easily merged.
+             *
+             * @experimental
+             */
+            applyScope?: () => Step;
         }
         interface InputFieldExtensions {
             apply?: InputObjectFieldApplyResolver<any>;
@@ -130,6 +146,20 @@ declare global {
             planType?($stepOrSpecifier: Step, info: PlanTypeInfo): AbstractTypePlanner;
         }
         interface EnumTypeExtensions {
+            /**
+             * EXPERIMENTAL!
+             *
+             * Scope to pass to `.apply()` methods called by `applyInput()` step.
+             *
+             * IMPORTANT: the scope is only evaluated for the top-level named type
+             * that `applyInput()` is applied against, so any type that nests this
+             * (e.g. input objects) needs to ensure they have an `applyScope()`
+             * that's compatible. For this reason we recommend that you return an
+             * object with a scoped key that you care about so it's easily merged.
+             *
+             * @experimental
+             */
+            applyScope?: () => Step;
         }
         interface EnumValueExtensions {
             /**
@@ -143,6 +173,20 @@ declare global {
         interface ScalarTypeExtensions {
             plan?: ScalarPlanResolver;
             inputPlan?: ScalarInputPlanResolver;
+            /**
+             * EXPERIMENTAL!
+             *
+             * Scope to pass to `.apply()` methods called by `applyInput()` step.
+             *
+             * IMPORTANT: the scope is only evaluated for the top-level named type
+             * that `applyInput()` is applied against, so any type that nests this
+             * (e.g. input objects) needs to ensure they have an `applyScope()`
+             * that's compatible. For this reason we recommend that you return an
+             * object with a scoped key that you care about so it's easily merged.
+             *
+             * @experimental
+             */
+            applyScope?: () => Step;
             /**
              * Set true if `serialize(serialize(foo)) === serialize(foo)` for all foo
              */

package/dist/interfaces.d.ts

@@ -1,6 +1,6 @@
 import type EventEmitter from "eventemitter3";
 import type { Middleware } from "graphile-config";
-import type { ASTNode, ExecutionArgs, FragmentDefinitionNode, GraphQLArgs, GraphQLArgument, GraphQLArgumentConfig, GraphQLField, GraphQLFieldConfig, GraphQLInputField, GraphQLInputFieldConfig, GraphQLInputObjectType, GraphQLInputType, GraphQLInterfaceType, GraphQLObjectType, GraphQLOutputType, GraphQLScalarType, GraphQLSchema, GraphQLUnionType, OperationDefinitionNode, Source, ValueNode, VariableNode } from "graphql";
+import type { ASTNode, ExecutionArgs, FragmentDefinitionNode, GraphQLArgs, GraphQLArgument, GraphQLArgumentConfig, GraphQLEnumValue, GraphQLField, GraphQLFieldConfig, GraphQLInputField, GraphQLInputFieldConfig, GraphQLInputObjectType, GraphQLInputType, GraphQLInterfaceType, GraphQLObjectType, GraphQLOutputType, GraphQLScalarType, GraphQLSchema, GraphQLUnionType, OperationDefinitionNode, Source, ValueNode, VariableNode } from "graphql";
 import type { ObjMap } from "graphql/jsutils/ObjMap.js";
 import type { $$streamMore, $$timeout, $$ts, ExecutionEntryFlags } from "./constants.js";
 import type { Constraint } from "./constraints.js";
@@ -158,11 +158,12 @@ export interface FieldInfo {
  * executions.
  */
 export type FieldPlanResolver<TParentStep extends Step = Step, TArgs extends BaseGraphQLArguments = any, TResultStep extends Step = Step> = ($parentPlan: TParentStep, args: FieldArgs<TArgs>, info: FieldInfo) => TResultStep | null;
-export type InputObjectFieldApplyResolver<TParent = any, TData = any> = (target: TParent, input: TData, // Don't use unknown here, otherwise users can't easily cast it
+export type InputObjectFieldApplyResolver<TParent = any, TData = any, TScope = any> = (target: TParent, input: TData, // Don't use unknown here, otherwise users can't easily cast it
 info: {
     schema: GraphQLSchema;
     fieldName: string;
     field: GraphQLInputField;
+    scope: TScope;
 }) => any;
 export type InputObjectTypeBakedInfo = {
     schema: GraphQLSchema;
@@ -199,7 +200,10 @@ export type ScalarInputPlanResolver<TResultStep extends Step = Step> = ($inputVa
  *
  * @experimental
  */
-export type EnumValueApplyResolver<TParent = any> = (parent: TParent) => void;
+export type EnumValueApplyResolver<TParent = any, TScope = any> = (parent: TParent, info: {
+    value: GraphQLEnumValue;
+    scope: TScope;
+}) => void;
 /**
  * Basically GraphQLFieldConfig but with an easy to access `plan` method.
  */

package/dist/makeGrafastSchema.d.ts

@@ -118,11 +118,11 @@ export type EnumValueInput = EnumValueApplyResolver | EnumValueConfig | string |
 /**
  * The values/configs for the entries in a GraphQL enum type.
  */
-export type EnumPlan = {
+export interface EnumPlan {
     values?: {
         [enumValueName: string]: EnumValueInput | undefined;
     };
-};
+}
 /**
  * A map from GraphQL named type to the config for that type.
  *

package/dist/steps/__trackedValue.d.ts

@@ -47,6 +47,9 @@ export declare class __TrackedValueStep<TData = any, TInputType extends GraphQLI
     execute({ count, values: [values0], }: ExecutionDetails<[TData]>): GrafastResultsList<TData>;
     unbatchedExecute(_extra: UnbatchedExecutionExtra, v: TData): TData;
     private getValuePlan;
+    __inferGet?: {
+        [TAttribute in keyof TData & string]: __TrackedValueStepWithDollars<TData[TAttribute], TInputType extends GraphQLInputObjectType ? ReturnType<TInputType["getFields"]>[TAttribute]["type"] : undefined>;
+    };
     /**
      * Get the named property of an object.
      */

package/dist/steps/__value.d.ts

@@ -17,6 +17,9 @@ export declare class __ValueStep<TData> extends Step<TData> {
     planJSONExtra(): undefined | Record<string, JSONValue>;
     toStringMeta(): string | null;
     execute(): GrafastResultsList<TData>;
+    __inferGet?: {
+        [TAttr in keyof TData]: AccessStep<TData[TAttr]>;
+    };
     get<TAttr extends keyof TData>(attrName: TAttr): AccessStep<TData[TAttr]>;
     at<TIndex extends keyof TData>(index: TIndex): AccessStep<TData[TIndex]>;
 }

package/dist/steps/access.d.ts

@@ -22,6 +22,9 @@ export declare class AccessStep<TData> extends UnbatchedStep<TData> {
     constructor(parentPlan: Step<unknown>, path: (string | number | symbol)[], fallback?: any | undefined);
     toStringMeta(): string;
     getParentStep(): Step<any> | import("./__flag.js").__FlagStep<Step<any>>;
+    __inferGet?: {
+        [TAttr in keyof TData]: AccessStep<TData[TAttr]>;
+    };
     /**
      * Get the named property of an object.
      */
@@ -40,20 +43,4 @@ export declare class AccessStep<TData> extends UnbatchedStep<TData> {
  * falling back to `fallback` if it were null-ish.
  */
 export declare function access<TData>(parentPlan: Step<unknown>, rawPath?: (string | number | symbol)[] | string | number | symbol, fallback?: any): AccessStep<TData>;
-type StepGetReturn<TStep, TAttr extends string> = TStep extends {
-    get: (attr: TAttr) => infer U;
-} ? U : TStep extends {
-    get: (attr: string) => infer U;
-} ? U : never;
-type StepGetKeys<TStep extends Step> = TStep extends {
-    get(attr: infer U): any;
-} ? U : TStep extends Step<infer UData> ? UData extends Record<string, any> ? keyof UData : string : never;
-type StepAccessKey<TStep extends Step, TAttr extends StepGetKeys<TStep> & string> = TStep extends {
-    get(attr: any): any;
-} ? StepGetReturn<TStep, TAttr> : TStep extends Step<infer UData> ? UData extends Record<string, any> ? Step<UData[TAttr]> : Step<any> : never;
-/**
- * Call `$step.get(attr)` if possible, falling back to `access($step, attr)`.
- */
-export declare function get<TStep extends Step, TAttr extends StepGetKeys<TStep> & string>($step: TStep, attr: TAttr): StepAccessKey<TStep, TAttr>;
-export {};
 //# sourceMappingURL=access.d.ts.map

package/dist/steps/access.js

@@ -2,7 +2,6 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.AccessStep = exports.expressionSymbol = void 0;
 exports.access = access;
-exports.get = get;
 const tslib_1 = require("tslib");
 const chalk_1 = tslib_1.__importDefault(require("chalk"));
 const tamedevil_1 = tslib_1.__importDefault(require("tamedevil"));
@@ -218,12 +217,4 @@ function access(parentPlan, rawPath, fallback) {
     }
     return new AccessStep(parentPlan, path, fallback);
 }
-/**
- * Call `$step.get(attr)` if possible, falling back to `access($step, attr)`.
- */
-function get($step, attr) {
-    return "get" in $step && typeof $step.get === "function"
-        ? $step.get(attr)
-        : access($step, attr);
-}
 //# sourceMappingURL=access.js.map

package/dist/steps/applyInput.d.ts

@@ -13,13 +13,20 @@ export declare class ApplyInputStep<TParent extends object = any, TTarget extend
     isSyncAndSafe: boolean;
     allowMultipleOptimizations: boolean;
     valueDepId: 0;
-    constructor(inputType: GraphQLInputType, $value: AnyInputStep, getTargetFromParent: ((parent: TParent, inputValue: any) => TTarget | undefined | (() => TTarget)) | undefined);
+    scopeDepId: 1 | null;
+    constructor(inputType: GraphQLInputType, $value: AnyInputStep, getTargetFromParent: ((parent: TParent, inputValue: any, info: {
+        scope: unknown;
+    }) => TTarget | undefined | (() => TTarget)) | undefined, $scope?: Step | null);
     deduplicate(peers: readonly ApplyInputStep[]): ApplyInputStep<any, any>[];
     optimize(): this | ConstantStep<(parent: TParent) => void>;
-    unbatchedExecute(extra: UnbatchedExecutionExtra, value: any): (parentThing: TParent) => void;
+    unbatchedExecute(extra: UnbatchedExecutionExtra, value: any, scope: unknown): (parentThing: TParent) => void;
 }
-export declare function inputArgsApply<TArg extends object, TTarget extends object = TArg>(schema: GraphQLSchema, inputType: GraphQLInputType, parent: TArg, inputValue: unknown, getTargetFromParent: ((parent: TArg, inputValue: any) => TTarget | undefined | (() => TTarget)) | undefined): void;
-export declare function applyInput<TParent extends object = any, TTarget extends object = TParent>(inputType: GraphQLInputType, $value: AnyInputStep, getTargetFromParent?: (parent: TParent, inputValue: any) => TTarget | undefined): ConstantStep<(parent: TParent) => void> | ApplyInputStep<TParent, TTarget>;
+export declare function inputArgsApply<TArg extends object, TTarget extends object = TArg>(schema: GraphQLSchema, inputType: GraphQLInputType, parent: TArg, inputValue: unknown, getTargetFromParent: ((parent: TArg, inputValue: any, info: {
+    scope: unknown;
+}) => TTarget | undefined | (() => TTarget)) | undefined, scope: unknown): void;
+export declare function applyInput<TParent extends object = any, TTarget extends object = TParent>(inputType: GraphQLInputType, $value: AnyInputStep, getTargetFromParent?: (parent: TParent, inputValue: any, info: {
+    scope: unknown;
+}) => TTarget | undefined): ConstantStep<(parent: TParent) => void> | ApplyInputStep<TParent, TTarget>;
 /**
  * Modifiers modify their parent (which may be another modifier or anything
  * else). First they gather all the requirements from their children (if any)

package/dist/steps/applyInput.js

@@ -18,13 +18,14 @@ class ApplyInputStep extends step_js_1.UnbatchedStep {
         moduleName: "grafast",
         exportName: "ApplyInputStep",
     }; }
-    constructor(inputType, $value, getTargetFromParent) {
+    constructor(inputType, $value, getTargetFromParent, $scope) {
         super();
         this.inputType = inputType;
         this.getTargetFromParent = getTargetFromParent;
         this.isSyncAndSafe = true;
         this.allowMultipleOptimizations = true;
         this.valueDepId = this.addUnaryDependency($value);
+        this.scopeDepId = $scope ? this.addUnaryDependency($scope) : null;
         if (!this._isUnary) {
             throw new Error(`applyInput() must be unary`);
         }
@@ -36,30 +37,33 @@ class ApplyInputStep extends step_js_1.UnbatchedStep {
     }
     optimize() {
         const $value = this.getDep(this.valueDepId);
-        if ($value instanceof constant_js_1.ConstantStep) {
+        const $scope = this.scopeDepId === null ? null : this.getDep(this.scopeDepId);
+        if ((!$scope || $scope instanceof constant_js_1.ConstantStep) &&
+            $value instanceof constant_js_1.ConstantStep) {
             // Replace myself with a constant!
             const { operationPlan: { schema }, inputType, getTargetFromParent, } = this;
             const { data } = $value;
+            const scope = $scope?.data;
             return (0, constant_js_1.constant)(function applyInputConstant(parent) {
-                inputArgsApply(schema, inputType, parent, data, getTargetFromParent);
+                inputArgsApply(schema, inputType, parent, data, getTargetFromParent, scope);
             }, false);
         }
         return this;
     }
-    unbatchedExecute(extra, value) {
+    unbatchedExecute(extra, value, scope) {
         const { getTargetFromParent } = this;
-        return (parentThing) => inputArgsApply(this.operationPlan.schema, this.inputType, parentThing, value, getTargetFromParent);
+        return (parentThing) => inputArgsApply(this.operationPlan.schema, this.inputType, parentThing, value, getTargetFromParent, scope);
     }
 }
 exports.ApplyInputStep = ApplyInputStep;
-function inputArgsApply(schema, inputType, parent, inputValue, getTargetFromParent) {
+function inputArgsApply(schema, inputType, parent, inputValue, getTargetFromParent, scope) {
     try {
         inputArgsApplyDepth++;
         const target = getTargetFromParent
-            ? getTargetFromParent(parent, inputValue)
+            ? getTargetFromParent(parent, inputValue, { scope })
             : parent;
         if (target != null) {
-            _inputArgsApply(schema, inputType, target, inputValue);
+            _inputArgsApply(schema, inputType, target, inputValue, scope);
         }
     }
     finally {
@@ -82,16 +86,20 @@ function inputArgsApply(schema, inputType, parent, inputValue, getTargetFromPare
 function applyInput(inputType, $value, getTargetFromParent) {
     const opPlan = (0, global_js_1.operationPlan)();
     const { schema } = opPlan;
+    const namedType = (0, graphql_1.getNamedType)(inputType);
     return opPlan.withRootLayerPlan(() => {
-        if ($value instanceof constant_js_1.ConstantStep) {
+        const $scope = namedType.extensions?.grafast?.applyScope?.() ?? null;
+        if ((!$scope || $scope instanceof constant_js_1.ConstantStep) &&
+            $value instanceof constant_js_1.ConstantStep) {
             // Replace us with a constant
             const { data } = $value;
+            const scope = $scope?.data;
             return (0, constant_js_1.constant)(function applyInputConstant(parent) {
-                inputArgsApply(schema, inputType, parent, data, getTargetFromParent);
+                inputArgsApply(schema, inputType, parent, data, getTargetFromParent, scope);
             }, false);
         }
         else {
-            return new ApplyInputStep(inputType, $value, getTargetFromParent);
+            return new ApplyInputStep(inputType, $value, getTargetFromParent, $scope);
         }
     });
 }
@@ -106,7 +114,7 @@ const defaultInputObjectTypeInputPlanResolver: InputObjectTypeInputPlanResolver
     return object(obj);
   };
 */
-function _inputArgsApply(schema, inputType, target, inputValue) {
+function _inputArgsApply(schema, inputType, target, inputValue, scope) {
     // PERF: we should have the plan generate a digest of `inputType` so that we
     // can jump right to the relevant parts without too much traversal cost.
     if (inputValue === undefined) {
@@ -116,7 +124,7 @@ function _inputArgsApply(schema, inputType, target, inputValue) {
         if (inputValue === null) {
             throw new Error(`null value found in non-null position`);
         }
-        _inputArgsApply(schema, inputType.ofType, target, inputValue);
+        _inputArgsApply(schema, inputType.ofType, target, inputValue, scope);
     }
     else if ((0, graphql_1.isListType)(inputType)) {
         if (inputValue == null)
@@ -126,7 +134,7 @@ function _inputArgsApply(schema, inputType, target, inputValue) {
         }
         for (const item of inputValue) {
             const itemTarget = typeof target === "function" ? target() : target;
-            _inputArgsApply(schema, inputType.ofType, itemTarget, item);
+            _inputArgsApply(schema, inputType.ofType, itemTarget, item, scope);
         }
     }
     else if (typeof target === "function") {
@@ -146,9 +154,10 @@ function _inputArgsApply(schema, inputType, target, inputValue) {
                     schema,
                     field,
                     fieldName,
+                    scope,
                 });
                 if (newTarget != null) {
-                    _inputArgsApply(schema, field.type, newTarget, val);
+                    _inputArgsApply(schema, field.type, newTarget, val, scope);
                 }
             }
         }
@@ -165,7 +174,7 @@ function _inputArgsApply(schema, inputType, target, inputValue) {
         const value = values.find((v) => v.value === inputValue);
         if (value) {
             if (value.extensions.grafast?.apply) {
-                value.extensions.grafast.apply(target);
+                value.extensions.grafast.apply(target, { scope, value });
             }
         }
         else {

package/dist/steps/bakedInput.js

@@ -78,11 +78,11 @@ function bakedInputRuntime(schema, inputType, value) {
             schema,
             applyChildren(parent) {
                 applied = true;
-                (0, applyInput_js_1.inputArgsApply)(schema, nullableInputType, parent, value, undefined);
+                (0, applyInput_js_1.inputArgsApply)(schema, nullableInputType, parent, value, undefined, undefined);
             },
         });
         if (!applied) {
-            (0, applyInput_js_1.inputArgsApply)(schema, nullableInputType, bakedObj, value, undefined);
+            (0, applyInput_js_1.inputArgsApply)(schema, nullableInputType, bakedObj, value, undefined, undefined);
         }
         return bakedObj;
     }

package/dist/steps/connection.d.ts

@@ -1,6 +1,7 @@
 import type { ExecutionDetails, GrafastResultsList, Maybe, UnbatchedExecutionExtra } from "../interfaces.js";
 import type { Step } from "../step.js";
 import { UnbatchedStep } from "../step.js";
+import { ConstantStep } from "./constant.js";
 type ParametersExceptFirst<F> = F extends (arg0: any, ...rest: infer R) => any ? R : never[];
 /**
  * Describes what a plan needs to implement in order to be suitable for
@@ -96,7 +97,7 @@ export declare class ConnectionStep<TItemStep extends Step, TCursorStep extends
      * functions so that they are thrown "earlier", avoiding error bubbling.
      */
     addValidation(callback: () => Step): void;
-    get(fieldName: string): Step<any> | undefined;
+    get(fieldName: string): Step<any>;
     edges(): Step;
     nodes(): import("./listTransform.js").__ListTransformStep<any, any, any, any> | TStep;
     wrapEdge($edge: TItemStep): EdgeStep<TItemStep, TCursorStep, TStep, TEdgeDataStep, TNodeStep>;
@@ -120,7 +121,7 @@ export declare class EdgeStep<TItemStep extends Step, TCursorStep extends Step,
     private readonly cursorDepId;
     private needCursor;
     constructor($connection: ConnectionStep<TItemStep, TCursorStep, TStep, TEdgeDataStep, TNodeStep>, $item: TItemStep, skipCursor?: boolean);
-    get(fieldName: string): Step<string | null> | TNodeStep | undefined;
+    get(fieldName: string): ConstantStep<undefined> | Step<string | null> | TNodeStep;
     private getConnectionStep;
     private getItemStep;
     data(): TEdgeDataStep;

package/dist/steps/connection.js

@@ -216,6 +216,8 @@ class ConnectionStep extends step_js_1.UnbatchedStep {
                 return this.nodes();
             case "pageInfo":
                 return this.pageInfo();
+            default:
+                return (0, constant_js_1.constant)(undefined);
         }
     }
     edges() {
@@ -298,6 +300,8 @@ class EdgeStep extends step_js_1.UnbatchedStep {
                 return this.node();
             case "cursor":
                 return this.cursor();
+            default:
+                return (0, constant_js_1.constant)(undefined);
         }
     }
     getConnectionStep() {

package/dist/steps/constant.d.ts

@@ -19,7 +19,10 @@ export declare class ConstantStep<TData> extends UnbatchedStep<TData> {
     unbatchedExecute(): TData;
     isNull(): boolean;
     isUndefined(): boolean;
-    get(key: string): ConstantStep<any>;
+    __inferGet?: {
+        [TKey in keyof TData]: ConstantStep<TData[TKey]>;
+    };
+    get<TKey extends keyof TData>(key: TKey): ConstantStep<TData[TKey]>;
     at(index: number): ConstantStep<any>;
 }
 /**

package/dist/steps/get.d.ts

@@ -0,0 +1,50 @@
+import type { Step } from "../step.js";
+/**
+ * If your step class has a `get` method you should implement this so users
+ * benefit from type safety.
+ *
+ * e.g.
+ * ```ts
+ * class MyStep extends Step {
+ *   __inferGet?: {
+ *     [TKey in keyof MyData]: MySpecialStep<MyData[TKey]>;
+ *   };
+ *   get<TKey extends keyof MyData>(key: TKey): MySpecialStep<MyData[TKey]> {
+ *     // ...
+ *   }
+ * }
+ * ```
+ */
+interface HasInferredGet<TStepByKey extends Record<string, Step>> {
+    /**
+     * TypeScript hack so we can infer the type of getting each key; this key
+     * won't actually have a value
+     */
+    __inferGet?: TStepByKey;
+}
+/**
+ * Determines the keys that a given step represents
+ *
+ * 1. If it implements HasInferredGet, get the explicit keys
+ * 2. Otherwise, if it has a get method, figure out which attributes it accepts
+ * 3. Otherwise, determine the type the Step encodes and extract the keys of that
+ */
+type StepGetKeys<TStep extends Step> = TStep extends HasInferredGet<infer UStepByKey> ? keyof UStepByKey : TStep extends {
+    get(attr: infer U): any;
+} ? U : TStep extends Step<infer UData | null | undefined> ? keyof UData : never;
+/**
+ * Determines the type of the step returned from `get(step, attr)`.
+ *
+ * 1. If it implements HasInferredGet, get a step representing that specific attribute
+ * 2. Otherwise, if it has a get method, return the ReturnType of that method
+ * 3. Otherwise, determine the type the Step encodes and return a Step representing the relevant key of that
+ */
+type GetResult<TStep extends Step, TAttr extends StepGetKeys<TStep>> = TStep extends HasInferredGet<infer UStepByKey> ? TAttr extends keyof UStepByKey ? UStepByKey[TAttr] : never : TStep extends {
+    get(attr: any): infer UGetStep;
+} ? UGetStep : TStep extends Step<infer UData | null | undefined> ? TAttr extends keyof UData ? Step<UData[TAttr]> : never : never;
+/**
+ * Call `$step.get(attr)` if possible, falling back to `access($step, attr)`.
+ */
+export declare function get<TStep extends Step, TAttr extends StepGetKeys<TStep> & string>($step: TStep, attr: TAttr): GetResult<TStep, TAttr>;
+export {};
+//# sourceMappingURL=get.d.ts.map

package/dist/steps/get.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.get = get;
+const access_js_1 = require("./access.js");
+/**
+ * Call `$step.get(attr)` if possible, falling back to `access($step, attr)`.
+ */
+function get($step, attr) {
+    return "get" in $step && typeof $step.get === "function"
+        ? $step.get(attr)
+        : (0, access_js_1.access)($step, attr);
+}
+//# sourceMappingURL=get.js.map

package/dist/steps/index.d.ts

@@ -1,5 +1,5 @@
 export { __FlagStep, assertNotNull, inhibitOnNull, trap, TRAP_ERROR, TRAP_ERROR_OR_INHIBITED, TRAP_INHIBITED, } from "./__flag.js";
-export { access, AccessStep, get } from "./access.js";
+export { access, AccessStep } from "./access.js";
 export { coalesce, CoalesceStep } from "./coalesce.js";
 export { assertEdgeCapableStep, assertPageInfoCapableStep, connection, ConnectionCapableStep, ConnectionStep, EdgeCapableStep, EdgeStep, PageInfoCapableStep, } from "./connection.js";
 export { constant, ConstantStep } from "./constant.js";
@@ -7,6 +7,7 @@ export { each } from "./each.js";
 export { error, ErrorStep } from "./error.js";
 export { filter, FilterPlanMemo } from "./filter.js";
 export { first, FirstStep } from "./first.js";
+export { get } from "./get.js";
 export { groupBy, GroupByPlanMemo } from "./groupBy.js";
 export { lambda, LambdaStep } from "./lambda.js";
 export { last, LastStep } from "./last.js";

package/dist/steps/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ReverseStep = exports.reverseArray = exports.reverse = exports.RemapKeysStep = exports.remapKeys = exports.partitionByIndex = exports.ObjectStep = exports.object = exports.specFromNodeId = exports.NodeStep = exports.nodeIdFromNode = exports.node = exports.makeDecodeNodeIdRuntime = exports.makeDecodeNodeId = exports.listTransform = exports.__ListTransformStep = exports.ListenStep = exports.listen = exports.ListStep = exports.list = exports.LastStep = exports.last = exports.LambdaStep = exports.lambda = exports.groupBy = exports.FirstStep = exports.first = exports.filter = exports.ErrorStep = exports.error = exports.each = exports.ConstantStep = exports.constant = exports.EdgeStep = exports.ConnectionStep = exports.connection = exports.assertPageInfoCapableStep = exports.assertEdgeCapableStep = exports.CoalesceStep = exports.coalesce = exports.get = exports.AccessStep = exports.access = exports.TRAP_INHIBITED = exports.TRAP_ERROR_OR_INHIBITED = exports.TRAP_ERROR = exports.trap = exports.inhibitOnNull = exports.assertNotNull = exports.__FlagStep = void 0;
+exports.ReverseStep = exports.reverseArray = exports.reverse = exports.RemapKeysStep = exports.remapKeys = exports.partitionByIndex = exports.ObjectStep = exports.object = exports.specFromNodeId = exports.NodeStep = exports.nodeIdFromNode = exports.node = exports.makeDecodeNodeIdRuntime = exports.makeDecodeNodeId = exports.listTransform = exports.__ListTransformStep = exports.ListenStep = exports.listen = exports.ListStep = exports.list = exports.LastStep = exports.last = exports.LambdaStep = exports.lambda = exports.groupBy = exports.get = exports.FirstStep = exports.first = exports.filter = exports.ErrorStep = exports.error = exports.each = exports.ConstantStep = exports.constant = exports.EdgeStep = exports.ConnectionStep = exports.connection = exports.assertPageInfoCapableStep = exports.assertEdgeCapableStep = exports.CoalesceStep = exports.coalesce = exports.AccessStep = exports.access = exports.TRAP_INHIBITED = exports.TRAP_ERROR_OR_INHIBITED = exports.TRAP_ERROR = exports.trap = exports.inhibitOnNull = exports.assertNotNull = exports.__FlagStep = void 0;
 exports.ProxyStep = exports.proxy = exports.LoadStep = exports.loadOneCallback = exports.loadOne = exports.loadManyCallback = exports.loadMany = exports.LoadedRecordStep = exports.GraphQLResolverStep = exports.graphqlResolver = exports.ConditionStep = exports.condition = exports.BakedInputStep = exports.bakedInputRuntime = exports.bakedInput = exports.ApplyTransformsStep = exports.applyTransforms = exports.Modifier = exports.isModifier = exports.assertModifier = exports.ApplyInputStep = exports.applyInput = exports.__ValueStep = exports.__TrackedValueStep = exports.__ItemStep = exports.__InputStaticLeafStep = exports.__InputObjectStep = exports.__InputListStep = exports.SideEffectStep = exports.sideEffect = exports.setter = exports.Setter = exports.createObjectAndApplyChildren = void 0;
 var __flag_js_1 = require("./__flag.js");
 Object.defineProperty(exports, "__FlagStep", { enumerable: true, get: function () { return __flag_js_1.__FlagStep; } });
@@ -13,7 +13,6 @@ Object.defineProperty(exports, "TRAP_INHIBITED", { enumerable: true, get: functi
 var access_js_1 = require("./access.js");
 Object.defineProperty(exports, "access", { enumerable: true, get: function () { return access_js_1.access; } });
 Object.defineProperty(exports, "AccessStep", { enumerable: true, get: function () { return access_js_1.AccessStep; } });
-Object.defineProperty(exports, "get", { enumerable: true, get: function () { return access_js_1.get; } });
 var coalesce_js_1 = require("./coalesce.js");
 Object.defineProperty(exports, "coalesce", { enumerable: true, get: function () { return coalesce_js_1.coalesce; } });
 Object.defineProperty(exports, "CoalesceStep", { enumerable: true, get: function () { return coalesce_js_1.CoalesceStep; } });
@@ -36,6 +35,8 @@ Object.defineProperty(exports, "filter", { enumerable: true, get: function () {
 var first_js_1 = require("./first.js");
 Object.defineProperty(exports, "first", { enumerable: true, get: function () { return first_js_1.first; } });
 Object.defineProperty(exports, "FirstStep", { enumerable: true, get: function () { return first_js_1.FirstStep; } });
+var get_js_1 = require("./get.js");
+Object.defineProperty(exports, "get", { enumerable: true, get: function () { return get_js_1.get; } });
 var groupBy_js_1 = require("./groupBy.js");
 Object.defineProperty(exports, "groupBy", { enumerable: true, get: function () { return groupBy_js_1.groupBy; } });
 var lambda_js_1 = require("./lambda.js");

package/dist/steps/object.d.ts

@@ -57,6 +57,7 @@ export declare class ObjectStep<TPlans extends {
     unbatchedExecute(_extra: UnbatchedExecutionExtra, ..._values: any[]): any;
     deduplicate(peers: ObjectStep<any>[]): ObjectStep<TPlans>[];
     optimize(opts: StepOptimizeOptions): ConstantStep<any> | this | ConstantStep<Record<string, any>>;
+    __inferGet?: TPlans;
     /**
      * Get the original plan with the given key back again.
      */

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const version = "0.1.1-beta.23";
+export declare const version = "0.1.1-beta.25";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -2,5 +2,5 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.version = void 0;
 // This file is autogenerated by /scripts/postversion.mjs
-exports.version = "0.1.1-beta.23";
+exports.version = "0.1.1-beta.25";
 //# sourceMappingURL=version.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "grafast",
-  "version": "0.1.1-beta.23",
+  "version": "0.1.1-beta.25",
   "description": "Cutting edge GraphQL planning and execution engine",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -73,6 +73,12 @@
   "peerDependenciesMeta": {
     "@envelop/core": {
       "optional": true
+    },
+    "graphql": {
+      "optional": true
+    },
+    "tamedevil": {
+      "optional": true
     }
   },
   "files": [