<div dir="ltr">On Tue, Aug 26, 2008 at 9:05 AM, terrence.brannon <span dir="ltr"><<a href="mailto:terrence.x.brannon@jpmchase.com">terrence.x.brannon@jpmchase.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br>
<br>
<br>
terrence.brannon wrote:<br>
><br>
><br>
><br>
> I am confused by the pipe syntax. Where is it fully discussed with<br>
> examples?<br>
><br>
><br>
<br>
</div>Here's another example:<br>
<br>
sumlength :: [t] t t -> (t,t) | +, one t<br>
<br>
I'm guessing this is saying that both + and one must be applicable to the<br>
argument of type t<br>
<br>
So in some cases it seems to be saying that a certain function must be<br>
applicable and in other cases it is saying that the datum has to be of a<br>
certain type.<br>
<br>
But I dont know where to find this fully described with examples, so I'm<br>
sort of hitting in the dark :)<br>
<font color="#888888"></font></blockquote><div><br>The place where this is described is in "Type classes", section 6.1 of the language report.<br><br>HTH,<br>--ag <br></div></div><br clear="all"><br>-- <br>Artie Gold, Austin, Texas<br>
70 is a weird number.<br>
</div>