On 27 September 2013 21:51, Thiago Negri evoh...@gmail.com wrote:
Stop lifting, start using shinny operators like this one:
(^$) :: Monad m = m a - (a - b - c) - m b - m c
(^$) = flip liftM2
Note that something like this is already provided by the
InfixApplicative library:
evoh...@gmail.com
An: Haskell-Cafe haskell-cafe@haskell.org
Betreff: [Haskell-cafe] Proposal: new function for lifting
Everybody is claiming that using lift is a bad thing.
So, I come to remedy this problem.
Stop lifting, start using shinny operators like this one:
(^$) :: Monad m = m
Everybody is claiming that using lift is a bad thing.
So, I come to remedy this problem.
Stop lifting, start using shinny operators like this one:
(^$) :: Monad m = m a - (a - b - c) - m b - m c
(^$) = flip liftM2
Then you can do wonderful stuff and you will never read the four-letter
Which lift?
This one?
class MonadTrans t where
lift :: Monad m = m a - t m a
--
View this message in context:
http://haskell.1045720.n5.nabble.com/Proposal-new-function-for-lifting-tp5737189p5737196.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
Sorry for sending this twice; I didn't reply to the list initially.
I thought people [1] were generally talking about lift from
Control.Monad.Trans:
class MonadTrans t where
lift :: Monad m = m a - t m a
The idea being that lifting through a monad stack feels tedious. The
proposed solution