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) |