RE: [Haskell-cafe] arr f

2006-01-30 Thread Sven Biedermann
the arrow notation is as it is? Greetings Sven -Original Message- From: Chris Kuklewicz [mailto:[EMAIL PROTECTED] Sent: Samstag, 28. Januar 2006 18:01 To: Sven Biedermann Cc: haskell-cafe@haskell.org Subject: Re: [Haskell-cafe] arr f Sven Biedermann wrote: Hello Henrik Ross

Re: [Haskell-cafe] arr f

2006-01-30 Thread Ross Paterson
On Mon, Jan 30, 2006 at 06:27:12PM +0100, Sven Biedermann wrote: Since I want to use the arrow notation, I had a close look at the following description, taken from http://www.haskell.org/ghc/docs/latest/html/users_guide/arrow-notation.html [example in 7.7.1. do-notation for commands] The

RE: [Haskell-cafe] arr f

2006-01-28 Thread Sven Biedermann
Subject: Re: [Haskell-cafe] arr f Hi Sven, since this is my first post, Hello all Welcome! I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if b has

Re: [Haskell-cafe] arr f

2006-01-28 Thread Chris Kuklewicz
Sven Biedermann wrote: Hello Henrik Ross, Man thanks for your input. I have realised that I should have explained my problem better. So, I try... I want to create a datatype like this: data D a b = DepVoid (a-b) | -- a = () DepSingle (a-b) | -- a = a

Re: [Haskell-cafe] arr f

2006-01-27 Thread Henrik Nilsson
Hi Sven, since this is my first post, Hello all Welcome! I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if b has the form (d,e), i want to construct

Re: [Haskell-cafe] arr f

2006-01-27 Thread Ross Paterson
On Fri, Jan 27, 2006 at 08:20:07PM +0100, Sven Biedermann wrote: I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if b has the form (d,e), i want to