class
class (Functor f, Comonad w) => ComonadCofree (f :: Type -> Type) (w :: Type -> Type) | w -> f whereAllows you to peel a layer off a cofree comonad.
Methods
unwrap :: w a -> f (w a)Remove a layer.
Instances10ComonadCofree, …
ComonadCofree Maybe NonEmptyDefined in free-5.2 · Control.Comonad.Cofree.ClassComonadCofree [] TreeDefined in free-5.2 · Control.Comonad.Cofree.ClassComonad w => ComonadCofree Identity (CoiterT w)Defined in free-5.2 · Control.Comonad.Trans.CoiterFunctor f => ComonadCofree f (Cofree f)Defined in free-5.2 · Control.Comonad.CofreeComonadCofree f w => ComonadCofree f (EnvT e w)Defined in free-5.2 · Control.Comonad.Cofree.ClassComonadCofree f w => ComonadCofree f (StoreT s w)Defined in free-5.2 · Control.Comonad.Cofree.ClassComonadCofree f w => ComonadCofree f (IdentityT w)Defined in free-5.2 · Control.Comonad.Cofree.Class(ComonadCofree f w, Monoid m) => ComonadCofree f (TracedT m w)Defined in free-5.2 · Control.Comonad.Cofree.Class(Functor f, Comonad w) => ComonadCofree f (CofreeT f w)Defined in free-5.2 · Control.Comonad.Trans.CofreeComonadCofree (Const b) (Tuple2 b)Defined in free-5.2 · Control.Comonad.Cofree.Class