Portability | GADTs, Rank2Types |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Applicative
functors for free
Documentation
The free Applicative
for a Functor
f
.
runAp :: Applicative g => (forall x. f x -> g x) -> Ap f a -> g aSource
Given a natural transformation from f
to g
, this gives a canonical monoidal natural transformation from
to Ap
fg
.