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

[Cale Gibbard]

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 <joelr1 at gmail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>