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 `dist`

it.

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

If a record is homogenous, you can fold over it.