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