[Haskell-cafe] On to applicative

Alexander Solla ajs at 2piix.com
Thu Aug 26 04:34:36 EDT 2010

On Aug 26, 2010, at 1:29 AM, Alexander Solla wrote:

> The other function is pure :: (a -> b) -> f (a -> b).  It takes a  
> function and lifts it into the functor, without applying it to  
> anything.  In other words, given an f :: a -> b,

My mistake, though if you got the rest of it, it should come as no  
surprise that pure :: a -> f a and is essentially equivalent to a  
monad's return.

More information about the Haskell-Cafe mailing list