MonadEx v1.1.3 Applicative protocol View Source
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
).
Link to this section Summary
Functions
Takes an applicative holding a function and an applicative holding value and returns an applicative
Link to this section Types
Link to this section Functions
Takes an applicative holding a function and an applicative holding value and returns an applicative.
(applicative<(b -> c)>, applicative) -> applicative