Safe Haskell | Safe-Inferred |
---|

# Documentation

This class is a generalized, but non-pointed version of `Applicative`

. This
is useful for types which range over functors rather than sets.

To accumulate effects distributed over a data type, you `run`

it.

run :: Applicative f => t f -> f (t Identity)Source