proposal #2461: add Traversable
nicolas.pouillard at gmail.com
Thu Jul 31 15:46:14 EDT 2008
Excerpts from Michael Karcher's message of Mon Jul 28 10:48:34 +0200 2008:
> Conor McBride <conor at strictlypositive.org> wrote:
> > Michael wrote
> > > > David wrote (with patch applied):
> > > > (Backward f) <*> (Backward a) = Backward (a <**> f)
> > > According to the haddock of Control.Applicative, this line is
> > > semantically
> > > equivalent to
> > > Backward f <*> Backward a = Backward (f <*> a)
> > I'm not saying the haddock is entirely clear, but it certainly
> > doesn't necessitate the interpretation you're making.
> OK, right. But the text "A variant of <*> with the arguments reversed"
> at least sounds like "<**> = flip <*>", which obviously is untrue
I've also understood "<**> = flip <*>" when reading the docs :(
Nicolas Pouillard aka Ertai
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 194 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/libraries/attachments/20080731/e6d50fba/signature.bin
More information about the Libraries