Portability | fundeps, MPTCs |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class (Functor f, Comonad w) => ComonadCofree f w | w -> f whereSource
ComonadCofree f w => ComonadCofree f (IdentityT w) | |
Functor f => ComonadCofree f (Cofree f) | |
ComonadCofree f w => ComonadCofree f (DiscontT k w) | |
ComonadCofree f w => ComonadCofree f (DiscontT k w) | |
ComonadCofree f w => ComonadCofree f (DiscontT k w) | |
(ComonadCofree f w, Semigroup m, Monoid m) => ComonadCofree f (TracedT m w) | |
(ComonadCofree f w, Semigroup m, Monoid m) => ComonadCofree f (TracedT m w) | |
ComonadCofree f w => ComonadCofree f (StoreT s w) | |
ComonadCofree f w => ComonadCofree f (StoreT s w) | |
ComonadCofree f w => ComonadCofree f (StoreT s w) | |
ComonadCofree f w => ComonadCofree f (EnvT e w) | |
ComonadCofree f w => ComonadCofree f (EnvT e w) |