26 Aug
2010
26 Aug
'10
4:34 a.m.
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.