Closed justinwoo closed 6 years ago
Actually, depending on your beliefs, you may not want to provide anything for product types, because who needs product types when you have records?
This should also include untagged sum functions, like so: https://github.com/justinwoo/untagged-sum-decode-simple-json-example/blob/e92a8334f49f997a0991abc63056532ea3ef899b/src/Main.purs#L31
mmm, I looked at this today and it would be much better to put this off until 0.12 because we want to work with records as regular types instead of writing redundant and potentially diverging implementations in the instances for generics-rep Rec/Field.
Example of foreign-generics with current compiler: https://github.com/justinwoo/simple-json-generic-sums
Not much to be done here for now.
Duplication of some effort from foreign-generics but it's worth not having to deal with the various different instances like trying to bring in IsForeign or whatnot.