<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">There are discussions once in a while:<div class=""><br class=""></div><div class=""><a href="https://www.reddit.com/r/haskell/comments/2rajq1/is_there_anything_planned_to_solve_the_orphan/" class="">https://www.reddit.com/r/haskell/comments/2rajq1/is_there_anything_planned_to_solve_the_orphan/</a></div><div class=""><a href="https://www.reddit.com/r/haskell/comments/1id0p7/backpack_retrofitting_haskell_with_interfaces/cb3eb2n" class="">https://www.reddit.com/r/haskell/comments/1id0p7/backpack_retrofitting_haskell_with_interfaces/cb3eb2n</a></div><div class=""><br class=""></div><div class="">I’m not sure what’s the story with backpack, way or another it would need to solve instance problem.</div><div class=""><br class=""></div><div class="">- Oleg</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 17 Feb 2016, at 20:34, <a href="mailto:amindfv@gmail.com" class="">amindfv@gmail.com</a> wrote:</div><br class="Apple-interchange-newline"><div class=""><br class=""><br class=""><blockquote type="cite" class="">El 17 feb 2016, a las 12:16, M Farkas-Dyck <<a href="mailto:m.farkasdyck@gmail.com" class="">m.farkasdyck@gmail.com</a>> escribió:<br class=""><br class=""><blockquote type="cite" class="">On 17/02/2016, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" class="">mail@joachim-breitner.de</a>> wrote:<br class="">You might want to add laws in the style of<br class=""><br class=""> If this is also a Foldable, then<br class=""> toList . mapMaybe f = mapMapybe f . toList<br class=""> toList . catMaybes = catMaybes . toList<br class=""> toList . filter f = filter f . toList<br class=""></blockquote><br class="">Shall do.<br class=""><br class=""><blockquote type="cite" class="">Do you plan to add instances for all the other data structures in base<br class="">that are filtrable?<br class=""></blockquote><br class="">Yes, if i missed any, please let me know which ☺<br class=""><br class=""><blockquote type="cite" class="">On 17/02/2016, Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi" class="">oleg.grenrus@iki.fi</a>> wrote:<br class="">- I’d also like to see instances for types in containers,<br class="">unordered-containers, vector and semigroup.<br class=""></blockquote><br class="">I was hoping to have no deps but base... alas, Cabal and Hackage seem<br class="">to have no good way to have instance deps, so the instances must be in<br class="">either the package defining the class or the one defining the types<br class="">which are instances of it.<br class=""></blockquote><br class="">Are there any existing proposals for a solution to this?<br class=""><br class="">Tom<br class=""><br class=""><br class=""><blockquote type="cite" class=""><br class=""><blockquote type="cite" class="">If you don’t mind I can make a PR for the instances.<br class=""></blockquote><br class="">Feel free to do so for containers and vector at least. I may want this<br class="">to not transitively depend on unordered-containers → hashable → text,<br class="">but if enough potential users want these instances i'll include them<br class="">(containers and vector come with GHC so it's not so bad). What types<br class="">in semigroups would you add instances of?<br class=""><br class=""><blockquote type="cite" class="">- The OtherLicense seems a bit scary (even the contents aren’t),<br class=""> is there a good reason why you don’t use more familiar MIT or BSD3?<br class=""></blockquote><br class="">Too verbose. I might use ISC if it weren't also an OtherLicense...<br class=""><br class=""><blockquote type="cite" class="">The law:<br class=""><br class=""> filter f = mapMaybe (liftA2 (<$) id (guard ∘ f))<br class=""><br class="">is very hard to understand.<br class=""></blockquote><br class="">Rewritten.<br class=""><br class=""><blockquote type="cite" class="">On 17/02/2016, Simon Jakobi <<a href="mailto:simon.jakobi@googlemail.com" class="">simon.jakobi@googlemail.com</a>> wrote:<br class="">your package looks very similar to<br class=""><a href="http://hackage.haskell.org/package/witherable" class="">http://hackage.haskell.org/package/witherable</a>!<br class=""></blockquote><br class="">Witherable has Traversable superclass, but some Filtrable types may<br class="">not be Traversable.<br class="">_______________________________________________<br class="">Haskell-Cafe mailing list<br class=""><a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe<br class=""></blockquote>_______________________________________________<br class="">Haskell-Cafe mailing list<br class=""><a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe<br class=""></div></blockquote></div><br class=""></div></body></html>