[Haskell-cafe] How to turn Integer into Proxy (n :: KnownNat) with n equal to the integer?

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Wed Aug 15 19:32:58 UTC 2018


> How can I convert an Integer into a Proxy (n :: KnownNat)
> with n equal to the integer?

Data.Reflection.reifyNat ?

https://mail.haskell.org/pipermail/haskell-cafe/2017-November/128152.html

- J.W.


More information about the Haskell-Cafe mailing list