diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-09-20 23:31:00 -0700 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-22 16:07:00 -0500 |
| commit | a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b (patch) | |
| tree | 3d45011584fa680ef71c0f468dd3275acaed94f0 /libraries/base/Data/Bifoldable.hs | |
| parent | 9f3e22b9eb2e67323f965b652c37fdd73628b007 (diff) | |
| download | haskell-a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b.tar.gz | |
Doc-only fixes
* laws are capitalized definition lists, no emphasis on the labels
* adds missing hyperlinks
* fixes other misc. Haddock markup issues.
Diffstat (limited to 'libraries/base/Data/Bifoldable.hs')
| -rw-r--r-- | libraries/base/Data/Bifoldable.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/libraries/base/Data/Bifoldable.hs b/libraries/base/Data/Bifoldable.hs index 4315fdb259..918ddd236c 100644 --- a/libraries/base/Data/Bifoldable.hs +++ b/libraries/base/Data/Bifoldable.hs @@ -78,11 +78,15 @@ import GHC.Generics (K1(..)) -- -- If the type is also a 'Data.Bifunctor.Bifunctor' instance, it should satisfy: -- --- > 'bifoldMap' f g ≡ 'bifold' . 'bimap' f g +-- @ +-- 'bifoldMap' f g ≡ 'bifold' . 'Data.Bifunctor.bimap' f g +-- @ -- -- which implies that -- --- > 'bifoldMap' f g . 'bimap' h i ≡ 'bifoldMap' (f . h) (g . i) +-- @ +-- 'bifoldMap' f g . 'Data.Bifunctor.bimap' h i ≡ 'bifoldMap' (f . h) (g . i) +-- @ -- -- @since 4.10.0.0 class Bifoldable p where |