Applicative protocol
Applicative functors, or applicatives for short, are like functors, except
they can apply more than one parameter. They do so by currying the function,
and applying one parameter at a time (see Curry).
Applicatives must also follow four laws: identity, composition,
homomorphism, and interchange (see Applicative.Law).
Summary↑
| apply(value, fun) | Takes an applicative holding a function and an applicative holding value and returns an applicative |
Types ↑
t :: term
Functions
Specs:
Takes an applicative holding a function and an applicative holding value and returns an applicative.
(applicative<(b -> c)>, applicative) -> applicative