Module

Control.Comonad.Cofree.Class

Package: purescript-free
Repository: purescript/purescript-free

#ComonadCofree Source

class (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)

Modules: Control.Comonad.Cofree; Control.Comonad.Cofree.Class; Control.Monad.Free; Control.Monad.Free.Class; Control.Monad.Trampoline; Data.Coyoneda; Data.Yoneda