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

Instances