<div dir="ltr">Hmm.. Nice to know about that!<div><br></div><div>Thank you. :)</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Sep 3, 2014 at 12:04 AM, Kim-Ee Yeoh <span dir="ltr"><<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.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"><div class=""><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 3, 2014 at 3:58 AM, Alexandre Lucchesi <span dir="ltr"><<a href="mailto:alexandrelucchesi@gmail.com" target="_blank">alexandrelucchesi@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In order to add such constraints you should define "constructor functions" and apply the validation there, i.e.:</blockquote>


</div><br></div></div><div class="gmail_extra">To OP: Yes, the searchable term is "smart constructors". However, it has been used at least once on this list to mean something different, so look out.<span class="HOEnZb"><font color="#888888"><br>
</font></span></div><span class="HOEnZb"><font color="#888888"><div class="gmail_extra">

<br clear="all"><div>-- Kim-Ee</div>
</div></font></span></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><br clear="all"><div><br></div>-- <br>alexandre lucchesi<br><br><i>Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away!</i><br>
</div>