Generic style to/from for ADTS

[fommil]

like in shapeless it would be great to have a way of automatically going to and from a Prod for case classes and case objects, and to/from Cop for sealed traits.

In addition, it would be great to have specialised equivalents for tuples and scalaz disjunctions.

[andyscott]

Related proof of concept #53

[fommil]

Another proof of concept: https://gitlab.com/fommil/scalaz-deriving/blob/master/scalaz-deriving/src/main/scala/scalaz/IotaMacros.scala

My macros are blackbox, not whitebox, which I think is very useful. Then all is needed is a whitebox wrapper around this which can create the TList and .Aux.

[fommil]

I'll probably rewrite my macros to support scalaz.Isomorphism in the mapping as it's generally useful in scalaz.

[andyscott]

Do you want to add any of this directly to Iota?

[fommil]

oh yes, definitely. But it's much faster for me to have it in scalaz-deriving when I'm working on it.

[fommil]

This exists btw, if anybody wants it I'd be happy to contribute it but I don't have the time to refactor it and raise a PR.