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
I think these would be quite useful:
def liftK[F[_]]: F ~> Free[F, *] def liftId[F[_]]: Id ~> Free[F, *]
The text was updated successfully, but these errors were encountered:
Hi, can I pick this one up?
Sorry, something went wrong.
Go ahead ;)
Merge pull request #3710 from phongngtuan/free_liftK
1bac568
Add missing Free.liftK and Free.liftId #3707
No branches or pull requests
I think these would be quite useful:
The text was updated successfully, but these errors were encountered: