Portability | rank-2 types |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Examples: type LV = Cofree Maybe type Stream = Cofree Identity
Documentation
class (Functor f, Comonad w) => ComonadCofree f w | w -> f whereSource
Functor f => ComonadCofree f (Cofree f) | |
ComonadCofree f w => ComonadCofree f (Density w) | |
ComonadCofree f m => ComonadCofree f (CoYoneda m) | |
ComonadCofree f m => ComonadCofree f (Yoneda m) | |
ComonadCofree f w => ComonadCofree f (CoreaderT w e) |
class ComonadCofree f w => RunComonadCofree f w | w -> f whereSource
Functor f => RunComonadCofree f (Cofree f) | |
RunComonadCofree f w => RunComonadCofree f (Density w) | |
RunComonadCofree f m => RunComonadCofree f (CoYoneda m) | |
RunComonadCofree f m => RunComonadCofree f (Yoneda m) |