category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Comonad.Cofree Portability rank-2 types Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

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)

Produced by Haddock version 2.1.0