category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Comonad.Cofree
Portabilityrank-2 types
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
type Cofree f = Fix (PCofree f)
outCofree :: Cofree f a -> f (Cofree f a)
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) => CofreeLike f w | w -> f where
Methods
unwrap :: w a -> f (w a)
show/hide Instances
Functor f => CofreeLike f (Cofree f)
CofreeLike f w => CofreeLike f (Lan w w)
data Expensive f a
Constructors
forall w . CofreeLike f w => Expensive
runExpensive :: w a
coimprove :: Functor f => Cofree f a -> Expensive f a
worsen :: Functor f => (forall w. CofreeLike f w => w a) -> Cofree f a
Produced by Haddock version 2.1.0