category-extras-0.51.3: Various modules and constructs inspired by category theory Source code Contents Index

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

Description

Documentation

type Cofree f = Fix (PCofree f) Source

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

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

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

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

Methods outCofree :: w a -> f (w a) Source Instances Functor f => ComonadCofree f (Cofree f) ComonadCofree f w => ComonadCofree f (CoreaderT w e) ComonadCofree f w => ComonadCofree f (Lan w w)

Produced by Haddock version 2.3.0