Update Traversable.hs with a note about an intuitive law
authorcode5hot <tristan.wibberley@gmail.com>
Tue, 4 Jun 2019 22:00:28 +0000 (18:00 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 7 Jun 2019 14:26:46 +0000 (10:26 -0400)
libraries/base/Data/Traversable.hs

index a8647fd..bdb2dc3 100644 (file)
@@ -115,7 +115,13 @@ import qualified GHC.List as List ( foldr )
 -- 'Data.Functor.Compose.Compose' are from "Data.Functor.Identity" and
 -- "Data.Functor.Compose".
 --
--- (The naturality law is implied by parametricity.)
+-- A result of the naturality law is the intuitive generalised identity law
+-- for 'traverse'
+--
+-- @'traverse' 'pure' = 'pure'@
+--
+-- (The naturality law is implied by parametricity and thus so is the
+-- generalised identity law [reference not available, word of mouth].)
 --
 -- Instances are similar to 'Functor', e.g. given a data type
 --