<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><span style="background-color: rgba(255, 255, 255, 0);">Hoogle does let you restrict the search to the output type by prefixing your query with “::”. For example, “:: Maybe a” produces a list of functions that return a Maybe. </span><div><span style="background-color: rgba(255, 255, 255, 0);"><br></span></div><div><font color="#000000"><span style="caret-color: rgb(0, 0, 0); background-color: rgba(255, 255, 255, 0);"><a href="https://www.haskell.org/hoogle/?hoogle=%3A%3A+Maybe+a">https://www.haskell.org/hoogle/?hoogle=%3A%3A+Maybe+a</a><br><br>Unfortunately this doesn’t seem to work in the new Hoogle hosted at <a href="http://hoogle.haskell.org/">hoogle.haskell.org</a>. </span></font></div><br><div dir="ltr" id="AppleMailSignature">Sent from my iPhone</div><div dir="ltr"><br>On Nov 9, 2018, at 04:59, Johannes Waldmann <<a href="mailto:johannes.waldmann@htwk-leipzig.de">johannes.waldmann@htwk-leipzig.de</a>> wrote:<br><br></div><blockquote type="cite"><div dir="ltr"><span>Dear Cafe,</span><br><span></span><br><span>can we automate something like the following</span><br><span></span><br><span> for any type T that appears in signatures (shown by haddock),</span><br><span> add (separate) lists of "functions that produce T",</span><br><span> "functions that consume T".</span><br><span></span><br><span>Hoogle can type-search approximately, but</span><br><span>* it would always (want to) match the full type AST</span><br><span>(matching with a subtree incurs a penalty?),</span><br><span>* and not distinguish between producer and consumer?</span><br><span></span><br><span>E.g.,</span><br><span><a href="https://ndmitchell.com/downloads/slides-hoogle_finding_functions_from_types-16_may_2011.pdf">https://ndmitchell.com/downloads/slides-hoogle_finding_functions_from_types-16_may_2011.pdf</a></span><br><span>Slide #29 "Per Argument Searching"</span><br><span>uses "search arguments", "search results" -</span><br><span>only to merge the results immediately.</span><br><span>Can we keep them separate?</span><br><span></span><br><span>- J.W.</span><br><span></span><br><span>_______________________________________________</span><br><span>Haskell-Cafe mailing list</span><br><span>To (un)subscribe, modify options or view archives go to:</span><br><span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a></span><br><span>Only members subscribed via the mailman list are allowed to post.</span></div></blockquote></body></html>