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

Hi, Based on the website there, it is written in Generic Haskell, and requires version 1.42 of the Generic Haskell compiler which you can get from http://www.generic-haskell.org/ - Cale On 23/12/05, Joel Reymont wrote:

Folks,

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

-- http://wagerlabs.com/

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe