Add @implicitNotFound to all classes
djspiewak opened this issue · 0 comments
djspiewak commented
The contents should guide users towards what to do. For example, for the Ask
classes, it should say something like this:
If you have a value of
$A
in scope, or a way of getting one, then you should wrap$F
inKleisli
(e.g.Kleisli[$F, $A, ...
) and use that type with this function. If you do not have a value of type$A
in scope, then you should add animplicit F: ApplicativeAsk[$F, $A]
parameter to your function.
We should be able to do this for all of the classes.