Copyright | (C) 2008-2013 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
class ComonadHoist t where Source
cohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> t w a -> t v a Source
Given any comonad-homomorphism from w
to v
this yields a comonad
homomorphism from t w
to t v
.
ComonadHoist IdentityT Source | |
ComonadHoist (EnvT e) Source | |
ComonadHoist (StoreT s) Source | |
Monoid m => ComonadHoist (TracedT m) Source |