<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I guess if one had FromDhall instances you would need to fail sometimes! <div class=""><br class=""></div><div class="">What I have done in such situations is make separate TypeDhallVersion types which I convert by hand.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Vanessa McHale<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 19, 2020, at 1:55 AM, ☂Josh Chia (謝任中) <<a href="mailto:joshchia@gmail.com" class="">joshchia@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Correction to my original message: No problems for Double, which already has a FromDhall instance, but I'm trying to solve the problem for Word8, Word16 & Word32.<div class=""><br class=""></div><div class="">Interestingly, Word8, Word16 & Word32 have ToDhall instances but no FromDhall instances.</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Aug 19, 2020 at 2:50 PM ☂Josh Chia (謝任中) <<a href="mailto:joshchia@gmail.com" class="">joshchia@gmail.com</a>> wrote:<br class=""></div><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" class=""><div class="">Hi,</div><div class=""><br class=""></div>Let's say I have a record type:<div class="">data Foo = Foo { v :: Word16 }</div><div class=""><br class=""></div><div class="">I want to have a FromDhall instance for Foo. I know this is easy to do if v is Integer instead of Word16. But v is Word16. Does Dhall enable the user to cleanly express how to input a Word16 with the requisite range checks, or is the user expected to only use Integer and do his own conversion and range checks within Haskell after inputting the Integer from Dhall? I have a record with Word32, Word16, Word8 & Double fields instead of Integer & Scientific.</div><div class=""><br class=""></div></div>
</blockquote></div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class="">To (un)subscribe, modify options or view archives go to:<br class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">Only members subscribed via the mailman list are allowed to post.</div></blockquote></div><br class=""></div></body></html>