## j.

Applicative functors are more powerful than Functors but not as powerful as monads. They provide a way to partially apply a function inside an Applicative context to parameters also inside the same context.

As we saw earlier, a Functor is just a Haskell typeclass with the single required fmap function.

class Functor f where
fmap :: (a -> b) -> f a -> f b


We can apply a function from a -> b to a value wrapped inside of a functor context.

Now what if we want to apply a function to multiple arguments that are all wrapped inside of a context? Such as summing two numbers wrapped in a Maybe.

(Just 1) + (Just 2) -- ?


If we apply fmap to Just 1 with the (+) function we get back another function wrapped in the Maybe context.

ghci> :t (+) <$> Just 1 (+) <$> Just 1 :: Num a => Maybe (a -> a)


But now we are stuck. We need to apply a function inside of the Maybe context to a number inside the Maybe context.

This is where Applicatives come in!

They allow us to take a function which operates on normal unwrapped values, and apply it to parameters which are all wrapped in a context.

The typeclass definition requires all Applicatives to be Functors (meaning they all implement the fmap function).

class (Functor f) => Applicative f where
pure  :: a -> f a
(<*>) :: f (a -> b) -> f a -> f b


An Applicative must implement the pure and (<*>) functions.

pure just takes a normal unwrapped value and wraps it into an Applicative context.

(<*>) takes a function wrapped in an Applicative context and a parameter also wrapped. It then unwraps both, applies a to the function, and wraps the result back up.

Lets see how it is implemented for the Maybe type.

instance Applicative Maybe where
pure x = Just x
(Just f) <*> (Just x) = Just (f x)
_ <*> _ = Nothing


If either Maybe types are Nothing then Nothing is returned. Otherwise, each value is unwrapped (via pattern matching), the function is applied to the contents of second Maybe, and the result is wrapped back up as a Maybe.

Since all functions in Haskell are curried, we can partially apply a function of $$n$$ arguments to $$n$$ parameters wrapped in the Applicative context.

Using our above example, summing two numbers wrapped in a Maybe would look like this

ghci> (+) <$> Just 1 <*> Just 2 Just 3  We first use <$> to partially apply + to Just 1. Functor stuff. But then we use <*> to take the wrapped function and apply it to the wrapped parameter.

Alternatively we can use the pure function to wrap (+) inside of an Applicative.

ghci> pure (+) <*> Just 1 <*> Just 2
Just 3


What happens if one of the parameters is Nothing?

ghci> (+) <\$> Just 1 <*> Nothing
Nothing


This is awesome! We don’t have to worry about checking whether or not our parameters are valid. The (<*>) function does that for us under the hood.