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

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