Control.Comonad.Cofree

Documentation

type Cofree f = Fix (PCofree f)

runCofree :: Cofree f a -> (a, f (Cofree f a))

anaCofree :: Functor f => (a -> c) -> (a -> f a) -> a -> Cofree f c

cofree :: a -> f (Cofree f a) -> Cofree f a

class (Functor f, Comonad w) => ComonadCofree f w | w -> f where

Methods

outCofree :: w a -> f (w a)

Instances

Functor f => ComonadCofree f (Cofree f)

ComonadCofree f w => ComonadCofree f (CoreaderT w e)

ComonadCofree f w => ComonadCofree f (Lan w w)