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.
I've
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|},
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.
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
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
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 does not