summaryrefslogtreecommitdiff
path: root/compiler/GHC/Unit/Module/ModGuts.hs
diff options
context:
space:
mode:
authorViktor Dukhovni <ietf-dane@dukhovni.org>2021-05-26 05:43:12 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-06-02 04:38:47 -0400
commit6b6c4b9ab0f773011a04c19f3cd5131a1aab2a41 (patch)
tree49784b9db47b55ae8f0448ad6d1da26be0ce711a /compiler/GHC/Unit/Module/ModGuts.hs
parent21bdd9b74bd4fb190785b75b76e6d1f5ec0ba157 (diff)
downloadhaskell-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