category-extras-0.53.0: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism/existentials)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Cone

Description

 

Documentation

type Cone n f = n -> forall a. f aSource

newtype Cocone f n Source

Constructors

Cocone 

Fields

runCocone :: forall a. f a -> n
 

Instances