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.