|
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 |
|
|
|
|
|
|
|
|
| Methods | outCofree :: w a -> f (w a) | Source |
|
| | Instances | |
|
|
|
| Methods | anaCofree :: Functor f => (a -> c) -> (a -> f a) -> a -> w c | Source |
|
| | Instances | |
|
|
Produced by Haddock version 2.4.2 |