| Portability | non-portable (fundeps, MPTCs) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Comonad.Cofree
Description
Documentation
class (Functor f, Comonad w) => ComonadCofree f w | w -> f whereSource
Instances
| 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) |
data Cofree f a
Instances
| ComonadTrans Cofree | |
| ComonadTraced m w => ComonadTraced m (Cofree w) | |
| ComonadStore s w => ComonadStore s (Cofree w) | |
| ComonadEnv e w => ComonadEnv e (Cofree w) | |
| Functor f => ComonadCofree f (Cofree f) | |
| Functor f => Functor (Cofree f) | |
| Applicative f => Applicative (Cofree f) | |
| Foldable f => Foldable (Cofree f) | |
| Traversable f => Traversable (Cofree f) | |
| Functor f => Comonad (Cofree f) | |
| Functor f => Extend (Cofree f) | |
| Distributive f => Distributive (Cofree f) | |
| Traversable1 f => Traversable1 (Cofree f) | |
| Foldable1 f => Foldable1 (Cofree f) | |
| Apply f => Apply (Cofree f) | |
| (Eq (f (Cofree f a)), Eq a) => Eq (Cofree f a) | |
| (Ord (f (Cofree f a)), Ord a) => Ord (Cofree f a) | |
| (Read (f (Cofree f a)), Read a) => Read (Cofree f a) | |
| (Show (f (Cofree f a)), Show a) => Show (Cofree f a) |