bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
BSD 3-Clause "New" or "Revised" License
102 stars 15 forks source link

What are the hurdles for for adding Read instances #210

Open bbarker opened 4 years ago

bbarker commented 4 years ago

I haven't looked into this yet, but I'm sure existing thoughts exist. I can't currently use dimensional in my core data types because I'm being lazy and relying on read and show for serialization, which, i know, is generally discouraged, but I've had to pick my battles.

Related #155

dmcclean commented 4 years ago

Fair question. I think we would want to preserve the read . show = id property, so I think the most important hurdle would be reaching a resolution of #155 so that we know what we want the Show instance to do, which dictates most of what the Read instance should do?