Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Add documentation around TypeClass derivation #219
Comments
|
Fair comment. Are you able to make any headway with the TypeClass demos in the examples subproject? Or the examples in the tests? |
|
I have tried but still have a little bit of trouble understanding the purpose of those two methods. I have got them to somewhat work (mostly by being a copy cat) but would prefer a deep understanding of what is going on. |
|
OK, this might be better handled by a question on Stack Overflow. |
|
To be honest, I sort of feel like it should be added to the docs. Maybe not Once I understand what is going on, maybe I can write that page if it On Tue, Aug 26, 2014 at 12:27 AM, Miles Sabin notifications@github.com
|
|
I was suggesting posting on SO to get a worked out answer. That might form the basis of an addition to the scaladoc or wiki. All contributions stand a very good chance of being merged :-) |
|
Oh! We are in agreement then! :-) Here is the SO question (hopefully I expressed it correctly): |
|
More detailed info: https://underscore.io/books/shapeless-guide/ |
The documentation around typeclass derivation points to a blog post where the derivation process is explained in a very clear manner. The problem is that this blog post mentions that there will be a part 2 that deals with the notion of co-product and how it relates to typeclass derivation. As far as my understanding goes, this blog post never made it out and there is no ressource to find more about the
emptycoproductandcoproductmethods that need to need to be implemented in order to deriveTypeClassCompanion