category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Comonad.Cofree
Description
type CofreeB f a b = BiffB (,) Identity f a bSource
type Cofree f a = FixB (BiffB (,) Identity f) aSource
outCofree :: Cofree f a -> f (Cofree f a)Source
runCofree :: Cofree f a -> (a, f (Cofree f a))Source
anaCofree :: Functor f => (a -> c) -> (a -> f a) -> a -> Cofree f cSource
cofree :: a -> f (Cofree f a) -> Cofree f aSource