Skip to content
This repository has been archived by the owner on Jun 9, 2020. It is now read-only.

Add Suspendable and Catchable instances for Kleisli #10

Merged

Conversation

guersam
Copy link
Contributor

@guersam guersam commented Aug 23, 2016

A use case: typelevel/doobie#323

@mpilquist mpilquist merged commit 356dca9 into functional-streams-for-scala:master Aug 23, 2016
@mpilquist
Copy link
Member

If someone asks for a Monad[Kleisli[F, R, ?]], will these 2 instances conflict?

@guersam
Copy link
Contributor Author

guersam commented Aug 23, 2016

Oops, yeah I'm afraid of that. Which one should be preferred in that case?

@mpilquist
Copy link
Member

Shouldn't matter -- the monad definition is the same regardless. I'd probably go with preference to Suspendable.

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

Successfully merging this pull request may close these issues.

2 participants