Removes GCodec entirely and inlines the Reader/Star/Writer aspects of the previous version.
Removed some instances that I'm not convinced were correct.
Removed mapCodec for now at least. It was just one of many possible mapping patterns that aren't handled by the instances, and now it's much easier to construct codecs directly it didn't seem worth promoting this one particular case since it can be defined fairly trivially as needed.
BasicCodec has become Codec' ala optics, routing-duplex. Correspondingly, basicCodec constructor function is now codec'
Added a codec constructor for creating Codec a b c cs, which seems to be very common.
GCodecentirely and inlines theReader/Star/Writeraspects of the previous version.mapCodecfor now at least. It was just one of many possible mapping patterns that aren't handled by the instances, and now it's much easier to construct codecs directly it didn't seem worth promoting this one particular case since it can be defined fairly trivially as needed.BasicCodechas becomeCodec'ala optics, routing-duplex. Correspondingly,basicCodecconstructor function is nowcodec'codecconstructor for creatingCodec a b c cs, which seems to be very common.