[Haskell-cafe] Type-level Nat to Integer

Gautier DI FOLCO gautier.difolco at gmail.com
Fri Jul 4 07:39:09 UTC 2014

2014-07-04 9:30 GMT+02:00 Tikhon Jelvis <tikhon at jelv.is>:

> You probably want the ScopedTypeVariables extension. You'll also have to
> qualify the relevant variable with an explicit forall:
>     forall l. NatToInt l => ...
> Then you can use l in your expression and it will be in scope.

Interesting, what it's the semantic which force me to add an explicit
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140704/8b422441/attachment.html>

More information about the Haskell-Cafe mailing list