Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Export derivations #240

Open
safareli opened this issue Apr 5, 2017 · 1 comment
Open

Export derivations #240

safareli opened this issue Apr 5, 2017 · 1 comment

Comments

@safareli
Copy link
Member

safareli commented Apr 5, 2017

In purescript derivations of some functions are exported from the module where typeclass is defined.

Currently we have then in readme.md as text, but having them exported from FL would be much better i think.

It will also encourage library authors to depend on FL as it could provide some helpful/tested derivations.

What others think on it?

@davidchambers
Copy link
Member

I like this idea.

It's important to be clear that an algebraic data type must implement the various methods rather than rely on a library such as sanctuary-type-classes to provide derivations. Providing a lawful fantasy-land/bimap method, for example, does not satisfy the requirements of Functor. That said, it would be completely valid for the author of an ADT library to choose to derive the implementation of fantasy-land/map from fantasy-land/bimap. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants