20240423-argo-wire-type-field-selection-merge-ex1.erl

SD = argo_graphql_service_document:from_string(
    "type Query {\n"
    "  hero: Character\n"
    "}\n"
    "interface Character { id: ID! }\n"
    "type Droid implements Character {\n"
    "  id: ID!\n"
    "  properties: DroidProperties!\n"
    "}\n"
    "type DroidProperties {\n"
    "  x: Int!\n"
    "  y: String!\n"
    "}\n"
    "type Human implements Character {\n"
    "  id: ID!\n"
    "  properties: HumanProperties!\n"
    "}\n"
    "type HumanProperties {\n"
    "  x: Int!\n"
    "  z: String!\n"
    "}\n"
),
ED = argo_graphql_executable_document:from_string(
    "query {\n"
    "  hero {\n"
    "    ... on Droid {\n"
    "      id\n"
    "      properties {\n"
    "        x\n"
    "        y\n"
    "      }\n"
    "    }\n"
    "  }\n"
    "}\n"
),
{_, WT} = argo_typer:derive_wire_type(SD, ED, none),
argo:display(WT).

% {
%   data: {
%     hero: {
%       id?: STRING<ID>
%       properties?: {
%         x: VARINT{Int}
%         y: STRING<String>
%       }
%     }?
%   }?
%   errors?: ERROR[]
%   extensions?: EXTENSIONS
% }