[Haskell-cafe] HXT and types in Control.Arrow.ArrowTree

Robert Vollmert 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 mailing list