[GHC] #9674: Foldable doesn't have any laws
GHC
ghc-devs at haskell.org
Fri Oct 10 17:24:47 UTC 2014
#9674: Foldable doesn't have any laws
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: ekmett
Type: bug | Status: new
Priority: normal | Milestone:
Component: Core Libraries | Version: 7.8.3
Keywords: | Operating System:
Architecture: Unknown/Multiple | Unknown/Multiple
Difficulty: Unknown | Type of failure:
Blocked By: | Documentation bug
Related Tickets: | Test Case:
| Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
The documentation for `Foldable` doesn't list any laws. I don't know
exactly what its laws may be, but there are, at least, several implicit in
the default method definitions.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9674>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list