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.

Sign up for GitHub

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

Jump to bottom

Applicative doesn't have default implementation for map and product #904

Closed
adelbertc opened this issue Mar 1, 2016 · 3 comments
Closed

Applicative doesn't have default implementation for map and product #904

adelbertc opened this issue Mar 1, 2016 · 3 comments
Assignees
@adelbertc

Comments

@adelbertc
Copy link
Contributor

No description provided.

@julienrf
Copy link
Contributor

julienrf commented Mar 1, 2016

I thought that was the intended design. Maybe we should provide a trait that one can mix in an implementation of Applicative and provides map and product, implemented in terms of ap and pure?

@adelbertc
Copy link
Contributor Author

Was it? What was the motivation for that? I know Cartesian intentionally doesn't extend Functor to make it more general, but I'd imagine Applicative should implement both.

@DavidGregory084
Copy link
Member

@non has mentioned on a few occasions that he would like to move to a model whereby no default implementations are provided in typeclass traits, but I don't know if there has been a consensus about that?

@adelbertc adelbertc mentioned this issue Apr 4, 2016
Closed
5 tasks
adelbertc added a commit to adelbertc/cats that referenced this issue Apr 4, 2016
@adelbertc
product and map can be implemented in terms of ap, fixes typelevel#904
127d37c
adelbertc added a commit to adelbertc/cats that referenced this issue Apr 4, 2016
@adelbertc
product and map can be implemented in terms of ap, fixes typelevel#904
ebf6913
adelbertc added a commit to adelbertc/cats that referenced this issue Apr 4, 2016
@adelbertc
product and map can be implemented in terms of ap, fixes typelevel#904
3542189
adelbertc added a commit that referenced this issue Apr 5, 2016
@adelbertc
Merge pull request #967 from adelbertc/ap-override
d0d5a79 
product and map can be implemented in terms of ap, fixes #904
@stew stew removed the in progress label Apr 5, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@adelbertc adelbertc

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@stew @julienrf @adelbertc @DavidGregory084