Portability | fundeps, MPTCs |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
- class (Functor f, Comonad w) => ComonadCofree f w | w -> f where
- unwrap :: w a -> f (w a)
Documentation
class (Functor f, Comonad w) => ComonadCofree f w | w -> f whereSource
Allows you to peel a layer off a cofree comonad.
(Functor f, Comonad (IdentityT w), ComonadCofree f w) => ComonadCofree f (IdentityT w) | |
(Comonad (Cofree f), Functor f) => ComonadCofree f (Cofree f) | |
(Functor f, Comonad (TracedT m w), ComonadCofree f w, Semigroup m, Monoid m) => ComonadCofree f (TracedT m w) | |
(Functor f, Comonad (StoreT s w), ComonadCofree f w) => ComonadCofree f (StoreT s w) | |
(Functor f, Comonad (EnvT e w), ComonadCofree f w) => ComonadCofree f (EnvT e w) | |
(Comonad (CofreeT f w), Functor f, Comonad w) => ComonadCofree f (CofreeT f w) |