<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 24, 2013 at 7:47 PM, Shrivats <span dir="ltr"><<a href="mailto:shrvtsnvs@gmail.com" target="_blank">shrvtsnvs@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p>What does `show "asdf"` give you in ghci? What Lyndon showed you was that this function is equivalent to `shows x s = show x ++ s`.</p>
<p></p></blockquote><div>Ah, it works a bit like "++" ?<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p>Have fun,</p>
<p>Shrivats</p><div class="HOEnZb"><div class="h5">
<div class="gmail_quote">On Sep 24, 2013 5:09 PM, "yi lu" <<a href="mailto:zhiwudazhanjiangshi@gmail.com" target="_blank">zhiwudazhanjiangshi@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Tue, Sep 24, 2013 at 6:54 PM, Lyndon Maydwell <span dir="ltr"><<a href="mailto:maydwell@gmail.com" target="_blank">maydwell@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Looks like it's a convenience for building up a compositions of "Show"s.<div>
<br></div><div>ShowS is indeed a synonym for a function. The type of shows alone isn't enough to figure out how it behaves exactly, but testing it out in GHCi is telling:</div>
<div><br></div><div><br></div><div><div>> [Prelude] ë :i ShowS</div><div><div>> type ShowS = String -> String <span style="white-space:pre-wrap"> </span>-- Defined in `GHC.Show'</div></div><div><div>
> [Prelude] ë :i shows</div><div>
<div>> shows :: Show a => a -> ShowS <span style="white-space:pre-wrap"> </span>-- Defined in `GHC.Show'</div></div></div><div>> [Prelude] ë shows "asdf" "qwer"</div><div>> "\"asdf\"qwer"</div>
</div></div><div class="gmail_extra"><br></div></blockquote><div>I don't know the meaning of this result.<br><br> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div class="gmail_extra"><br><div class="gmail_quote"><div><div>On Tue, Sep 24, 2013 at 8:15 PM, yi lu <span dir="ltr"><<a href="mailto:zhiwudazhanjiangshi@gmail.com" target="_blank">zhiwudazhanjiangshi@gmail.com</a>></span> wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div><div dir="ltr"><div><div>Prelude> :i ShowS<br>type ShowS = String -> String -- Defined in `GHC.Show'<br>
<br>
</div>It is a type of a function? I cannot understand this type, and don't know how to create functions of this type. <br>
<br></div><div>And this function "shows"<br></div><div><br>Prelude> :i shows<br>shows :: Show a => a -> ShowS -- Defined in `GHC.Show'</div><div><br></div><div>I don't know how this function works.<span><font color="#888888"><br>
</font></span></div><span><font color="#888888"><div><br>Yi<br></div></font></span></div>
<br></div></div>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div></div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div>
</div></div><br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div></div>