diff options
author | Viktor Dukhovni <ietf-dane@dukhovni.org> | 2021-05-26 05:43:12 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-02 04:38:47 -0400 |
commit | 6b6c4b9ab0f773011a04c19f3cd5131a1aab2a41 (patch) | |
tree | 49784b9db47b55ae8f0448ad6d1da26be0ce711a /compiler/GHC/Unit/Module/ModGuts.hs | |
parent | 21bdd9b74bd4fb190785b75b76e6d1f5ec0ba157 (diff) | |
download | haskell-6b6c4b9ab0f773011a04c19f3cd5131a1aab2a41.tar.gz |
Improve wording of fold[lr]M documentation.
The sequencing of monadic effects in foldlM and foldrM was described as
respectively right-associative and left-associative, but this could be
confusing, as in essence we're just composing Kleisli arrows, whose
composition is simply associative.
What matters therefore is the order of sequencing of effects, which
can be described more clearly without dragging in associativity as
such.
This avoids describing these folds as being both left-to-right and
right-to-left depending on whether we're tracking effects or operator
application. The new text should be easier to understand.
Diffstat (limited to 'compiler/GHC/Unit/Module/ModGuts.hs')
0 files changed, 0 insertions, 0 deletions