We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
We redefined Kleisli for the sake of lenses. Considering that it is essentially used internally, it didn't matter, if it would spare a dependency.
Kleisli
However, as it happens, Kleisli is defined in `base. So we should use that one instead (or non-linear Kleisli, of course, the linear has to stay).
The text was updated successfully, but these errors were encountered:
Use Kleisli arrows from base (#47)
ce6bb27
Merge pull request #49 from tweag/base-kleisli
5e604a3
b-mehta
Successfully merging a pull request may close this issue.
We redefined
Kleisli
for the sake of lenses. Considering that it is essentially used internally, it didn't matter, if it would spare a dependency.However, as it happens,
Kleisli
is defined in `base. So we should use that one instead (or non-linear Kleisli, of course, the linear has to stay).The text was updated successfully, but these errors were encountered: