On Tue, Sep 2, 2014 at 11:04 PM, Kim-Ee Yeoh
On Wed, Sep 3, 2014 at 3:58 AM, Alexandre Lucchesi < alexandrelucchesi@gmail.com> wrote:
In order to add such constraints you should define "constructor functions" and apply the validation there, i.e.:
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.
Also note that this will not actually check at compile time; to do that you need type level stuff that ghc is still finding its way through. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net