<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>The best you can do is `<a id="v:someNatVal" class="def"
style="margin: 0px; padding: 0px; text-decoration: none;
font-weight: bold; color: rgb(0, 0, 0); font-family: monospace;
font-size: 13px; font-style: normal; font-variant-ligatures:
normal; font-variant-caps: normal; letter-spacing: normal;
orphans: 2; text-align: left; text-indent: 0px; text-transform:
none; white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px;">someNatVal`:</a></p>
<p><a id="v:someNatVal" class="def" style="margin: 0px; padding:
0px; text-decoration: none; font-weight: bold; color: rgb(0, 0,
0); font-family: monospace; font-size: 13px; font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal;
letter-spacing: normal; orphans: 2; text-align: left;
text-indent: 0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;">case
someNatVal 10 of<br>
Just (SomeNat p) -> _ {- do stuff with p -}<br>
_ -> _ {- not a nat -}<br>
</a></p>
<div class="moz-cite-prefix">On 8/3/2018 11:01 PM, David Banas
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:698B9352-3128-4324-A53E-3A01A29F9BD9@gmail.com">
<pre class="moz-quote-pre" wrap="">I’d like to use Data.Vector.Sized.slice’, but it wants the starting position and length parameters as Proxys, not Integers.
How can I convert an Integer into a Proxy (n :: KnownNat) with n equal to the integer?
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>