diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-23 22:17:47 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-27 18:28:18 +0200 |
| commit | 8a9a011d6869fbfa678b6d713af0ef5aa7eda9c6 (patch) | |
| tree | fe3c6edcac3c5a31f9c02d23bcc8c66c36ac2ac3 | |
| parent | 538901b3a8c44b18075fb4b1bb081227d9a85441 (diff) | |
| download | haskell-wip/bang-pattern-docs.tar.gz | |
Functor docs: link to free theorem explanation (#19300)wip/bang-pattern-docs
| -rw-r--r-- | libraries/base/GHC/Base.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 5a9d38f147..508edb71e2 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -523,6 +523,9 @@ structure of @f@. Furthermore @f@ needs to adhere to the following: Note, that the second law follows from the free theorem of the type 'fmap' and the first law, so you need only check that the former condition holds. +See <https://www.schoolofhaskell.com/user/edwardk/snippets/fmap> or +<https://github.com/quchen/articles/blob/master/second_functor_law.md> +for an explanation. -} class Functor f where |