[Haskell-cafe] liftN
Wvv
vitea3v at rambler.ru
Thu Oct 17 19:19:54 UTC 2013
Nice! Thanks!
As I understand, your solution it is not liftN, but another nice function:
liftUp (it lifts up to Monad).
Adam Vogt wrote
> Hi,
>
> The number of lifts can be decided if you have a class, and use it in
> such a way that the argument and result types are known. It's more
> involved to add a type-level Nat that keeps count. Both options are
> done here: https://gist.github.com/aavogt/7016708
>
> --
> Adam
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--
View this message in context: http://haskell.1045720.n5.nabble.com/liftN-tp5738612p5738652.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe
mailing list