Haskell : more Lifting !

one of useful lifters for Monads are :

LiftM ..family

liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r

But not very good for chaining in ,a better derivative for chaining – is ap from Control.Adaptive.
This implementation is :

myap :: (Monad m ) => m (a->b) -> m a -> m b
myap = liftM2 id

myap’:: (Monad m) => m (a->b) -> m a -> m b
myap’ = liftM2 ($)

Advertisements
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s