[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...
More information about the Haskell-Cafe