A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs, binary codecs, and migration from this schema definition
We can (and should) pull the "isos" out of the SchemaF pattern-functor.
We would end up with a user-facing SchemaZ case class containing an "iso" from a business type T to a generic representation (sums of products) A and a Schema[A].
The typeclass derivation would still work the same: it would derive instances for A and corresponding instances for T would be obtained by maping or contramaping the relevant half of the "iso".
vil1
commented
4 years ago
We can (and should) pull the "isos" out of the
SchemaFpattern-functor.We would end up with a user-facing
SchemaZcase class containing an "iso" from a business typeTto a generic representation (sums of products)Aand aSchema[A].The typeclass derivation would still work the same: it would derive instances for
Aand corresponding instances forTwould be obtained bymaping orcontramapingthe relevant half of the "iso".The impact on migrations is still unknown though.