Portability | rank-2 types |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

class (Functor f, Comonad w) => ComonadCofree f w | w -> f whereSource

Functor f => ComonadCofree f (Cofree f) | |

ComonadCofree f w => ComonadCofree f (CoreaderT w e) | |

ComonadCofree f w => ComonadCofree f (Lan w w) |