[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