category-extras-0.52.1: Various modules and constructs inspired by category theory Source code 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 Source

newtype Cocone f n Source

Constructors Cocone runCocone :: forall a. f a -> n Instances Monad (Cocone f) Functor (Cocone f) MonadReader (Colimit f) (Cocone f)

Produced by Haddock version 2.3.0