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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
