| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Cone | Portability | non-portable (rank-2 polymorphism/existentials) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
type Cone n f = n -> forall a. f a |
|
newtype Cocone f n |
Constructors | Cocone | | runCocone :: forall a. f a -> n | |
|
| Instances | |
|
|
Produced by Haddock version 2.1.0 |