 | category-extras-0.50.3: 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 |
|
|
|
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 | | | Instances | |
|
|
data Expensive f 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 |