<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
If xs is a list,<br>
<br>
xs >>= f<br>
<br>
is the same as (concat (map f xs)). Take a look at the monad instance
for lists. So, in<br>
<br>
[1..] >>= \x -> .... <br>
<br>
x is "every" element of the list. Example:<br>
<br>
[1,2,3] >>= \x -> [x, x*2]<br>
<br>
is<br>
<br>
concat<br>
[ (\x -> [x, x*2]) 1<br>
, (\x -> [x, x*2]) 2<br>
, (\x -> [x, x*2]) 3<br>
]<br>
<br>
is<br>
<br>
concat [ [1,1], [2,4], [3,6] ]<br>
<br>
is<br>
<br>
[1,1,2,4,3,6] <br>
<br>
<br>
hope that helps. best regards,<br>
daniel<br>
<br>
<br>
<br>
michael rice schrieb:
<blockquote cite="mid:212672.54317.qm@web31107.mail.mud.yahoo.com"
type="cite">
<table border="0" cellpadding="0" cellspacing="0">
<tbody>
<tr>
<td
style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;"
valign="top">getLine >>= \x -> -- x is a string at this
point<br>
<br>
[1..] >>= \x -> -- x is WHAT at this point?<br>
<br>
MIchael<br>
<br>
--- On <b>Sun, 8/8/10, Henning Thielemann <i><a
class="moz-txt-link-rfc2396E"
href="mailto:lemming@henning-thielemann.de"><lemming@henning-thielemann.de></a></i></b>
wrote:<br>
<blockquote
style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>
From: Henning Thielemann <a class="moz-txt-link-rfc2396E"
href="mailto:lemming@henning-thielemann.de"><lemming@henning-thielemann.de></a><br>
Subject: Re: [Haskell-cafe] What is <-<br>
To: "michael rice" <a class="moz-txt-link-rfc2396E"
href="mailto:nowgate@yahoo.com"><nowgate@yahoo.com></a><br>
Cc: <a class="moz-txt-link-abbreviated"
href="mailto:haskell-cafe@haskell.org">haskell-cafe@haskell.org</a><br>
Date: Sunday, August 8, 2010, 9:38 AM<br>
<br>
<div class="plainMail"><br>
On Sun, 8 Aug 2010, michael rice wrote:<br>
<br>
> So, Example 2 desugared becomes...<br>
> <br>
> [1..] >== \z -> ?<br>
<br>
<br>
Yes, [1..] >>= \z -> ...<br>
</div>
</blockquote>
</td>
</tr>
</tbody>
</table>
<br>
<pre wrap=""><hr size="4" width="90%">
_______________________________________________
Haskell-Cafe mailing list
<a class="moz-txt-link-abbreviated"
href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext"
href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
</pre>
</blockquote>
</body>
</html>