These are chat archives for argonaut-io/argonaut

4th
May 2016
Jan Vincent Liwanag
@jvliwanag
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 https://github.com/argonaut-io/argonaut/blob/master/argonaut/src/test/scala/argonaut/CodecSpecification.scala#L123 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à
@gpampara
May 04 2016 10:33
It’s covariant? :(