<div dir="ltr">Ryan: I'm proposing not moving Data.Functor.Constant at all and leaving that module alone, unmoved.<div><br></div><div>I'm proposing rather adding Data.Functor.Const and having Control.Applicative re-export Const from it rather than supply its own.<div><br></div><div>This allows us to follow the general pattern of having all the data types available on display in the Data.Functor.* hierarchy, while still allowing for the fact that Const won the convenience war a long time ago.<br></div><div><br></div><div><div>This avoids breaking any of the handful of users of the current Constant data type, which could then be gracefully deprecated -- or not as Ross sees fit, within his purview as the maintainer of the transformers package.</div><div><br></div></div><div>-Edward</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 23, 2015 at 11:13 PM, Ryan Scott <span dir="ltr"><<a href="mailto:ryan.gl.scott@gmail.com" target="_blank">ryan.gl.scott@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I really like this proposal, especially since having convenient Eq1,<br>
Ord1, Read1, Show1, etc. instances is something I've wanted for a<br>
while.<br>
<br>
I have some questions about some specifics:<br>
<br>
1. Just to verify, you're proposing a breaking change in which<br>
Data.Functor.Constant no longer exports Constant, but rather Const?<br>
2. You mentioned that the additions to base could use<br>
DefaultSignatures. Could you give an example of how this would work?<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>