[Haskell-cafe] Arrows for invertible programming: Notation question

Joel Reymont joelr1 at gmail.com
Fri Dec 23 03:41:54 EST 2005


I have been looking at the code for the "Arrows for invertible  
programming" paper (http://www.cs.ru.nl/A.vanWeelden/bi-arrows/) and  
I have a question about syntax. ghci surely does not like it.

What does this mean and how do I make it compile?

mapl{|a, b|arr|} :: (mapl{|a, b|arr|}, ArrowChoice arr, BiArrow arr)  
=> arr a b

	Thanks, Joel


More information about the Haskell-Cafe mailing list