Proposal: Use (.) and id from Control.Category in Prelude

Roman Cheplyaka roma at ro-che.info
Sun Jun 15 12:08:15 UTC 2014


* Ross Paterson <R.Paterson at city.ac.uk> [2014-06-15 09:42:31+0100]
> On Sun, Jun 15, 2014 at 09:26:19AM +0300, Roman Cheplyaka wrote:
> > * John Meacham <john at repetae.net> [2014-06-14 19:54:16-0700]
> > > Actually, a change I'd like to see is just make sure that no modules
> > > re-export anything that prelude exports.
> > 
> > Do you have any examples of this?
> 
> Data.List has a lot of them.  Others include:
> 
> Control.Monad: Functor(fmap), Monad((>>=), (>>), return, fail)
> Data.Functor: Functor(fmap)
> Data.Maybe: Maybe(Nothing, Just), maybe
> Data.Ratio: Rational

Maybe I misunderstood the concern.

For me it looks more like Prelude re-exporting stuff from those modules, which
makes sense.

Would you prefer Data.List randomly lacking lists functions on the basis that
they are exported by Prelude?

Roman
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140615/745cb02e/attachment.sig>


More information about the Libraries mailing list