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

2005-12-29 Thread Alexey Rodriguez Yakushev
On Dec 23, 2005, at 11:53, Arjen wrote: On Fri, 23 Dec 2005, 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. >

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

2005-12-23 Thread Arjen
On Fri, 23 Dec 2005, 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. > I've updated the web page to say that is do

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

2005-12-23 Thread Ralf Hinze
> Is this something that can be compiled with GHC right now? I noticed - > fgenerics but I think it does something else entirely. GH is a pre-compiler that takes GH code to Haskell code, so this is a two-step process. -fgenerics turns derivable type classes on (see "Derivable type classes", Ralf

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

2005-12-23 Thread Joel Reymont
Is this something that can be compiled with GHC right now? I noticed - fgenerics but I think it does something else entirely. On Dec 23, 2005, at 8:52 AM, Ralf Hinze wrote: It's Generic Haskell source code, see http://www.generic-haskell.org/ Generic Haskell is an extension of Haskel

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

2005-12-23 Thread 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 <[EMAIL PROTECTED]> wrote: > Folks, > > I have been looking at the code for the "Ar

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

2005-12-23 Thread Ralf Hinze
> 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 It's Generic Haskell source code, see http://www.generic-haskell.org/ Generic Haskell is an extension of Haskell that supports generic programming.

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

2005-12-23 Thread Joel Reymont
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|},