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)
commitcd5a9709a6e6647e0e7dc78f863820ca53bc99b0
treec28b970b3d6ebc30ddcb7e523140a926dd871194
parent9afaebefe5e59c8e9632f381bee14aa84b44c955
Make law for Foldable.length explicit

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