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

Link to this function apply(value, fun) View Source
apply(t(), t()) :: t()

Takes an applicative holding a function and an applicative holding value and returns an applicative.

(applicative<(b -> c)>, applicative) -> applicative