On 27 September 2013 21:51, Thiago Negri 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:
http://hackage.has
Von: "Thiago Negri"
An: Haskell-Cafe
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 a ->
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
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.
_
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-let
