Convert to/from JSON about proto-lens HOT 5 OPEN

@jamesthompson if I understand what you're asking about, generally we accomplish the recursion using the Message constraint on MessageField. A good example isData.ProtoLens.TextFormat, which does a similar sort of recursion:

You can also see a similar sort of pattern in proto-lens-arbitrary:

from proto-lens.

I implemented JSON serialization in this repository . Parsing would require some more work.

from proto-lens.

Is there any update on this?

from proto-lens.

I'm not sure this can be done with the current Message type class generically.

I've been working on converting JSON into a Message generically, and as you inspect a FieldDescriptor from a key in an inbound JSON object being parsed, you are able to access the underlying field type and lens for setting that value, but there's no way to do this recursively as you don't know anything about the underlying value being set by the lens, there's no constraint on value you're setting and no way for the compiler to know what this type represents and hence select a suitable instance to use in parsing that underlying field to set.

I really wish I could figure this out as I'd rather not have to hand roll parsing instances for all the types I'd like to deal with (which is in the 100s).

from proto-lens.

Thanks a lot @judah! This pointed me in the right direction - I'm happily parsing my JSON now. Thank you very much for all your work on this library too. I think it's a tour de force in haskell.

from proto-lens.