Bug in the documentation of (<**>)

Wolfgang Jeltsch wolfgang-it at jeltsch.info
Mon Sep 11 14:51:17 UTC 2017


The documentation of (<**>) says: “A variant of <*> with the arguments
reversed.” In my opinion, this means that (<**>) = flip (<*>). However,
this is not true, since (<**>) does not change the order of effects. The
actual definition of (<**>) is a <**> f = liftA2 (\ x h -> h x) a f.
Could this please be fixed?

All the best,

More information about the Libraries mailing list