converting type-level natural numbers to data-level

[Erik Hesselink]

I think most of the singletons stuff has been moved to the
'singletons' package [0].

Erik

[0] http://hackage.haskell.org/package/singletons

On Sat, Mar 15, 2014 at 6:26 PM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
> Am 15.03.2014 18:13, schrieb adam vogt:
>>
>>
>> http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/syntax-extns.html#explicit-namespaces
>> is the trick
>
>
> Great, this works!
>
> Now I run into the next problem: How can I convert a type-level natural
> number into a data-level number? The Trac-Wiki mentions singletons:
>   https://ghc.haskell.org/trac/ghc/wiki/TypeNats/Basics
> and the base package of GHC-7.6 exports the Sing class:
>   http://hackage.haskell.org/package/base-4.6.0.1/docs/GHC-TypeLits.html
> but it seems to have gone in GHC-7.8. :-(
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users