Make law for Foldable.length explicit
authorAlain O'Dea <alain.odea@gmail.com>
Tue, 22 Aug 2017 12:47:07 +0000 (08:47 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 22 Aug 2017 15:09:05 +0000 (11:09 -0400)
Test Plan: Documentation only. Not necessary.

Reviewers: austin, hvr, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D3878

libraries/base/Data/Foldable.hs

index e33d45e..08ba9d4 100644 (file)
@@ -99,6 +99,8 @@ infix  4 `elem`, `notElem`
 --
 -- > fold = foldMap id
 --
+-- > length = getSum . foldMap (Sum . const  1)
+--
 -- @sum@, @product@, @maximum@, and @minimum@ should all be essentially
 -- equivalent to @foldMap@ forms, such as
 --