diff options
| author | Viktor Dukhovni <ietf-dane@dukhovni.org> | 2021-12-07 15:58:52 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-12-09 04:27:48 -0500 |
| commit | 52bbea0f986c5a2b25aaf17ae89931a6a20ee028 (patch) | |
| tree | 7ad8e459f6a2e29305f851dd1d151d4380c54c2a | |
| parent | 803eefb1109564f4dbabd80721cd45ce7268c4a2 (diff) | |
| download | haskell-52bbea0f986c5a2b25aaf17ae89931a6a20ee028.tar.gz | |
Fix typo and outdated link in Data.Foldable
Amazing nobody had reported the "Foldabla" typo. :-(
The Traversable docs got overhauled, leaving a stale
link in Foldable to a section that got replaced. Gave
the new section an anchor and updated the link.
| -rw-r--r-- | libraries/base/Data/Foldable.hs | 6 | ||||
| -rw-r--r-- | libraries/base/Data/Traversable.hs | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/libraries/base/Data/Foldable.hs b/libraries/base/Data/Foldable.hs index bf44ae80ed..47cbc90c70 100644 --- a/libraries/base/Data/Foldable.hs +++ b/libraries/base/Data/Foldable.hs @@ -1542,7 +1542,7 @@ elements in a single pass. -- $overview -- -- #overview# --- The Foldabla class generalises some common "Data.List" functions to +-- The Foldable class generalises some common "Data.List" functions to -- structures that can be reduced to a summary value one element at a time. -- -- == Left and right folds @@ -1954,8 +1954,8 @@ elements in a single pass. -- in some monads are conditionally lazy and can /short-circuit/ a chain of -- computations. The below folds will terminate as early as possible, but -- even infinite loops can be productive here, when evaluated solely for --- their stream of IO side-effects. See "Data.Traversable#validation" --- for some additional discussion. +-- their stream of IO side-effects. See "Data.Traversable#effectful" +-- for discussion of related functions. -- -- @ -- `traverse_` :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f () diff --git a/libraries/base/Data/Traversable.hs b/libraries/base/Data/Traversable.hs index a34ce3d577..94e19f8905 100644 --- a/libraries/base/Data/Traversable.hs +++ b/libraries/base/Data/Traversable.hs @@ -654,6 +654,7 @@ foldMapDefault = coerce (traverse @t @(Const m) @a @()) ------------------ -- $effectful +-- #effectful# -- -- The 'traverse' and 'mapM' methods have analogues in the "Data.Foldable" -- module. These are 'traverse_' and 'mapM_', and their flipped variants |