17 Oct
2013
17 Oct
'13
3:19 p.m.
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@
-- 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.