Module
Control.Comonad.Cofree.Class
- Package
- purescript-free
- Repository
- purescript/purescript-free
#ComonadCofree Source
class ComonadCofree :: (Type -> Type) -> (Type -> Type) -> Constraintclass (Functor f, Comonad w) <= ComonadCofree f w | w -> f where
Based on http://hackage.haskell.org/package/free/docs/Control-Comonad-Cofree-Class.html
Members
unwrapCofree :: forall a. w a -> f (w a)
Instances
(Functor f) => ComonadCofree f (Cofree f)(Functor f, ComonadCofree f w) => ComonadCofree f (EnvT e w)(Functor f, ComonadCofree f w) => ComonadCofree f (StoreT s w)(Functor f, ComonadCofree f w, Monoid m) => ComonadCofree f (TracedT m w)