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

More MTL instances #1378

Closed
adelbertc opened this issue Sep 17, 2016 · 5 comments
Closed

More MTL instances #1378

adelbertc opened this issue Sep 17, 2016 · 5 comments
Milestone
1.0.0-MF

Comments

@adelbertc
Copy link
Contributor

A lot of MTL instances are defined inductively, see: https://hackage.haskell.org/package/mtl

We seem to only have the obvious instances, but none on the other transformers.
@adelbertc adelbertc added this to the cats-1.0.0 milestone Sep 17, 2016
@adelbertc adelbertc mentioned this issue Sep 30, 2016
Closed
@kailuowang
Copy link
Contributor

should this one be closed by #1413?

@kailuowang
Copy link
Contributor

@adelbertc should this one be closed by #1413?

@adelbertc
Copy link
Contributor Author

Mm, we're still missing instances. For instance we don't have a MonadWriter for EitherT if F[_]: MonadWriter.

On a related note @edmundnoble is working on a re-encoding of the MTL type classes soo..

@kailuowang kailuowang mentioned this issue Apr 4, 2017
Closed
@kailuowang
Copy link
Contributor

Sort of blocked by #1210

@kailuowang
Copy link
Contributor

continued on #1616

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.0.0-MF
Development

No branches or pull requests
2 participants
@kailuowang @adelbertc