[Haskell-cafe] HXT and types in Control.Arrow.ArrowTree
rvollmert-lists at gmx.net
Mon Mar 24 11:55:45 EDT 2008
On Mar 23, 2008, at 18:53, Albert Y. C. Lai wrote:
> You are right, there is no harm generalizing deep, since a related
> combinator, multi, has the more general type.
thanks for the reply! Perhaps I'll suggest the generalization to the
HXT authors. Meanwhile, I've discovered examples of just the kind of
thing I'm trying to do at http://www.haskell.org/haskellwiki/HXT/Practical/
> Meanwhile, I don't think
>> deep (hasName "a") >>> getLink
> looks too bad. :)
That's true, it was a bad example. It's just that if getLink already
includes the hasName test, the above seems redundant.
More information about the Haskell-Cafe