Spec edits for incremental delivery, Section 3 only

[robrichard]

Extracted from the full PR (#1110) and targeting an integration branch to aid in review.

Helpful reference material:

Response format examples: graphql/defer-stream-wg#69
Glossary: graphql/defer-stream-wg#106
GraphQL Conf talk: https://www.youtube.com/watch?v=LEyDeNoobT0

Response types

/** Currently defined types */ type RequestErrorResult = { errors: Error[] // request errors only extensions?: object } type ExecutionResult = { data: {} | null errors?: Error[] // execution errors only extensions?: object } type ResponseStream = ExecutionResult[] /** New types that are yielded by an Incremental Stream */ interface InitialExecutionResult extends ExecutionResult { incremental: IncrementalResult[] pending?: Pending[] completed?: CompletedResult[], hasNext?: boolean; } type SubsequentExecutionResult = { incremental?: IncrementalResult[] pending?: Pending[] completed?: CompletedResult[], hasNext?: boolean; } type IncrementalStream = [InitialExecutionResult, ...SubsequentExecutionResult[]]; /** Response is updated to include IncrementalStream as a new member */ type Response = RequestErrorResult | ExecutionResult | ResponseStream | IncrementalStream; type IncrementalResult = IncrementalObjectResult | IncrementalListResult

[benjie]

Lots of nit-picky comments but I think we're pretty close! Do we have a glossary somewhere? I think we need to be really crisp on terms like "result", "response", "payload" and the like.

[robrichard]

@benjie I added a rough glossary here: graphql/defer-stream-wg#106, I'll keep refining it as we go

[mjmahone]

These changes look correct to me, I don't think the definition of the @stream/@defer directives have changed in a very long time, so this feels good.

[benjie]

This is looking really good; all my suggestions are minor except the last one which I think warrants some extra work.

[benjie]

Feels good to me! Here's some editorial, plus one potentially major change to discuss (making initialCount static)