Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Deprecated: Because it is no longer used in Ledger
This is taken from Edward Kmett's free
library
See: https://hackage.haskell.org/package/free-5.2
Documentation
The faster free Applicative
.
hoistAp ∷ (∀ x. f x → g x) → Ap f a → Ap g a Source #
Given a natural transformation from f
to g
this gives a monoidal natural transformation from Ap f
to Ap g
.