These are chat archives for argonaut-io/argonaut

May 2016
Jan Vincent Liwanag
May 04 2016 06:36
Is it really a good idea for Decoder to be covariant as it is in 6.2? Imo, DecodeJson[Shape] should not be assignable from DecodeJson[Square]. I believe the covariant stuff was done to make simple. But imo, when dealing with this use case, outside of argonaut,the safer route is to define an external key, say $type.
Also, variance makes auto deriving codecs such as via argonaut-shapeless a bit more confusing
Gary Pamparà
May 04 2016 10:33
It’s covariant? :(