MonadEx v1.1.0 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

Functions

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

Types

t()
t :: term

Functions

apply(value, fun)
apply(t, t) :: t

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

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