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`

.

## Instances

ComonadHoist (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |

ComonadHoist (EnvT e) Source # | |

ComonadHoist (StoreT s) Source # | |

ComonadHoist (TracedT m) Source # | |