Data.Traversable has for = flip traverse, which is very useful when then traversing function is a large lambda and can hang off to the right of an expression. This PR adds for variants for every traverse-style function where it appears to make sense. They're more important in this library than in base, actually, because it's harder to get things like fliip btraverse to typecheck on HKD than the equivalent on a regular Traversable.
Data.Traversable
hasfor = flip traverse
, which is very useful when then traversing function is a large lambda and can hang off to the right of an expression. This PR addsfor
variants for everytraverse
-style function where it appears to make sense. They're more important in this library than inbase
, actually, because it's harder to get things likefliip btraverse
to typecheck on HKD than the equivalent on a regularTraversable
.