<div dir="ltr"><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Use<a id="gmail-v:someNatVal" class="gmail-def">  `someNatVal</a> :: <a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/Prelude.html#t:Integer" title="Prelude">Integer</a> -> <a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-TypeLits.html#t:SomeNat" title="GHC.TypeLits">SomeNat</a>`<br><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">from <a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-TypeLits.html">http://hackage.haskell.org/package/base-4.11.1.0/docs/GHC-TypeLits.html</a></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><span style="font-family:georgia,serif"><font size="2"><br></font></span></div><div dir="ltr"><span style="font-family:georgia,serif"><font size="2">Cordially, Divesh Otwani</font></span></div><div dir="ltr"><span style="font-family:georgia,serif"><font size="2"><br></font></span></div><div dir="ltr"><span style="font-family:georgia,serif"><font size="2"><br></font></span></div></div></div></div></div></div></div></div></div></div></div>
<br><div class="gmail_quote">On Wed, Aug 15, 2018 at 9:32 PM, Johannes Waldmann <span dir="ltr"><<a href="mailto:johannes.waldmann@htwk-leipzig.de" target="_blank">johannes.waldmann@htwk-leipzig.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> How can I convert an Integer into a Proxy (n :: KnownNat)<br>
> with n equal to the integer?<br>
<br>
Data.Reflection.reifyNat ?<br>
<br>
<a href="https://mail.haskell.org/pipermail/haskell-cafe/2017-November/128152.html" rel="noreferrer" target="_blank">https://mail.haskell.org/<wbr>pipermail/haskell-cafe/2017-<wbr>November/128152.html</a><br>
<br>
- J.W.<br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br></div>