Search by type (Re: In search of: [a->b] -> a -> [b])

[Jon Fairbairn]

On 2003-06-17 at 20:15EDT Derek Elkins wrote:
> The closest function I see is ap :: Monad m => m (a -> b) -> m a -> m b
> (so you could write your function as f fs a = ap fs (return a) not that
> I would recommend it).  Also you may want to check out the Haskell
> reference at zvon.org, it's indexed by type as well.

That's useful. It reminds me to ask whether anyone is
working on adding a search by type facility to any of the
haskell systems. I remember a talk by folk from York about
how they did it (years ago), and being impressed, so it
seems a shame that we don't have this now.

 Jón


-- 
Jón Fairbairn                                 Jon.Fairbairn@cl.cam.ac.uk