-
Notifications
You must be signed in to change notification settings - Fork 114
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Allow genqlient types to be marshaled safely (#120)
## Summary: When genqlient generates output types, it generates whatever code is necessary to unmarshal them. Conversely, when it generates input types, it generates whatever code is necessary to marshal. This is all that's needed for genqlient itself: it never needs to marshal output types or unmarshal input types. But maybe you do! (For example, to put the responses in a cache, which is the use case that @csilvers hit at Khan, although there are others one can imagine.) While we can't support every serialization format you might want (at least not without adding plugins or some such), it's not unreasonable to expect that since genqlient can read JSON, it can write it too. Sadly, in the past this was not true for types requiring custom unmarshaling logic, for several reasons. In this commit I implement logic to always write both marshalers and unmarshalers whenever they're needed to be able to correctly round-trip the types, even though genqlient doesn't do so. I wasn't starting from scratch, since of course we already write both marshalers and unmarshalers in some cases. But this ended up requiring surprisingly large changes on the marshaling side, mostly to correctly support embedding (which we use for named fragments). Specifically, as the comments in `types.go` discuss, the most difficult issue is spreads with duplicate fields, which translate to Go embedded fields which end up hidden from the json-marshaler. Ultimately, I had to do things quite differently from unmarshaling, and essentially flatten the type when we write marshaler. But in the end it's not so ugly -- indeed arguably it's cleaner! Mainly it's just different. One thing to note is that we do marshal `__typename` based on what we know about the types; users need not fill it in (and if they do we'll ignore it). This seemed to me to be a better UX, and didn't add much complexity. In general, I begin to wonder whether using `encoding/json` at all is really right for genqlient: we're doing a lot of work to appease it, despite knowing what our types look like. I think it would still be a significant increase in lines of code to roll our own, but that code would perhaps be simpler, and would surely be faster (although if we just want the speed gains we could use another JSON-generator library, see also #47). Anyway, something to think about in the future. ## Test plan: make tesc Author: benjaminjkraft Reviewers: csilvers, StevenACoffman, benjaminjkraft, dnerdy, aberkan, jvoll, mahtabsabet, MiguelCastillo Required Reviewers: Approved By: StevenACoffman, dnerdy Checks: ✅ Test (1.17), ✅ Test (1.16), ✅ Test (1.15), ✅ Test (1.14), ✅ Lint, ✅ Test (1.17), ✅ Test (1.16), ✅ Test (1.15), ✅ Test (1.14), ✅ Lint Pull Request URL: #120
- Loading branch information
1 parent
1f65445
commit f4c9810
Showing
30 changed files
with
4,143 additions
and
180 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,44 @@ | ||
{{/* This is somewhat parallel to unmarshal_helper.go.tmpl, but, as usual, in | ||
reverse. Note the helper accepts a pointer-to-interface, for | ||
consistency with unmarshaling and with the API we expect of custom | ||
marshalers. */}} | ||
|
||
func __marshal{{.GoName}}(v *{{.GoName}}) ([]byte, error) { | ||
{{/* Determine the GraphQL typename, which the unmarshaler will need should | ||
it be called on our output. */}} | ||
var typename string | ||
switch v := (*v).(type) { | ||
{{range .Implementations -}} | ||
case *{{.GoName}}: | ||
typename = "{{.GraphQLName}}" | ||
|
||
{{/* Now actually do the marshal, with the concrete type. (Go only | ||
marshals embeds the way we want if they're structs.) Except that | ||
won't work right if the implementation-type has its own | ||
MarshalJSON method (maybe it in turn has an interface-typed | ||
field), so we call the helper __premarshalJSON directly (see | ||
marshal.go.tmpl). */}} | ||
{{if .NeedsMarshaling -}} | ||
premarshaled, err := v.__premarshalJSON() | ||
if err != nil { | ||
return nil, err | ||
} | ||
result := struct { | ||
TypeName string `json:"__typename"` | ||
*__premarshal{{.GoName}} | ||
}{typename, premarshaled} | ||
{{else -}} | ||
result := struct { | ||
TypeName string `json:"__typename"` | ||
*{{.GoName}} | ||
}{typename, v} | ||
{{end -}} | ||
return json.Marshal(result) | ||
{{end -}} | ||
case nil: | ||
return []byte("null"), nil | ||
default: | ||
return nil, {{ref "fmt.Errorf"}}( | ||
`Unexpected concrete type for {{.GoName}}: "%T"`, v) | ||
} | ||
} |
Oops, something went wrong.