Control.Comonad.Cofree

Examples: type LV = Cofree Maybe type Stream = Cofree Identity

Documentation

type Cofree f = Fix (PCofree f)

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

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 (Density w)

ComonadCofree f m => ComonadCofree f (CoYoneda m)

ComonadCofree f m => ComonadCofree f (Yoneda m)

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

class ComonadCofree f w => RunComonadCofree f w | w -> f where

Methods

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

Instances

Functor f => RunComonadCofree f (Cofree f)

RunComonadCofree f w => RunComonadCofree f (Density w)

RunComonadCofree f m => RunComonadCofree f (CoYoneda m)

RunComonadCofree f m => RunComonadCofree f (Yoneda m)