Enforce the type Query on InstaQLEntity and InstaQLResult

[stopachka]

Context

Given a schema like: messages, users, messages.creator = users.createdMessages

If you made a type in the 'first' level of your expansion:

InstaQLEntity<AppSchema, 'messages', { creatorr: { } }>
InstaQLResult<AppSchema, { messagess: { } }>

TS would warn you. But as you went deeper, you would lose typesafety:

InstaQLEntity<AppSchema, 'messages', { creator: { createdMessagess: { } } }>
InstaQLResult<AppSchema, { messages: { creator: { createdMessagess: { } } }>

This is because we were really lax with how we typed Query.

It used to be:

 Query extends {
    [LinkAttrName in keyof Schema["entities"][EntityName]["links"]]?: any;
  }

I updated this to be:

type InstaQLEntitySubquery<
  Schema extends IContainEntitiesAndLinks<EntitiesDef, any>,
  EntityName extends keyof Schema["entities"],
> = {
  [QueryPropName in keyof Schema["entities"][EntityName]["links"]]?: InstaQLEntitySubquery<
    Schema,
    Schema["entities"][EntityName]["links"][QueryPropName]["entityName"]
  >;
};

(And similar for the Result types)

This ensures that as we expand our tree, we are constantly typechecking.

@dwwoelfel @nezaj

[github-actions]

View Vercel preview at instant-www-js-strongquer-jsv.vercel.app.

[dwwoelfel]

Type magic!