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
Implicit module arguments are an alternative to implicit functors. Instead of
implicit functor M (A:X) (B:Y) = ...
we might write:
implicit module M (implicit A:X) (implicit B:Y) = ...
Both the module and the arguments are marked implicit here, but the idea is to separate the two, so that any module can have implicit arguments.
implicit
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Implicit module arguments are an alternative to implicit functors. Instead of
we might write:
Both the module and the arguments are marked
implicithere, but the idea is to separate the two, so that any module can have implicit arguments.The text was updated successfully, but these errors were encountered: