| 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 |
Control.Comonad.Hoist.Class
Description
Documentation
class ComonadHoist t where #
Methods
cohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> t w a -> t v a #
Given any comonad-homomorphism from w to v this yields a comonad
homomorphism from t w to t v.
Instances
| ComonadHoist (IdentityT :: (Type -> Type) -> Type -> Type) # | |
| ComonadHoist (EnvT e) # | |
| ComonadHoist (StoreT s) # | |
| ComonadHoist (TracedT m) # | |