Re: [Haskell-cafe] Re: Ignorant begginer question

2004-12-24 Thread Jules Bean 
On 24 Dec 2004, at 14:53, John Goerzen wrote:
On 2004-12-23, Stefan Holdermans [EMAIL PROTECTED] wrote:
Your problem right now is that the type Complex takes (needs) a type
argument. Its definitions is (module strictness flags):
   data Complex a = a :+ a
What does the :+ mean here?
It's a data constructor, written infix. Infix constructors all begin 
with ':', I think.

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

Re: [Haskell-cafe] Re: Ignorant begginer question

2004-12-24 Thread Stefan Holdermans 
Jules,
It's a data constructor, written infix. Infix constructors all begin 
with ':', I think.
That's correct.
Regards,
Stefan
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Ignorant begginer question

2004-12-24 Thread Tomasz Zielonka 
On Fri, Dec 24, 2004 at 03:14:34PM +, Jules Bean wrote:
 It's a data constructor, written infix. Infix constructors all begin 
 with ':', I think.

Yes, but you can also use prefix, alphanumeric constructors as infix
by placing them in backticks. This can be nice sometimes:

data Expr = ...
  | Expr `In` [Expr]
  | Expr `And` Expr
  | Expr `Or` Expr
  ...

case e of
e1 `In` es - ...

Best regards,
Tomasz
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe