<p dir="ltr">It is pattern recognition of the case for which the argument is zero. The function will return 1 if provided with 0, but will throw a non-exhaustive patterns in lambda exception for any other correctly typed input.</p>

<div class="gmail_quote">On Aug 30, 2014 1:06 PM, "Julius Gedvilas" <<a href="mailto:xged90@gmail.com">xged90@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"><div>\0 -> 1 :: (Num a1, Num a, Eq a) => a -> a1<br></div><div><br></div>Actually this is fairly interesting. I need to dig into it.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 30, 2014 at 12:59 PM, Julius Gedvilas <span dir="ltr"><<a href="mailto:xged90@gmail.com" target="_blank">xged90@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">... my bad</div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div>On Sat, Aug 30, 2014 at 12:58 PM, Karl Voelker <span dir="ltr"><<a href="mailto:karl@karlv.net" target="_blank">karl@karlv.net</a>></span> wrote:<br>


</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><u></u>




<div><div><div>On Sat, Aug 30, 2014, at 02:32 AM, Julius Gedvilas wrote:<br></div>
<blockquote type="cite"><div dir="ltr"><div>3. Is it? <i>GHCi </i>does not recognize it.<br></div>
</div>
</blockquote><div> </div>
</div><div>Prelude> :t \0 -> 1<br></div>
<div>\0 -> 1 :: (Num a1, Num a, Eq a) => a -> a1<br></div>
</div>

<br></div></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></div></blockquote></div><br></div>
</blockquote></div><br></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>