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

Control.Monad.Error.Lens #5

Open
tonymorris opened this issue Jan 18, 2017 · 5 comments
Open

Control.Monad.Error.Lens #5

tonymorris opened this issue Jan 18, 2017 · 5 comments

Comments

@tonymorris
Copy link
Collaborator

The Control.Monad.Error.Lens module should be in module Papa.
@tonymorris
Copy link
Collaborator Author

@puffnfresh Do you use this module?

@puffnfresh
Copy link
Contributor

@tonymorris no, I don't but it conflicts with Control.Exception.Lens which seems pretty useful though I've only used it a tiny amount.

@tonymorris
Copy link
Collaborator Author

OK yeah, maybe that is the right module to export.

@tonymorris
Copy link
Collaborator Author

Control.Exception.Lens seems more geared toward Exception e => rather than MonadError e m =>.

I prefer MonadError since it corresponds to exactly MonadEither if it were to exist (despite the word error in the name). I think Exception is busted.

@puffnfresh
Copy link
Contributor

I think Control.Exception.Lens is useful but probably for legacy reasons. I agree it doesn't make much sense in a replacement Prelude.

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
No milestone
Development

No branches or pull requests
2 participants
@puffnfresh @tonymorris