<div dir="auto">So it's settled, we have an `Ed` type.</div><br><div class="gmail_quote"><div dir="ltr">On Wed, Mar 28, 2018, 2:51 AM Edward Kmett <<a href="mailto:ekmett@gmail.com">ekmett@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">+1 to add it.<br><br>I don't care one way or the other about the name. =)<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 27, 2018 at 11:06 AM, Daniel Cartwright <span dir="ltr"><<a href="mailto:chessai1996@gmail.com" target="_blank" rel="noreferrer">chessai1996@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">One thing that I would like to respectfully point out - is that the members' of this library mailing list end up derailing otherwise useful conversations over the choice of a name, which is frankly a silly bottleneck. I would much rather roll a die or flip a coin to choose a name, and just get on to implementing the proposed thing, provided it is the case that it is seen as generally useful.</div><div class="m_2587371037421945133HOEnZb"><div class="m_2587371037421945133h5"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 27, 2018 at 10:59 AM, Daniel Cartwright <span dir="ltr"><<a href="mailto:chessai1996@gmail.com" target="_blank" rel="noreferrer">chessai1996@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="auto"></div>I can definitely see "App" as being overloaded (Application).<div>Good names that I see are "Ap" and "Apply".</div><div><div><br></div><div>I think "Ap" is fine. </div><div><div class="m_2587371037421945133m_-8620881461916873548h5"><div><div class="gmail_quote"><div dir="ltr">On Tue, Mar 27, 2018, 10:28 AM David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">I proposed same thing some time ago. The main point of contention was the name. I hope you have better luck!</div><br><div class="gmail_quote"><div dir="ltr">On Tue, Mar 27, 2018, 10:23 AM Daniel Cartwright <<a href="mailto:chessai1996@gmail.com" rel="noreferrer noreferrer" target="_blank">chessai1996@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I see this as being generally (as in, to the users of Haskell as a whole) useful:<div><br></div><div>newtype Ap f a = Ap { getAp :: f a }</div><div> deriving (Applicative, Eq, Foldable, Functor, Generic, Generic1</div><div> ,Monad, Ord, Read, Show, Traversable)</div><div><br></div><div>Some hand-written instances:</div><div>instance (Applicative f, Semigroup a) => Semigroup (Ap f a) where</div><div> (Ap x) <> (Ap y) = Ap $ liftA2 (<>) x y</div><div><br></div><div>instance (Applicative f, Monoid a) => Monoid (Ap f a) where</div><div> mempty = Ap $ pure mempty</div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
</blockquote></div></div></div></div></div></div>
</blockquote></div><br></div>
</div></div><br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>