<div dir="ltr"><br>
<blockquote>I don&#39;t think any clarity is added by made-up notation. &nbsp;I think you<br>
mean<br></blockquote>In fact I was &quot;trying&quot; to be correct on this. Is it wrong to show:<br><br><div style="margin-left: 40px;">[()] &gt;&gt; f = f<br></div>
<br>as was doing:<br><br><div style="margin-left: 40px;"> [()] &nbsp;map f = [f]<br></div><br>I want to say map function f over a single element list will yield a list of single element, the element being function f.<br><br>daryoush<br>
<br><div class="gmail_quote">On Fri, Oct 10, 2008 at 10:56 AM, Jonathan Cast <span dir="ltr">&lt;<a href="mailto:jonathanccast@fastmail.fm">jonathanccast@fastmail.fm</a>&gt;</span> wrote:<br><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">On Fri, 2008-10-10 at 10:59 -0700, Daryoush Mehrtash wrote:<br>
&gt; I was in fact trying to figure out how &quot;guard&quot; worked in the &quot;do&quot;.<br>
&gt; The interesting &nbsp;(for a beginner) insight is that:<br>
&gt;<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; [()] &nbsp;map f = [f]<br>
<br>
</div>I don&#39;t think any clarity is added by made-up notation. &nbsp;I think you<br>
mean<br>
<br>
 &nbsp;map f [()] = [f ()]<br>
<br>
or<br>
<br>
 &nbsp;[()] &gt;&gt;= f = f ()<br>
<br>
or<br>
<br>
 &nbsp;[()] &gt;&gt; f = f<br>
<br>
or<br>
<br>
 &nbsp;do<br>
 &nbsp; &nbsp; [()]<br>
 &nbsp; &nbsp; f<br>
= f<br>
<br>
or<br>
<div class="Ih2E3d"><br>
 &nbsp;[ f | _ &lt;- [()] ] = [ f ]<br>
<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; --( just as any list with one element would have been such<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; as [1] map f = [f] ) &nbsp; where as<br>
&gt;<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; [] map f = []<br>
<br>
</div>And<br>
<br>
 &nbsp;map f [] = []<br>
<br>
or<br>
<br>
 &nbsp;[] &gt;&gt;= f = []<br>
<br>
or<br>
<br>
 &nbsp;[] &gt;&gt; f = []<br>
<br>
or<br>
<br>
 &nbsp;do<br>
 &nbsp; &nbsp; []<br>
 &nbsp; &nbsp; f<br>
= []<br>
<br>
or<br>
<br>
 &nbsp;[ f | _ &lt;- [] ] = []<br>
<br>
jcc<br>
<br>
<br>
<br>
</blockquote></div><br><br>
</div>