Module

Control.Comonad.Cofree.Class

#ComonadCofree

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

Instances

Modules