Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Safe Haskell | Safe-Infered |
The generic homomorphism or "heterogenous compos".
See the paper "A Pattern for Almost Homomorphic Functions" at http://www.ittc.ku.edu/~nfrisby/papers/yoko.pdf, submitted to ICFP 2012.
Documentation
class Applicative (Idiom cnv) => HCompos cnv a t whereSource
The conversion cnv
can convert from a
to t
.